Approach to testing the nonexistence of initial state in Z specifications

Proceedings of the Asian Test Symposium

Volumn , Issue , 1999, Pages 289-294

  Miao, Huaikou ^a   Gao, Xiaolei ^a   Liu, Ling ^a  

^a SHANGHAI UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES; STATE SPACE METHODS;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0033354187     PISSN: 10817735     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (6)

1. J. M. Spivey, The Z Notation A Reference Manual Second Edition Prentice Hall, London, 1992.
2. A. Diller, Z An Introduction To Formal Methods, John Wiley & Sons, london, 1990.
3. Susan Stepney, "Testing as Abstraction", Proceedings of ZUM'95, Springer-Verlag, 1995.
4. Hans-Martin Horcher, "Improving Software Testing Using Z Specification", Proceedings of ZUM'95, Springer-Verlag, 1995.
5. Miao Huaikou, J. A. McDermid and I. Toyn, "Proving the existence of Initial State in Z Specifications", Chinese Journal of Advanced Software Research, Allertion Press, Vol.2, No.4, pp. 326-337, 1995.
6. Gao XiaoLei, Miao HuaiKou, Dissection of Schema in Z Specification Language, computer science, No.6 Vol. 25 1998, pp. 51-58.