NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP

  • Gustavo CarvalhoEmail author
  • Flávia Barros
  • Ana  Carvalho
  • Ana Cavalcanti
  • Alexandre  Mota
  • Augusto  Sampaio
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9276)


Formal models are increasingly being used as input for automated test-generation strategies. However, typically the requirements are captured as English text, and these formal models are not readily available. With this in mind, we have devised a strategy (NAT2TEST) to obtain formal models from natural language requirements automatically, particularly to generate sound test cases. Our strategy is extensible, since we consider an intermediate and hidden formal characterisation of the system behaviour from which other formal notations can be derived. Here, we present the NAT2TEST tool, which implements our strategy.


Natural-language requirements Test-case generation Tool 



This work was carried out with the support of the CNPq (Brazil), \(\mathrm{INES}\) (, and the grants: FACEPE 573964/2008-4, APQ-1037-1.03/08, CNPq 573964/2008-4 and 476821/2011-8.


  1. 1.
    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) CrossRefGoogle Scholar
  2. 2.
    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) Google Scholar
  3. 3.
    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, Part 3(0), 275–297 (2014)Google Scholar
  4. 4.
    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) CrossRefGoogle Scholar
  5. 5.
    Colombo, C., Micallef, M., Scerri, M.: Verifying web applications: from business level specifications to automated model-based testing. In: Proceedings Ninth Workshop on Model-Based Testing, MBT 2014, 6 April 2014, Grenoble, France, pp. 14–28 (2014)Google Scholar
  6. 6.
    Esser, M., Struss, P.: Obtaining models for test generation from natural-language like functional specifications. In: International Workshop on Principles of Diagnosis, pp. 75–82 (2007)Google Scholar
  7. 7.
    FAA: Requirements Engineering Management Findings Report. Technical report, U.S. Department of Transportation - Federal Aviation Administration (2009)Google Scholar
  8. 8.
    Fillmore, C.J.: The Case for case. In: Bach, H. (ed.) Universals in Linguistic Theory, pp. 1–88. Holt, Rinehart, and Winston, New York (1968)Google Scholar
  9. 9.
    Larsen, K., Mikucionis, M., Nielsen, B.: Online testing of real-time systems using uppaal: status and future work. In: Perspectives of Model-Based Testing - Dagstuhl Seminar, vol. 04371 (2004)Google Scholar
  10. 10.
    Nogueira, S., Sampaio, A., Mota, A.: Test generation from state based use case models. Formal Aspects Comput. 26(3), 441–490 (2014)CrossRefMathSciNetGoogle Scholar
  11. 11.
    Santiago Junior, V., Vijaykumar, N.L.: Generating model-based test cases from natural language requirements for space application software. Softw. Qual. J. 20, 77–143 (2012)CrossRefGoogle Scholar
  12. 12.
    Tomita, M.: Efficient Parsing for Natural Language. Kluwer Academic Publishers, Boston (1986)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Gustavo Carvalho
    • 1
    Email author
  • Flávia Barros
    • 1
  • Ana  Carvalho
    • 2
  • Ana Cavalcanti
    • 3
  • Alexandre  Mota
    • 1
  • Augusto  Sampaio
    • 1
  1. 1.Centro de InformáticaUniversidade Federal de PernambucoRecifeBrazil
  2. 2.NTIUniversidade Federal de PernambucoRecifeBrazil
  3. 3.Department of Computer ScienceUniversity of YorkHeslingtonUK

Personalised recommendations