Improving software tests using Z specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 967, Issue , 1995, Pages 152-166

  Hörcher, Hans Martin ^a  

^a DST Deutsche System Technik ^*  (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; INTEGRATION TESTING; PETROLEUM RESERVOIR EVALUATION; SOFTWARE RELIABILITY;

AUTOMATED TEST; AUTOMATIC TOOLS; DEVELOPMENT PROCESS; EVALUATION OF TEST; HIGH-INTEGRITY SYSTEMS; SOFTWARE INTEGRATION; TESTING TECHNIQUE; Z SPECIFICATIONS;

FORMAL SPECIFICATION;

EID: 84951757552     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60271-2_118     Document Type: Conference Paper

References (15)

1. D. Carrington and E Stocks. A Tale of two Paradigms: Formal Methods and Software Testing. In J. E Bowen and J. A. Hall, editors, Z User Workshop, Cambridge, June 1994, Workshops in Computing, pages 51--68. BCS FACS, Springer Verlag, June 1994.
2. Richard Demillo and A. Jefferson Offutt. Experimental Results from an Automatic Test Case Generator. A CM Transactions on Software Engineering, 2(2): 109-127, April 1993.
3. Jeremy Dick and Alain Faivre. Automating the Generation and Sequencing of Test Casees from Model-Based Specifications. In J.C.P. Woodcock and P.G. Larsen, editors, FME'93: Industrial-Strength Formal Methods, number 670 in Lecture Notes in Computer Science, pages 268-284. FME Europe, Springer Verlag, April 1993.
4. G.T. Sculard. Test Case Selection using VDM. In R.Bloomfield, L.Marshall, and R.Jones, editors, VDM88: VDM- The WayAhead, number 328 in Lecture Notes in Computer Science, pages 178-186. VDM Europe, Springer Verlag, September 1988.
5. Walter Gutjahr. Automatische Testdatengenerierung zur Unterst0tzung des Softwaretests. Informatik Forschung und Entwicklung, 8(3): 128-136, August 1993.
6. Ute Hamer and Jan Peleska. The Airbus A330/340 Cabin Communication System - A Z Application. In Michael G. Hinchey and Jonathan Bowen, editors, Applications of Formal Methods, Series in Computer Science. Prentice Hall International, to appear 1995.
7. Ian J. Hayes and Cliff B. Jones. Specifications are not (necessarily) executable. Software Engineering Journal, 4(6):330-338, November 1989.
8. Hans-Martin Htrcher. Das DST-Unittestbed zur automatisierten Durchfohrung von Unittests. GI-Software Trends, Mitteilungen der Fachgruppe "Software-Engineering", 13(2):41--49, February 1993.
9. Hans-Martin Horcher. Animation of implicit Specifications. Internal paper, DST Deutsche System-Technik GmbH, Kiel, Germany, 1994.
10. Hans-Martin HSrcher and Jan Peleska. The Role of Formal Specifications in Software Testing. In Tutorial Notes for the FME'94 Symposium. Formal Methods Europe, October 1994.
11. Erich Mikk. Automatic Compilation of Z Specifications into C for automatic Test Result Evaluation. Master's thesis, Christian Albrecht Universitát Kiel, December 1993.
12. Erich Mikk. Compilation of Z Specifications into C for automatic Test Result Evaluation. In Z User User Meeting - ZUM'95, Workshops in Computing. BCS FACS, Springer Verlag, September 1995.
13. RCTA. DO-178-B, Software Consideratons in Airborne Systems and Equipment Certification. Technical Report RCTA Paper No. 548-92/SC167-177, RCTA, 1140 Connecticuit Avenue, Wasgington D.C., July 1992.
14. Mike Spivey. The Z Notation -A Reference Manual. International Series in Computer Science. Prentice Hall International, 2nd edition, 1992.
15. John B. Wordsworth. Software Development with Z. International Computer Science Series. Addison Wesley, 1992.