Abstract
The “Vibration” method proposed in the literature offers a strategy for generating test data from an atomic predicate in a specification with the aim of achieving full path coverage in the program that implements the function defined by the predicate. However, how to efficiently generate adequate test data using the method from the same predicate to quickly traverse all of the related paths in the program is still an open problem. In this paper, we describe a prototype software tool we have built recently that supports the test data generation based on the principle of the “Vibration” method and an experiment to evaluate the effectiveness of the “Vibration” method supported by the tool.
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
Liu, S., Nakajima, S.: A “vibration” method for automatically generating test cases based on formal specifications. In: 2011 18th Asia Pacific Software Engineering Conference, pp. 73–80, 5–8 December 2011
Liu, S.: Formal Engineering for Industrial Software Development Using the SOFL Method. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-662-07287-5
Hörcher, H.M.: Improving software tests using Z Specifications. In: Bowen, J.P., Hinchey, M.G. (eds.) ZUM 1995. LNCS, vol. 967, pp. 152–166. Springer, Heidelberg (1995). https://doi.org/10.1007/3-540-60271-2_118
Offutt, J., Abdurazik, A.: Generating Tests from UML Specifications. In: France, R., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 416–429. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-46852-8_30
Liu, S., Chen, Y., Nagoya, F., McDermid, J.A.: Formal specification-based inspection for verification of programs. IEEE Trans. Softw. Eng. 9(4), 1100–1122 (2012)
Tai, K.C., Lei, Y.: A test generation strategy for pairwise testing. IEEE Trans. Softw. Eng. 28(1), 109–111 (2002)
Czerwonka, J.: Pairwise testing in real world. In: proceedings of 24th Pacific Northwest Software Quality Conference (2006)
Liu, S., Nakajima, S.: A decompositional approach to automatic test cases generation based on formal specification. In: 4th IEEE International Conference on Secure Software Integration and Reliability Improvement, Singapore, pp. 147–155. IEEE CS Press, 9–11 June 2010
Li, M., Liu, S.: Automated functional scenario- based formal specification animation. In: 19th Asia-Pacific Software Engineering Conference, pp. 107–115. IEEE CS Press (2012)
Donat, M.R.: Automating formal specification-based testing. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997. LNCS, vol. 1214, pp. 833–847. Springer, Heidelberg (1997). https://doi.org/10.1007/BFb0030644
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)
Acknowledgments
This work was supported by JSPS KAKENHI Grant Number 26240008.
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Appendix
Appendix
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Zhao, P., Liu, S. (2018). A Software Tool to Support the “Vibration’’ Method. In: Tian, C., Nagoya, F., Liu, S., Duan, Z. (eds) Structured Object-Oriented Formal Language and Method. SOFL+MSVL 2017. Lecture Notes in Computer Science(), vol 10795. Springer, Cham. https://doi.org/10.1007/978-3-319-90104-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-90104-6_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-90103-9
Online ISBN: 978-3-319-90104-6
eBook Packages: Computer ScienceComputer Science (R0)