Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1066876,
author = {Barnat, Jiří and Bauch, Petr and Brim, Luboš},
address = {Thessaloniki},
booktitle = {Proceedings of the 10th International Conference on Software Engineering and Formal Methods},
doi = {http://dx.doi.org/10.1007/978-3-642-33826-7_4},
editor = {George Eleftherakis , Mike Hinchey and Mike Holcombe},
keywords = {model checking; sanity checking; consistency; vacuity; completeness},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Thessaloniki},
isbn = {978-3-642-33825-0},
pages = {48-62},
publisher = {Springer},
title = {Checking Sanity of Software Requirements},
url = {http://dx.doi.org/10.1007/978-3-642-33826-7_4},
year = {2012}
}
TY - JOUR
ID - 1066876
AU - Barnat, Jiří - Bauch, Petr - Brim, Luboš
PY - 2012
TI - Checking Sanity of Software Requirements
PB - Springer
CY - Thessaloniki
SN - 9783642338250
KW - model checking
KW - sanity checking
KW - consistency
KW - vacuity
KW - completeness
UR - http://dx.doi.org/10.1007/978-3-642-33826-7_4
N2 - In the last decade it became a common practice to formalise software requirements to improve the clarity of users' expectations. In this work we build on the fact that functional requirements can be expressed in temporal logic and we propose new techniques that automatically detect flaws and suggest improvements of given requirements. Specifically, we describe and experimentally evaluate new approaches to consistency and vacuity checking that identify all inconsistencies and pinpoint their exact source (the smallest inconsistent set). To complete the sanity checking we also deliver a novel semi-automatic completeness evaluation that can assess the coverage of user requirements and suggest missing properties the user might have wanted to formulate. The usefulness of our completeness evaluation is demonstrated in a case study of an aeroplane control system.
ER -
BARNAT, Jiří, Petr BAUCH and Luboš BRIM. Checking Sanity of Software Requirements. In George Eleftherakis , Mike Hinchey and Mike Holcombe. \textit{Proceedings of the 10th International Conference on Software Engineering and Formal Methods}. Thessaloniki: Springer, 2012, p.~48-62. ISBN~978-3-642-33825-0. Available from: https://dx.doi.org/10.1007/978-3-642-33826-7\_{}4.
|
