Automated Requirements Validation for ATP Software via Specification Review and Testing

  • Weikai Miao
  • Geguang Pu
  • Yinbo Yao
  • Ting Su
  • Danzhu Bao
  • Yang Liu
  • Shuohao Chen
  • Kunpeng Xiong
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10009)


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.


State Transition Diagram Specification Review Train Operation Requirement Validation Test Script 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



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


  1. 1.
    Kotonya, G., Sommerville, I.: Requirements Engineering. Wiley, Hoboken (1998)Google Scholar
  2. 2.
    Nuseibeh, B., Easterbrook, S.: Requirements engineering: a roadmap. In: Proceedings of International Conference on Software Engineering, pp. 35–41, April 2000Google Scholar
  3. 3.
    Wiegers, K.E.: Software Requirements. Microsoft Press, Redmond (2003)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    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 2014Google Scholar
  6. 6.
    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 2010Google Scholar
  7. 7.
    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 2010Google Scholar
  8. 8.
    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 2012Google Scholar
  9. 9.
    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 2011Google Scholar
  10. 10.
    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 2009Google Scholar
  11. 11.
    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)CrossRefGoogle Scholar
  12. 12.
    Leuschel, M., Butler, M.: ProB: an automated analysis toolset for the B method. Int. J. Softw. Tools Technol. Transf. 10(2), 185–203 (2008)CrossRefGoogle Scholar
  13. 13.
    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)CrossRefGoogle Scholar
  14. 14.
    Vaandrager, F.: A first introduction to UPPAAL. Deliverable no.: D5. 12 Title of Deliverable: Industrial Handbook (2011)Google Scholar
  15. 15.
    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)CrossRefGoogle Scholar
  16. 16.
    Fitzgerald, J., Larsen, P.G., Sahara, S.: VDMTools: Advances in support for formal modeling in VDM. ACM Sigplan Not. 43(2), 3 (2008)CrossRefGoogle Scholar
  17. 17.
    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)CrossRefGoogle Scholar
  18. 18.
    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)Google Scholar
  19. 19.
    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)Google Scholar
  20. 20.
    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)Google Scholar
  21. 21.
  22. 22.
    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)Google Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Weikai Miao
    • 1
  • Geguang Pu
    • 1
  • Yinbo Yao
    • 1
  • Ting Su
    • 1
  • Danzhu Bao
    • 1
  • Yang Liu
    • 1
  • Shuohao Chen
    • 2
  • Kunpeng Xiong
    • 2
  1. 1.Shanghai Key Lab for Trustworthy Computing, School of Computer Science and Software EngineeringEast China Normal UniversityShanghaiChina
  2. 2.Testing DepartementCasco Signal Ltd.ShanghaiChina

Personalised recommendations