Generating natural language descriptions of Z test cases

Cristiá, Maximiliano and Plüss, Brian (2010). Generating natural language descriptions of Z test cases. In: Proceedings of the 6th International Natural Language Generation Conference, 7-9 Jul 2010, Dublin, Ireland.

URL: http://www.scss.tcd.ie/conferences/INLG2010/INLG20...

Abstract

Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times formal, development technologies. In addition, model-based testing (MBT) is a promising testing technique for the verification of critical software. Test cases generated by MBT tools are logical descriptions. The problem is, then, to provide natural language (NL) descriptions of these test cases, making them accessible to domain experts. In this paper, we present ongoing research aimed at finding a suitable method for generating NL descriptions from test cases in a formal specification language. A first prototype has been developed and applied to a real-world project in the aerospace sector.

Viewing alternatives

Item Actions

Export

You can export this page using these formats

About

• Item ORO ID
• 21458
• Item Type
• Conference or Workshop Item
• Project Funding Details

• Funded Project Name	Project ID	Funding Body
  Not Set	Not Set	Flowgate Consulting
  Not Set	Not Set	The Open University

• Extra Information
• pp 173-178
• Keywords
• natural language generation; model-based testing; test template framework; Z specification language; formal methods; software testing
• Academic Unit or School
• Faculty of Science, Technology, Engineering and Mathematics (STEM) > Knowledge Media Institute (KMi)
  Faculty of Science, Technology, Engineering and Mathematics (STEM)
• Copyright Holders
• © 2010 The Association for Computational Linguistics
• Depositing User
• Brian Plüss