Abstract
An automated approach to generate a full set of the test cases is proposed in this paper. The all paths covered optimal algorithm (APCO) for automatically generating test cases based on the CPN model are presented. Taking the scenario of radio blocking center (RBC) handover as an example, the presented method is employed to generate the test cases of this scenario. The results indicate that the test generation approach is fully automatic. Furthermore, the repeatability rate of the generated test cases was reduced compared with the available depth-first search algorithm (DFS), the test cases all the related criterions in “System requirements specification of the CTCS-3 Train Control System” (SRS).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Kaynar DK, LynchN, Segala R (2003) Timed I/O automata: a mathematical framework for modeling and analyzing real-time systems. In: 24th IEEE Int’l real-time system symposium, IEEE Computer Society, Washington, pp 166–177
Bahrmann G, Larsen K G, Moiler O (2001) UPPAAL-present and future. In: 40th IEEE conference on decision and control. pp 2881–2886
Hessel A, Pettersson P (2004) A test case generation algorithm for real-time systems. In: 4th international conference on quality software. pp 268–273
Samuel P, Joseph AT (2008) Test sequence generation from UML sequence diagrams. In: 9th ACIS international conference on software engineering, artificial intelligence, networking, and parallel/distributed computing. pp 879–887
Malik QA, Truscan D, Lilius J (2010) Using UML models and formal verification in model-based testing. In: 17th IEEE international conference and workshops on engineering of computer based systems (ECBS). pp 50–56
Utting M, Legeard B (2006) Practical model-based testing: a tools approach. Morgan Kaufmann, Elsevier, America
Fujiwara S, Bochmarm GV (1991) Test selection based on finite state models. In: IEEE Trans Software Eng 17(6):591–603
Watanabe H, Kudoh T (1995) Test suite generation methods for concurrent systems based on colored petri nets. IEEE Software Engineering Conference. pp 242–251
Vernez D, Buchs D, Pierrehumbert G (2003) Perspectives in the use of colored petri nets for risk analysis and accident modeling. Saf Sci 41(5):445–463
Lee JH, Lee JD, Jung JI (2007) Verification and conformance test generation of communication protocol for railway signaling systems. Comput Stand Interfaces 29(2):143–151
Jensen K (1994) An introduction to the theoretical aspects of coloured petri nets. A decade of concurrency reflections and perspectives. Lecture notes in computer science, vol 803. Springer, Berlin, pp 230–272
Badban B, Franzle M, Teige T (2006) Test Automation for hybrid systems. In: 3rd international workshop on software quality assurance, pp 14–21
Shaffer CA (2011) Data structures and algorithm analysis in C++, 3rd edn. Dover Publications, New York, pp 390–394
The Science and Technology Division of the Ministry of Railways and The Transport Bureau of The Ministry of Railways (2008) System requirements specification of the CTCS-3 train control system (v 1.0). The Ministry of Railways of The People’s Republic of China, China Railway Publishing House, Beijing, No. 127 (in Chinese)
The Science and Technology Division of the Ministry of Railways and The Transport Bureau of The Ministry of Railways (2009) Test cases of the CTCS-3 train control system. The Ministry of Railways of The People’s Republic of China, China Railway Publishing House, Beijing, No. 59 (in Chinese)
Acknowledgments
This paper is supported by the “National High Technology Research and Development Program of China (863 Program)” (2011AA010104), “the Fundamental Research Funds for the Central Universities” (2011JB2004) and “Urban Rail Transit Automation and Control the Beijing Key Laboratory Fund Project”.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liang, C., Zheng, W. (2013). Automated Generation of Test Cases Based on Path Optimization Algorithm. In: Lu, W., Cai, G., Liu, W., Xing, W. (eds) Proceedings of the 2012 International Conference on Information Technology and Software Engineering. Lecture Notes in Electrical Engineering, vol 212. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34531-9_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-34531-9_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34530-2
Online ISBN: 978-3-642-34531-9
eBook Packages: EngineeringEngineering (R0)