Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Software Engineering and Formal Methods (SEFM 2015)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 9276))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    http://www.t-vec.com/.

  2. 2.

    https://www.verified.de/products/rt-tester/.

  3. 3.

    Available for download at: http://www.cin.ufpe.br/~ghpc/.

  4. 4.

    FDR tool – http://www.cs.ox.ac.uk/projects/fdr/.

  5. 5.

    Z3 tool – http://z3.codeplex.com/.

  6. 6.

    http://wiki.eclipse.org/index.php/Rich_Client_Platform.

  7. 7.

    http://www.tcl.tk/.

References

  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)

    Chapter  Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

  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. 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. FAA: Requirements Engineering Management Findings Report. Technical report, U.S. Department of Transportation - Federal Aviation Administration (2009)

    Google Scholar 

  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. 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. Nogueira, S., Sampaio, A., Mota, A.: Test generation from state based use case models. Formal Aspects Comput. 26(3), 441–490 (2014)

    Article  MathSciNet  Google Scholar 

  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)

    Article  Google Scholar 

  12. Tomita, M.: Efficient Parsing for Natural Language. Kluwer Academic Publishers, Boston (1986)

    Book  Google Scholar 

Download references

Acknowledgments

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

Author information

Authors and Affiliations

  1. Centro de Informática, Universidade Federal de Pernambuco, Recife, 50740-560, Brazil

    Gustavo Carvalho, Flávia Barros, Alexandre Mota & Augusto Sampaio

  2. NTI, Universidade Federal de Pernambuco, Recife, 50670-901, Brazil

    Ana Carvalho

  3. Department of Computer Science, University of York, Heslington, YO10 5GH, UK

    Ana Cavalcanti

Authors
  1. Gustavo Carvalho
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Flávia Barros
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ana Carvalho
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ana Cavalcanti
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Alexandre Mota
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Augusto Sampaio
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Gustavo Carvalho .

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of York, York, United Kingdom

    Radu Calinescu

  2. Software Engineering, Department of Computer Science, RWTH Aachen University, Aachen, Germany

    Bernhard Rumpe

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Carvalho, G., Barros, F., Carvalho, A., Cavalcanti, A., Mota, A., Sampaio, A. (2015). NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP. In: Calinescu, R., Rumpe, B. (eds) Software Engineering and Formal Methods. SEFM 2015. Lecture Notes in Computer Science(), vol 9276. Springer, Cham. https://doi.org/10.1007/978-3-319-22969-0_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-22969-0_20

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-22968-3

  • Online ISBN: 978-3-319-22969-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation