|
Published Articles >> Table of Contents >> Abstract
11th Asia-Pacific Software Engineering Conference (APSEC'04)
pp. 130-139
A Case Study in Specification and Implementation Testing
Tim Miller, The University of Liverpool, UK
Paul Strooper, The University of Queensland, Australia
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2004.1
Send link to a friend
| Abstract |
|
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
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.
|
 Additional Information
|
Citation:
Tim Miller, Paul Strooper,
"A Case Study in Specification and Implementation Testing,"
apsec,
pp. 130-139,
11th Asia-Pacific Software Engineering Conference (APSEC'04),
2004
|
|
