论文信息 - Improving Software Tests Using Z Specifications

Improving Software Tests Using Z Specifications

Formal Specifications become more and more important in the development of software, especially, but not only in the area of high integrity systems. Testing as a method to validate the functionality of a system against the specification will keep its justification also in a development process using formal specifications.

Hans-Martin Hörcher | Hans-Martin Hörcher

[1] G. T. Scullard. Test Case Selection using VDM , 1988, VDM Europe.

[2] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[3] Cliff B. Jones,et al. Specifications are not (necessarily) executable , 1989 .

[4] J. B. Wordsworth,et al. Software development with Z , 1992 .

[5] Walter J. Gutjahr,et al. Automatische Testdatengenerierung zur Unterstützung des Softwaretests , 1993, Inform. Forsch. Entwickl..

[6] Jeremy Dick,et al. Automating the Generation and Sequencing of Test Cases from Model-Based Specifications , 1993, FME.

[7] A. Jefferson Offutt,et al. Experimental results from an automatic test case generator , 1993, TSEM.

[8] David A. Carrington,et al. A Tale of Two Paradigms: Formal Methods and Software Testing , 1994, Z User Workshop.

[9] Erich Mikk,et al. Compilation of Z Specifications into C for Automatic Test Result Evaluation , 1995, ZUM.