A case study in model-based testing of specifications and implementations

Miller, Tim and Strooper, Paul (2012) A case study in model-based testing of specifications and implementations. Software Testing, Verification and Reliability, 22 1: 33-63.


Author Miller, Tim
Strooper, Paul
Title A case study in model-based testing of specifications and implementations
Journal name Software Testing, Verification and Reliability  (ERA 2012 Listed)    (ERA 2010 Rank B)   Check publisher's open access policy
Publication date 2012-01
Sub-type Article
Year available 2010
DOI 10.1002/stvr.431
Volume number 22
Issue number 1
ISSN 0960-0833; 1099-1689
Start page 33
End page 63
Total pages 31
Place of publication Bognor Regis, West Sussex, U.K.
Publisher John Wiley & Sons
Collection year 2012
Language eng
Formatted abstract Despite the existence of a number of animation tools for a variety of languages, methods for employing these tools for specification testing have not been adequately explored. Similarly, despite the close correspondence between specification testing and implementation testing, the two processes are often treated independently, and relatively little investigation has been performed to explore their relationship. This paper presents the results of applying a framework and method for the systematic testing of specifications and their implementations. This framework exploits the close correspondence between specification testing and implementation testing. The framework is evaluated on a sizable case study of the Global System for Mobile Communications 11.11 Standard, which has been developed towards use in a commercial application. The evaluation demonstrates that the framework is of similar cost-effectiveness to the BZ-Testing-Tools framework and more cost-effective than manual testing. A mutation analysis detected more than 95% of non-equivalent specification and implementation mutants.
Keyword Specification animation
Model-based testing
Testgraphs
Q-Index Code C1
Q-Index Status Confirmed Code
Institutional Status UQ
Additional Notes Article first published online: 5 MAR 2010

Document type: Journal Article
Sub-type: Article
Collections: Official 2013 Collection
School of Information Technology and Electrical Engineering Publications
 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 1 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 2 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Access Statistics: 41 Abstract Views  -  Detailed Statistics
Created: Wed, 01 Feb 2012, 13:33:45 EST by Professor Paul Strooper on behalf of School of Information Technol and Elec Engineering