𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Testing the stability of the hall consumption function specification

✍ Scribed by Erkki Koskela; Matti Virén


Book ID
116099511
Publisher
Elsevier Science
Year
1984
Tongue
English
Weight
233 KB
Volume
14
Category
Article
ISSN
0165-1765

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Specification for testing—the removal of
✍ 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