Abstract
Parallel software system testing is very difficult because the number of states expands sharply caused by parallel behaviors. In this paper, a testing sequence generation method is proposed, target at full covering tested behaviors and related behaviors over all execution paths. Because of state spaces of parallel software systems are often large, this paper focuses on the state space sub-graph, contained all firing of tested and related behaviors, of system model. Firstly, the software system is modeled with Colored Petri Net (CPN), called system model (SM), and every tested behavior or related behavior is modeled also with CPN, called Behavior Model Unit (BMU). Then, the method proposes mapping operation, intersection operation, and so on to finally realize the generation of test sequence. Practices show that this method is efficient, which could achieve full coverage.
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
Dalal, S.R., Jain, A., Karunanithi, N., et al.: Model-based testing in practice. In Proceedings of the 21st International Conference on Software Engineering, pp. 285–294 (1999)
Yan, J., Wang, J., Chen, H.: Survey of model-based software testing. Comput. Sci. 31(2), 184–187 (2004)
Watanabe, H., Kudoh, T.: Test suite generation methods for concurrent systems based on coloured petri nets. In: Proceedings of the 2nd Asia-Pacific Software Engineering Conference, pp. 242–251 (1995)
Desel, J., Oberweis, A., Zimmer, T., et al.: Validation of information system models: petri nets and test case generation. In: Proceedings of the 10th IEEE International Conference on Systems, Man, and Cybernetics, pp. 3401–3406 (1997)
Farooq, U., Lam, C.P., Li, H.: Towards automated test sequence generation. In Proceedings of the 19th Australian Conference on Software Engineering, pp. 441–450 (2008d)
Sun, T., Ye, X., Liu, J.: A test generation method based on model reduction for parallel software. In: Proceedings of the International Conference on Parallel and Distributed Computing, Applications and Technologies, pp. 777–782 (2012)
Sun, T., Zhang, L., Ma, H.: An automatic generation method for condition expressions of CPN model focus on tested behaviors. In: processing of the 10th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage Workshops, pp. 271–285 (2017)
Acknowledgment
This work was supported by the National Natural Science Foundation of China under Grant No. 61562064 and No. 61661041.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Sun, T., Wan, X., Zhong, W., Guo, X., Zhang, T. (2020). Parallel Software Testing Sequence Generation Method Target at Full Covering Tested Behaviors. In: Wen, S., Zomaya, A., Yang, L.T. (eds) Algorithms and Architectures for Parallel Processing. ICA3PP 2019. Lecture Notes in Computer Science(), vol 11945. Springer, Cham. https://doi.org/10.1007/978-3-030-38961-1_6
Download citation
DOI: https://doi.org/10.1007/978-3-030-38961-1_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-38960-4
Online ISBN: 978-3-030-38961-1
eBook Packages: Computer ScienceComputer Science (R0)