Cristiá, Maximiliano and Plüss, Brian
(2010).
|
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 |
| Funders: | Flowgate Consulting, 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/Department: | Mathematics, Computing and Technology > Computing |
| Interdisciplinary Research Centre: | Centre for Research in Computing (CRC) |
| Item ID: | 21458 |
| Depositing User: | Brian Pluss |
| Date Deposited: | 28 May 2010 11:03 |
| Last Modified: | 12 Dec 2012 14:05 |
| URI: | http://oro.open.ac.uk/id/eprint/21458 |
Actions (login may be required)
| View Item | |
| Public: Report issue / request change |