文章基本信息

标题：Testing the Satisfiability of Z Formal Specifications by Using Prolog
本地全文：下载
作者：Abdullah Mohd. Zin ; Zarina Shukur
期刊名称：Malaysian Journal of Computer Science
印刷版ISSN：0127-9084
出版年度：2004
卷号：17
期号：1
出版社：University of Malaya * Faculty of Computer Science and Information Technology
摘要：Formal specifications are now being used as a basis for communication, design, testing and verification of a software product. For a formal specification to be used effectively, it must be valid, which means that it must be wellformed and reflects the user requirements. The normal technique for validating a formal specification is by using formal reasoning. However, the use of formal reasoning is extremely tedious and time consuming. In this paper we explore alternative techniques for validating a Z formal specification. In particular, we consider the concept of satisfiability as a weaker alternative to validity and discuss how testing can be used to check the satisfiability of a Z formal specification.
关键词：Formal specification; Z formal specification; Validation and verification