A case study in specification and implementation testing

Miller, T. and Strooper, P. A. (2004). A case study in specification and implementation testing. In: D. Bae and W. Chu, Proceedings of the Eleventh Asia-Pacific Software Engineering Conference (APSEC 2004). The Eleventh Asia-Pacific Software Engineering Conference (APSEC 2004), Busan, Korea, (130-139). 30 November-3 December 2004.


Author Miller, T.
Strooper, P. A.
Title of paper A case study in specification and implementation testing
Conference Paper Type Fully Published Paper
Conference name The Eleventh Asia-Pacific Software Engineering Conference (APSEC 2004)    (ERA 2010 Rank C)
DOI 10.1109/APSEC.2004.1
Conference location Busan, Korea
Conference dates 30 November-3 December 2004
Proceedings title Proceedings of the Eleventh Asia-Pacific Software Engineering Conference (APSEC 2004)
Journal name 11th Asia-Pacific Software Engineering Conference, Proceedings
Editor D. Bae
W. Chu
Place published Los Alamitos, California, U.S.A.
Publisher IEEE Computer Society
Publication date 2004
ISBN 0-7695-2245-9
ISSN 1530-1362
Start page 130
End page 139
Total pages 10
Collection year 2004
Language eng
Abstract/Summary Achieving consistency between a specification and its implementation is an important part of software development In previous work, we have presented a method and tool support for testing a formal specification using animation and then verifying an implementation of that specification. The method is based on a testgraph, which provides a partial model of the application under test. The testgraph is used in combination with an animator to generate test sequences for testing the formal specification. The same testgraph is used during testing to execute those same sequences on the implementation and to ensure that the implementation conforms to the specification. So far, the method and its tool support have been applied to software components that can be accessed through an application programmer interface (API). In this paper, we use an industrially-based case study to discuss the problems associated with applying the method to a software system with a graphical user interface (GUI). In particular, the lack of a standardised interface, as well as controllability and observability problems, make it difficult to automate the testing of the implementation. The method can still be applied, but the amount of testing that can be carried on the implementation is limited by the manual effort involved.
Subjects E1
280302 Software Engineering
700199 Computer software and services not elsewhere classified
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in Thomson Reuters Web of Science Article
Google Scholar Search Google Scholar
Access Statistics: 172 Abstract Views  -  Detailed Statistics
Created: Thu, 23 Aug 2007, 19:41:56 EST