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 | |
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 |