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