✦ LIBER ✦

Specification based testing

✍ Scribed by Rob Hierons

Publisher: John Wiley and Sons
Year: 2000
Weight: 161 KB
Volume: 1
Category: Article
ISSN: 1529-7942
DOI: 10.1002/1529-7950(200012)1:2<25::aid-swf16>3.0.co;2-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Editorial: special issue on specificatio

Editorial: special issue on specification-based testing

✍ Rob Hierons; John Derrick 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 27 KB 👁 2 views

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

Cement products: Specification and testi

Cement products: Specification and testing

✍ Brady, F. L. 📂 Article 📅 1934 🏛 Wiley (John Wiley & Sons) ⚖ 539 KB

cliloride rctnincd by tlic porosity of t,lic iiictnl, cvcii iifter rcpciitd wiishiiigs. 'l'liis piirticdiir piccc of tllic moultl Iiiitl prowtl esccptioiiiilly poroiis, iiiitl its innltcr hnil eiidcavoiirctl t o iinprovc iiinttcrs by Iiiiiiiiiic4iig it wit11 ii I~liiiit-cntl(:tl Iininiiicr. l\'licrc

Specification for testing—the removal of

Specification for testing—the removal of abstraction

✍ I. Spence 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 126 KB

A good specification of a software system is the best foundation for good testing, and automated testing really requires a formal specification. A formal specification of the operations provided by a system is typically written at an abstract level. The data types of any arguments and result values

Testing refinements of state-based forma

Testing refinements of state-based formal specifications

✍ John Derrick; Eerke Boiten 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 263 KB

A specification provides a concise description of a system, and can be used as both the benchmark against which any implementation is tested, and also as a means to generate tests. Formal specifications have potential advantages over informal descriptions because they offer the possibility of reduci

Specification and testing of models esti

Specification and testing of models estimated by quadrature

✍ Geert Dhaene; J. M. C. Santos Silva 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 130 KB

## SUMMARY This paper proposes a test to check the specification of models with unobserved individual effects integrated out by quadrature and also a simple way of increasing the flexibility of this type of model. The results of a Monte Carlo study and an application using a well‐known dataset illu