Richard Denney
Abstract
The use of formal specifications as a basis for specifying functional tests has been discussed by a numbers of researchers with most work focusing on one style of specification or another separately. But is any single style an adequate basis for writing functional tests? The strengths, weaknesses and complementary nature of two popular styles of software specification, model-based and algebraic, are examined as a basis for functional test specification.
- Amla & Ammann, Using Z Specification in Category Partition Testing, Proceedings COMPASS 1992.Google Scholar
- Boris Beiser, Software Testing Techniques, 2nd ed., Van Nostrand Reinhold, 1990. Google ScholarDigital Library
- Tsun S. Chow, Testing Software Design Modeled by Finite-State Machines, IEEE Transactions on Software Engineering, 4(3), May 1978.Google Scholar
- Coleman, Arnold, Bodoff, Dollin, Gilchrist, Hayes & Jeremaes, Object-Oriented Development: The Fusion Method, Prentice-Hall, 1994. Google ScholarDigital Library
- Tom Demarco, Controlling Software Projects, Prentice-Hall, 1982.Google Scholar
- Roong-Ko Doong & Phyllis G. Frankl, The ASTOOT Approach to Testing Object-Oriented Programs, AGM Transactions on Software Engineering and Methodology, 3(2), April 1994. Google ScholarDigital Library
- John Gannon, Paul McMullin & Richard Hamlet, Data- Abstraction Implementation, Specification & Testing, ACM Transactions on Programming Languages & Systems, 3(3), July 1981. Google ScholarDigital Library
- J.V. Guttag & J.J. Horning, The Algebraic Specification Of Abstract Data Types, in Programming Methodology, David Gries, editor, Springer-Verlage, 1978.Google Scholar
- P. Hall, Brunel University UK, Towards Testing with Respect to Formal Specifications, 2nd IEE/BCS Conference, Publication #290, Software Engineering 88, July 1988.Google Scholar
- Ian Hayes, Specification Directed Module Testing, IEEE Transactions on Software Engineering, 12(1), Jan. 1986. Google ScholarDigital Library
- I.J. Hayes, C.B. Jones and J.E. Nicholis, Understanding the differences between VDM and Z, Technical Report UMCS-93-8-1, Department of Computer Science, University of Manchester.Google Scholar
- C.A.R. Hoare, Oxford University Computing Lab, An Overview of Some Formal Methods for Program Design, IEEE COMPUTER, Sept. 1987. Google ScholarDigital Library
- Daniel Hoffman & Richard Snodgrass, Trace Specifications: Methodology of Models, IEEE Transactions on SE, 14(9), Sept. 1988. Google ScholarDigital Library
- David Lamb, Software Engineering: Planning for Change, Prentice Hall, 1988. Google ScholarDigital Library
- G. LaycocK, Formal Specifications and Testing: A Case Study, Journal of Software Testing, Verification and Reliability, 2(3-6), May 1992.Google Scholar
- William Mallgren, Formal Specifications of Interactive Graphics Programming Languages, MIT Press, 1983. Google ScholarDigital Library
- P. McMullen & J. Gannon, Evaluating a Data Abstraction Testing System Based on Formal Specifications, Journal of Systems and Software, Vol. 2, 1981.Google Scholar
- Glenford Myers, The Art of Software Testing, John Wiley & Sons, 1979. Google ScholarDigital Library
- Yip & Robson, Conformance Validation of Graphical User Interfaces, IEEE Transactions on Software Engineering, 1991.Google Scholar
- W.T. Roberts, A formal specification of the QMC Message System the underlying abstract model, Computer Journal 31(4) 1988. Google ScholarDigital Library
- Rumbaugh, Blahs, Premerlani, Eddy & Lorenson, Object-Oriented Modeling & Design, Prentice-Hall, 1991. Google ScholarDigital Library
- Zweben & Heym, Systematic testing of data abstractions based on (formal) software specification, Journal of Software Testing, Verification and Reliability, 1(4). 1992.Google Scholar
Index Terms
- A comparison of the model-based & algebraic styles of specification as a basis for test specification
Recommendations
Test-driven specification: paradigm and automation
ACM-SE 44: Proceedings of the 44th annual Southeast regional conferenceThis paper introduces test-driven specification, whereby the specification process is aided by the use of test cases. We also introduce an automated tool, the test-driven specification assistant (TDSA), which supports this approach. Test cases reveal ...
Faithfully formalizing OSEK/VDX operating system specification
SoICT '12: Proceedings of the 3rd Symposium on Information and Communication TechnologyOSEK/VDX has proposed a standard for operating systems used in automotive systems. This standard is described in the form of informal specification. The informal specification is not suitable for applying formal methods to the whole of the software ...
Comments