The Open UniversitySkip to content
 

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 July 2010, Dublin, Ireland.

Full text available as:
Full text not publicly available
Due to copyright restrictions, this file is not available for public download
Click here to request a copy from the OU Author.
URL: http://www.scss.tcd.ie/conferences/INLG2010/INLG20...
Google Scholar: Look up in Google Scholar

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.

Item Type: Conference Item
Copyright Holders: 2010 The Association for Computational Linguistics
Project Funding Details:
Funded Project NameProject IDFunding Body
Not SetNot SetFlowgate Consulting
Not SetNot SetThe 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/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 21458
Depositing User: Brian Plüss
Date Deposited: 28 May 2010 11:03
Last Modified: 12 Dec 2012 14:05
URI: http://oro.open.ac.uk/id/eprint/21458
Share this page:

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk