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   Check publisher's open access policy
ISSN 0960-0833
1099-1689
Publication date 2012-01
Year available 2010
Sub-type Article (original research)
DOI 10.1002/stvr.431
Volume 22
Issue 1
Start page 33
End page 63
Total pages 31
Place of publication Bognor Regis, West Sussex, U.K.
Publisher John Wiley & Sons
Collection year 2013
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 (original research)
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 2 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 3 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Access Statistics: 116 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