Abstract
We propose a test generation strategy from natural language (NL) requirements via translation into Colored Petri Nets (CPN), an extension of Petri Nets that supports model structuring and provides a mature theory and powerful tool support. This strategy extends our previous work on the NAT2TEST framework, which involves syntactic and semantic analyses of NL requirements and the generation of Data Flow Reactive Systems (DFRS) as an intermediate representation, from which target formal models can be obtained for the purpose of test case generation. Our contributions include a systematic translation of DFRSs into CPN models, besides a strategy for test generation. We illustrate our overall approach with a running example.
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
Similar content being viewed by others
References
Cai, L., Zhang, J., Liu, Z.: A CPN-based software testing approach. JSW 6(3), 468–474 (2011)
Carvalho, A., Barros, F., Carvalho, A., Cavalcanti, A., Mota, A., Sampaio, A.: NAT2TEST tool: from natural language requirements to test cases based on CSP. In: Calinescu, R., Rumpe, B. (eds.) SEFM 2015. LNCS, vol. 9276, pp. 283–290. Springer, Heidelberg (2015)
Carvalho, G., Barros, F., Lapschies, F., Schulze, U., Peleska, J.: Model-based testing from controlled natural language requirements. In: Artho, C., Ölveczky, P.C. (eds.) FTSCS 2013. CCIS, vol. 419, pp. 19–35. Springer, Heidelberg (2014)
Carvalho, G., Carvalho, A., Rocha, E., Cavalcanti, A., Sampaio, A.: A formal model for natural-language timed requirements of reactive systems. In: Merz, S., Pang, J. (eds.) ICFEM 2014. LNCS, vol. 8829, pp. 43–58. Springer, Heidelberg (2014)
Carvalho, G., Falcão, D., Barros, F., Sampaio, A., Mota, A., Motta, L., Blackburn, M.: NAT2TEST\(_{SCR}\): test case generation from natural language requirements based on SCR specifications. Sci. Comput. Program. 95, 275–297 (2014). Part 3(0)
Carvalho, G., Sampaio, A., Mota, A.: A CSP timed input-output relation and a strategy for mechanised conformance verification. In: Groves, L., Sun, J. (eds.) ICFEM 2013. LNCS, vol. 8144, pp. 148–164. Springer, Heidelberg (2013)
Farooq, U., Lam, C., Li, H.: Towards automated test sequence generation. In: 19th Australian Conference on Software Engineering, ASWEC 2008, pp. 441–450, March 2008
Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. Springer, Berlin (1996)
Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer, Berlin (2009)
Jrgensen, J., Tjell, S., Fernandes, J.: Formal requirements modelling with executable use cases and coloured petri nets. Innovations Syst. Softw. Eng. 5(1), 13–25 (2009)
Leonard, E., Heitmeyer, C.: Program synthesis from formal requirements specifications using APTS. Higher-Order Symbolic Comput. 16(1–2), 63–92 (2003)
Liu, J., Ye, X., Li, J.: Colored Petri nets model based conformance test generation. In: 2011 IEEE Symposium on Computers and Communications (ISCC), pp. 967–970, June 2011
Milner, R., Harper, R., Tofte, M.: The Definition of Standard ML. MIT Press, Cambridge (1990)
Myers, G., Sandler, C., Badgett, T.: The Art of Software Testing. John Wiley, New York (2004)
Tjell, S.: Model-based testing of a reactive system with coloured petri nets. In: Hochberger, C., Liskowsky, R. (eds.) Informatik, LNI, vol. 94, pp. 274–281, GI (2006)
Watanabe, H., Kudoh, T.: Test suite generation methods for concurrent systems based on coloured Petri nets. In: Proceedings of 1995 Asia Pacific Software Engineering Conference, pp. 242–251, December 1995
Acknowledgments
We thank Embraer for the partnership related to the NAT2TEST framework and, particularly, Braulio Horta and Ricardo Filho for their valuable contribution. This work was supported by the National Institute of Science and Technology for Software Engineering (INES (www.ines.org.br)), funded by CNPq and FACEPE, grants 573964/2008-4 and APQ-1037-1.03/08.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Silva, B.C.F., Carvalho, G., Sampaio, A. (2016). Test Case Generation from Natural Language Requirements Using CPN Simulation. In: Cornélio, M., Roscoe, B. (eds) Formal Methods: Foundations and Applications. SBMF 2015. Lecture Notes in Computer Science(), vol 9526. Springer, Cham. https://doi.org/10.1007/978-3-319-29473-5_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-29473-5_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-29472-8
Online ISBN: 978-3-319-29473-5
eBook Packages: Computer ScienceComputer Science (R0)