Towards the Automated Debugging and Maintenance of Logic-based Requirements Models

T. L. McCluskey; M. M. West

doi:10.1109/ASE.1998.732591

Towards the Automated Debugging and Maintenance of Logic-based Requirements Models

T. L. McCluskey, M. M. West

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Citations (Scopus)

Abstract

In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a translator, that produces an executable form of the model; blame assignment functions, which input batches of mis-classified tests (i.e. training examples) and output likely faulty parts of the model; and a theory reviser, which inputs the faulty parts and examples and outputs suggested revisions to the model. In particular, we concentrate on the problems encountered when applying these tools to a real application: a requirements model containing air traffic control separation standards, operating methods and airspace information.

Original language	English
Title of host publication	Proceedings of the 13th IEEE International Conference on Automated Software Engineering
Subtitle of host publication	ASE 1998
Editors	Bob Werner
Publisher	IEEE
Pages	105-114
Number of pages	10
ISBN (Electronic)	0818687592
ISBN (Print)	0818687509, 0818687568, 9780818687501
DOIs	https://doi.org/10.1109/ASE.1998.732591
Publication status	Published - 1998
Event	13th IEEE International Conference on Automated Software Engineering - Honolulu, United States Duration: 13 Oct 1998 → 16 Oct 1998 Conference number: 13 https://ieeexplore.ieee.org/xpl/conhome/5935/proceeding

Conference

Conference	13th IEEE International Conference on Automated Software Engineering
Abbreviated title	ASE 1998
Country/Territory	United States
City	Honolulu
Period	13/10/98 → 16/10/98
Internet address	https://ieeexplore.ieee.org/xpl/conhome/5935/proceeding

Access to Document

10.1109/ASE.1998.732591Licence: Unspecified

Cite this

@inproceedings{3b6a34bf79804e94a5a1ccc3e4107d2a,

title = "Towards the Automated Debugging and Maintenance of Logic-based Requirements Models",

abstract = "In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a translator, that produces an executable form of the model; blame assignment functions, which input batches of mis-classified tests (i.e. training examples) and output likely faulty parts of the model; and a theory reviser, which inputs the faulty parts and examples and outputs suggested revisions to the model. In particular, we concentrate on the problems encountered when applying these tools to a real application: a requirements model containing air traffic control separation standards, operating methods and airspace information.",

keywords = "Debugging, Knowledge based systems, Knowledge engineering, Artificial intelligence, Air traffic control, Mathematics, Logic, Testing, Bridges, Formal specifications",

author = "McCluskey, \{T. L.\} and West, \{M. M.\}",

year = "1998",

doi = "10.1109/ASE.1998.732591",

language = "English",

isbn = "0818687509",

pages = "105--114",

editor = "Bob Werner",

booktitle = "Proceedings of the 13th IEEE International Conference on Automated Software Engineering",

publisher = "IEEE",

address = "United States",

note = "13th IEEE International Conference on Automated Software Engineering , ASE 1998 ; Conference date: 13-10-1998 Through 16-10-1998",

url = "https://ieeexplore.ieee.org/xpl/conhome/5935/proceeding",

}

McCluskey, TL & West, MM 1998, Towards the Automated Debugging and Maintenance of Logic-based Requirements Models. in B Werner (ed.), Proceedings of the 13th IEEE International Conference on Automated Software Engineering: ASE 1998., 732591, IEEE, pp. 105-114, 13th IEEE International Conference on Automated Software Engineering , Honolulu, Hawaii, United States, 13/10/98. https://doi.org/10.1109/ASE.1998.732591

TY - GEN

T1 - Towards the Automated Debugging and Maintenance of Logic-based Requirements Models

AU - McCluskey, T. L.

AU - West, M. M.

N1 - Conference code: 13

PY - 1998

Y1 - 1998

N2 - In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a translator, that produces an executable form of the model; blame assignment functions, which input batches of mis-classified tests (i.e. training examples) and output likely faulty parts of the model; and a theory reviser, which inputs the faulty parts and examples and outputs suggested revisions to the model. In particular, we concentrate on the problems encountered when applying these tools to a real application: a requirements model containing air traffic control separation standards, operating methods and airspace information.

AB - In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a translator, that produces an executable form of the model; blame assignment functions, which input batches of mis-classified tests (i.e. training examples) and output likely faulty parts of the model; and a theory reviser, which inputs the faulty parts and examples and outputs suggested revisions to the model. In particular, we concentrate on the problems encountered when applying these tools to a real application: a requirements model containing air traffic control separation standards, operating methods and airspace information.

KW - Debugging

KW - Knowledge based systems

KW - Knowledge engineering

KW - Artificial intelligence

KW - Air traffic control

KW - Mathematics

KW - Logic

KW - Testing

KW - Bridges

KW - Formal specifications

UR - https://www.scopus.com/pages/publications/0005243439

U2 - 10.1109/ASE.1998.732591

DO - 10.1109/ASE.1998.732591

M3 - Conference contribution

AN - SCOPUS:0005243439

SN - 0818687509

SN - 0818687568

SN - 9780818687501

SP - 105

EP - 114

BT - Proceedings of the 13th IEEE International Conference on Automated Software Engineering

A2 - Werner, Bob

PB - IEEE

T2 - 13th IEEE International Conference on Automated Software Engineering

Y2 - 13 October 1998 through 16 October 1998

ER -

Towards the Automated Debugging and Maintenance of Logic-based Requirements Models

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this