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:
[img]
Preview
PDF (Accepted Manuscript) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (122kB)
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 or Workshop 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/School: Faculty of Science, Technology, Engineering and Mathematics (STEM) > Knowledge Media Institute (KMi)
Faculty of Science, Technology, Engineering and Mathematics (STEM)
Item ID: 21458
Depositing User: Brian Plüss
Date Deposited: 28 May 2010 11:03
Last Modified: 07 Feb 2017 20:36
URI: http://oro.open.ac.uk/id/eprint/21458
Share this page:

Download history for this item

These details should be considered as only a guide to the number of downloads performed manually. Algorithmic methods have been applied in an attempt to remove automated downloads from the displayed statistics but no guarantee can be made as to the accuracy of the figures.

▼ Automated document suggestions from open access sources

Actions (login may be required)

Policies | Disclaimer

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