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’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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Kotonya, G., Sommerville, I.: Requirements Engineering. Wiley, Hoboken (1998)
Nuseibeh, B., Easterbrook, S.: Requirements engineering: a roadmap. In: Proceedings of International Conference on Software Engineering, pp. 35–41, April 2000
Wiegers, K.E.: Software Requirements. Microsoft Press, Redmond (2003)
Laitenberger, O., Beil, T., Schwinn, T.: An industrial case study to examine a non-traditional inspection implementation for requirements specifications. In: Proceedings of Eighth IEEE Symposium on Software Metrics, pp. 97–106 (2002)
Lee, G.Y.K., In, H.P., Kazman, R.: Customer requirements validation method based on mental models. In: 2014 21st Asia-Pacific Software Engineering Conference (APSEC), pp. 199–206, December 2014
Sinha, A., Sutton, Jr. S.M., Paradkar, A.: Text2Test: automated inspection of natural language use cases. In: 2010 Third International Conference on Software Testing, Verification and Validation (ICST), pp. 155–164, April 2010
Aceituna, D., Do, H., Lee, S.W.: SQ2E: an approach to requirements validation with scenario question. In: 2010 17th Asia Pacific Software Engineering Conference (APSEC), pp. 33–42, November 2010
Xie, G., Hei, X., Mochizuki, H., Takahashi, S., Nakamura, H.: Model based specification validation for automatic train protection and block system. In: Proceedings of 7th International Conference on Computing and Convergence Technology, pp. 485–488, December 2012
Xie, G., Asano, A., Takahashi, S., Nakamura, H.: Study on formal specification of automatic train protection and block system for local line. In: Proceedings of 5th International Conference on Secure Software Integration Reliability Improvement Companion (SSIRI-C), pp. 35–40, June 2011
Wang, H., Liu, S., Gao, C.: Study on model-based safety verification of automatic train protection system. In: Proceedings of Asia-Pacific Conference on Computational Intelligence and Industrial Applications, pp. 467–470, November 2009
Leuschel, M., Butler, M.: ProB: a model checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 855–874. Springer, Heidelberg (2003)
Leuschel, M., Butler, M.: ProB: an automated analysis toolset for the B method. Int. J. Softw. Tools Technol. Transf. 10(2), 185–203 (2008)
Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200–236. Springer, Heidelberg (2004)
Vaandrager, F.: A first introduction to UPPAAL. Deliverable no.: D5. 12 Title of Deliverable: Industrial Handbook (2011)
Gargantini, A., Riccobene, E.: Automatic model driven animation of SCR specifications. In: Pezzé, M. (ed.) FASE 2003. LNCS, vol. 2621, pp. 294–309. Springer, Heidelberg (2003)
Fitzgerald, J., Larsen, P.G., Sahara, S.: VDMTools: Advances in support for formal modeling in VDM. ACM Sigplan Not. 43(2), 3 (2008)
Li, M., Liu, S.: Integrating animation-based inspection into formal design specification construction for reliable software systems. IEEE Trans. Reliab. 65(1), 88–106 (2016)
Li, J.J., Horgan, J.R.: A tool suite for diagnosis and testing of software design specifications. In: Proceedings of International Conference on Dependable Systems and Networks, New York, USA, pp. 295–304 (2000)
Brockmeyer, M.: Using modechart modules for testing formal specifications. In: Proceedings of 4th IEEE International Symposium on High-Assurance Systems Engineering, Washington, DC, USA, pp. 20–26 (1999)
Liu, S.: Utilizing specification testing in review task trees for rigorous review of formal specifications. In: Proceedings of Tenth Asia-Pacific Software Engineering Conference, pp. 510–519 (2003)
Aceituna, D., Do, H., Lee, S.W.: Interactive requirements validation for reactive systems through virtual requirements prototype. In: Model-Driven Requirements Engineering Workshop (MoDRE), Trento, 2011, pp. 1–10 (2011)
Acknowledgments
Weikai Miao is supported by NSFCs of China (No. 61402178, No. 61572306 and No. 91418203) and the STCSM Project (No. 14YF1404300). Geguang Pu is supported by China HGJ Project (No. 2014ZX01038-101-001) and STCSM Project No. 14511100400. This work is also partly supported by Japan JSPS KAKENHI (No. 26240008).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Miao, W. et al. (2016). Automated Requirements Validation for ATP Software via Specification Review and Testing. In: Ogata, K., Lawford, M., Liu, S. (eds) Formal Methods and Software Engineering. ICFEM 2016. Lecture Notes in Computer Science(), vol 10009. Springer, Cham. https://doi.org/10.1007/978-3-319-47846-3_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-47846-3_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-47845-6
Online ISBN: 978-3-319-47846-3
eBook Packages: Computer ScienceComputer Science (R0)