@inproceedings{68b7f5aafd7d4fb8bcb43e557db158b5,
title = "Automated requirements validation for ATP software via specification review and testing",
abstract = "Complete and correct requirements specification is the foundation for developing high-quality Automatic Train Protection (ATP) software. Requirements validation aims at facilitating the completeness and correctness of the specification. In this paper, we propose a novel requirements validation approach combining diagram-guided specification review and scenario-based specification testing for ATP software. The specification is transformed into an executable prototype. Diagrams are generated from the prototype to visualize the interactions between variables for an effective review. To check whether the specification conforms to the user{\textquoteright}s concerned scenarios of train operation, the scenarios are specified as test cases for testing the prototype. The conformance is then determined via test analysis. Through the review and the testing, the requirements specification is validated. The case study and experiments show that the approach achieves a higher error detection rate and while it reduces the time costs comparing to the traditional review method used by our industrial partner.",
author = "Weikai Miao and Geguang Pu and Yinbo Yao and Ting Su and Danzhu Bao and Yang Liu and Shuohao Chen and Kunpeng Xiong",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2016.; 18th International Conference on Formal Engineering Methods, ICFEM 2016 ; Conference date: 14-11-2016 Through 18-11-2016",
year = "2016",
doi = "10.1007/978-3-319-47846-3\_3",
language = "英语",
isbn = "9783319478456",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "26--40",
editor = "Kazuhiro Ogata and Mark Lawford and Shaoying Liu",
booktitle = "Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Proceedings",
address = "德国",
}