✦ LIBER ✦

From Object-Z specifications to ClassBench test suites

✍ Scribed by David Carrington; Ian MacColl; Jason McDonald; Leesa Murray; Paul Strooper

Publisher: John Wiley and Sons
Year: 2000
Tongue: English
Weight: 250 KB
Volume: 10
Category: Article
ISSN: 0960-0833
DOI: 10.1002/1099-1689(200006)10:2<111::aid-stvr204>3.0.co;2-p

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Testing from a Z Specification

✍ ROBERT M. HIERONS 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 152 KB

This paper looks at the formal analysis of Z specifications in order to enhance the testing process. An algorithm is given that rewrites the specification to a form from which both a partition of the input domain and the states of a finite state automaton model can be derived. Test cases can be deri

A rule-based approach to producing Z spe

A rule-based approach to producing Z specifications from Jackson system development

✍ Jonathan Lee; Jiann-I Pan 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 280 KB 👁 1 views

In this paper, we propose a rule-based approach called JSDZ to producing Z specifica-Ž . tions from Jackson system development JSD specifications automatically. In JSDZ, JSP is to serve as the structuring mechanism to help the analysis of problem domains, and Z is to express the formal specification