Abstract
Testing of the parallel software becomes more difficult because of the state space explosion. In theory, all possible input should be considered when testing. However, in actual, completely test is impossible, so we should carry on the targeted test rather than blindly choose test cases.
Colored Petri Net (CPN) is an excellent language to describe parallel system. But, testing based on this method couldn’t complete efficiently when the state space is huge. A new automation algorithm which based on CPN is proposed in this paper. This method could generate the condition expressions automatically. The conditional expressions are a combination of the conditions on all feasible paths which from the initial place to the tested behaviors. First, all paths from current initial place to tested behaviors are found in this method. Second, all the pending arc expressions and guard expressions that obtained from these paths are extracted and processed, especially, the equivalence problem of the namesake variable of the key nodes would be resolved, and these key nodes mainly contain synchronous transition and synchronous concurrency transition. Besides, the substitution problem between different variables also is considered in this process. Finally, we obtain the conditional expressions by integrating all the pending expressions, these expressions are all about the initial position output variables. Test data that meet these conditions could reach the test target.
These expressions could guide tester to choose the appropriate test case and remove redundancy data from testing data set. It can also be used to implement boundary value analysis, equivalence class division, and system model analysis. At the end of the paper, we give the instance to show this method is reasonable and effective.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Farooq, U., Lam, C.P., Li, H.: Towards automated test sequence generation. In: Australian Conference on Software Engineering, pp. 441–450. IEEE Computer Society (2008)
Hu, N.: The Algorithm of Test Sequence Optimization Based on the Improved ant Colony Algorithm. Beijing Jiaotong University (2015)
Moraes, A., Andrade, W.L., Machado, P.D.L.: A family of test selection criteria for timed input-output symbolic transition system models. Sci. Comput. Prog. 126, 52–72 (2016)
Sun, T.: Research on Testing Method for Parallel Software Based on Colored Petri Nets. Inner Mongolia University (2012)
Sun, T., Ye, X.: A test sequence selection method for parallel software systems. In: Processing of Forth International Symposium on Parallel Architectures, Architectures, Algorithms and Programming, pp. 163–167 (2011)
Gongzheng, C.: EFMS Model Based Optimal Generation and Instantiation of Test Cases. ShangHai University (2014)
Yan, J.: Survey of model-based software testing. Comput. Sci. 31, 184–187 (2004)
Constant, C., Jéron, T., Marchand, H., Rusu, V.: Integrating formal verification and conformance testing for reactive sysems. IEEE Trans. Softw. Eng. 33(8), 558–574 (2007)
Leye, S., Himmelspach, J., Uhrmacher, A.M.: A discussion on experimental model validation. In: Proceedings of the 11th International Conference on Computer Modeling and Simulation, pp. 161–167 (2009)
Rai, V., Siva Subramanian, S., Bhulai, S.: A multiphased approach for modeling and analysis of the BitTorrent protocol. In: Proceedings of the 27th International Conference on Distributed Computing Systems, pp. 1–10 (2007)
Stanley, J., Liao, H., Lafortune, S.: SAT-based control of concurrent software for deadlock avoidance. IEEE Trans. Autom. Control 60, 3269–3274 (2015)
Rushby, J.: Automated test generation and verified software. In: Meyer, B., Woodcock, J. (eds.) VSTTE 2005. LNCS, vol. 4171, pp. 161–172. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-69149-5_18
Acknowledgments
This work was supported by the National Natural Science Foundation of China under Grant Nos. 61562064, 61462066, 61362011, and 61661041.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Sun, T., Zhang, L., Ma, H. (2017). An Automatic Generation Method for Condition Expressions of CPN Model Focus on Tested Behaviors. In: Wang, G., Atiquzzaman, M., Yan, Z., Choo, KK. (eds) Security, Privacy, and Anonymity in Computation, Communication, and Storage. SpaCCS 2017. Lecture Notes in Computer Science(), vol 10658. Springer, Cham. https://doi.org/10.1007/978-3-319-72395-2_26
Download citation
DOI: https://doi.org/10.1007/978-3-319-72395-2_26
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-72394-5
Online ISBN: 978-3-319-72395-2
eBook Packages: Computer ScienceComputer Science (R0)