Abstract
Contemporary computing applications have an increasing level of concurrency; new techniques are demanded to tackle the challenge of testing the plentiful interactions that arise from concurrent behaviour. Current approaches for automatic test generation from natural language models do not allow the explicit specification of concurrent behaviour. This paper extends our previous test case generation approach to support concurrent mobile device features. A natural language notation is proposed to express the composition of sequential and concurrent behaviour. The notation can be automatically translated to a CSP model, from which tests are automatically produced using the FDR refinement checker. The approach is illustrated with a mobile application that includes concurrent features.
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
Android Developers – www.android.com, July 2018. https://developer.android.com
Android N – www.android.com, July 2018. https://www.android.com/versions/nougat-7-0/
Andrade, W.L., Machado, P.D.: Testing interruptions in reactive systems. Form. Asp. Comput. 24(3), 331–353 (2012)
Andrews, G.R., Schneider, F.B.: Concepts and notations for concurrent programming. ACM Comput. Surv. (CSUR) 15(1), 3–43 (1983)
Arruda, F., Sampaio, A., Barros, F.A.: Capture & replay with text-based reuse and framework agnosticism. In: SEKE, pp. 420–425 (2016)
Bianchi, F., Margara, A., Pezze, M.: A survey of recent trends in testing concurrent software systems. IEEE Trans. Softw. Eng. 1, 1–1 (2017)
Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.): Model-Based Testing of Reactive Systems. LNCS, vol. 3472. Springer, Heidelberg (2005). https://doi.org/10.1007/b137241
Carvalho, G.: NAT2TEST: Generating Test Cases from Natural Language Requirements based on CSP. Ph.D. thesis, Federal University of Pernambuco (2016)
Carvalho, G., 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, Cham (2015). https://doi.org/10.1007/978-3-319-22969-0_20
Ferreira, F., Neves, L., Silva, M., Borba, P.: TaRGeT: a model based product line testing tool. In: Proceedings of CBSoft 2010 – Tools Panel (2010)
Gibson-Robinson, T., Armstrong, P., Boulgakov, A., Roscoe, A.W.: FDR3 — a modern refinement checker for CSP. In: Ábrahám, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 187–201. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54862-8_13
Nogueira, S., Araujo, H., Araujo, R., Iyoda, J., Sampaio, A.: Test case generation, selection and coverage from natural language. Science of Computer Programming (2018, under revision)
Nogueira, S., Sampaio, A., Mota, A.: Test Generation from State Based Use Case Models. Technical report, Cin-UFPE (2010). http://www.cin.ufpe.br/~scn/reports/jss10Extended.pdf
Nogueira, S., Sampaio, A., Mota, A.: Test generation from state based use case models. Form. Asp. Comput. 26(3), 441–490 (2014)
Cornélio, M., Roscoe, B. (eds.): SBMF 2015. LNCS, vol. 9526, pp. 145–161. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-29473-5. chap. Automatic Generation of Test Cases and Test Purposes from Natural Language
Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall PTR, Upper Saddle River (1998)
Roscoe, A.W.: Understanding Concurrent System. Springer, London (2011). https://doi.org/10.1007/978-1-84882-258-0
Sampaio, A., Arruda, F.: Formal testing from natural language in an industrial context. In: Ribeiro, L., Lecomte, T. (eds.) SBMF 2016. LNCS, vol. 10090, pp. 21–38. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-49815-7_2
Scattergood, J.: The Semantics and Implementation of Machine-Readable CSP. Ph.D. thesis, Oxford University Computing Laboratory (1998)
University of Oxford: FDR3 Web Site, May 2015
Acknowledgements
We thank CAPES and the partnership CIn/UFPE-Motorola Mobility (a Lenovo company) for partially supporting the authors. Particularly, we thank Motorola’s Modem Testing Team for providing feedback about this work and opportunity to carry out a case study.
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Almeida, R., Nogueira, S., Sampaio, A. (2018). Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions. In: Massoni, T., Mousavi, M. (eds) Formal Methods: Foundations and Applications. SBMF 2018. Lecture Notes in Computer Science(), vol 11254. Springer, Cham. https://doi.org/10.1007/978-3-030-03044-5_11
Download citation
DOI: https://doi.org/10.1007/978-3-030-03044-5_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-03043-8
Online ISBN: 978-3-030-03044-5
eBook Packages: Computer ScienceComputer Science (R0)