✦ LIBER ✦

Testing from a Z Specification

✍ Scribed by ROBERT M. HIERONS

Publisher: John Wiley and Sons
Year: 1997
Tongue: English
Weight: 152 KB
Volume: 7
Category: Article
ISSN: 0960-0833
DOI: 10.1002/(sici)1099-1689(199703)7:1<19::aid-stvr124>3.0.co;2-n

No coin nor oath required. For personal study only.

✦ Synopsis

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 derived from the former and an automated system to control the testing process can be based upon the latter.

📜 SIMILAR VOLUMES

From Object-Z specifications to ClassBen

From Object-Z specifications to ClassBench test suites

✍ David Carrington; Ian MacColl; Jason McDonald; Leesa Murray; Paul Strooper 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 250 KB

Specification and testing using generali

Specification and testing using generalized machines: a presentation and a case study

✍ Florentin Ipate; Mike Holcombe 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 135 KB

Although testing is a major part of software development, it rarely gets the attention it deserves from researchers, partly because its foundations are weak and ill-understood. The principal purpose of testing is to detect (and then remove) faults in a software system. However, very few of the exist

Creasability testing by inclined rules —

Creasability testing by inclined rules — a base for standardized specification of paperboard

✍ Sören Cavlin; Iikka Dunder; Birger Edholm 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 332 KB

In die cutting manufacture of paperboard it is necessary to apply the correct creasing conditions, e.g. neither too small nor too big a rule height, in order to achieve sufficiently low folding resistance without any cracks along the folding lines. The most appropriate rule height for a given paperb

Testing non-nested semiparametric models

Testing non-nested semiparametric models: an application to Engel curves specification

✍ Miguel A. Delgado; Juan Mora 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 245 KB

This paper proposes a test statistic for discriminating between two partly non-linear regression models whose parametric components are non-nested. The statistic has the form of a J-test based on a parameter which arti®cially nests the null and alternative hypotheses. We study in detail the realisti

A new specific test for aluminium

✍ Ervin Jungreis; Avraham Lerner 📂 Article 📅 1961 🏛 Elsevier Science 🌐 English ⚖ 134 KB

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