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

T. L. McCluskey, M. M. West

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 languageEnglish
Title of host publicationProceedings of the 13th IEEE International Conference on Automated Software Engineering
Subtitle of host publicationASE 1998
EditorsBob Werner
PublisherIEEE
Pages105-114
Number of pages10
ISBN (Electronic)0818687592
ISBN (Print)0818687509, 0818687568, 9780818687501
DOIs
Publication statusPublished - 1998
Event13th IEEE International Conference on Automated Software Engineering - Honolulu, United States
Duration: 13 Oct 199816 Oct 1998
Conference number: 13
https://ieeexplore.ieee.org/xpl/conhome/5935/proceeding

Conference

Conference13th IEEE International Conference on Automated Software Engineering
Abbreviated titleASE 1998
CountryUnited States
CityHonolulu
Period13/10/9816/10/98
Internet address

Fingerprint Dive into the research topics of 'Towards the Automated Debugging and Maintenance of Logic-based Requirements Models'. Together they form a unique fingerprint.

Cite this