𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Specification for testing—the removal of abstraction

✍ Scribed by I. Spence

Publisher
John Wiley and Sons
Year
1998
Tongue
English
Weight
126 KB
Volume
8
Category
Article
ISSN
0960-0833

No coin nor oath required. For personal study only.

✦ Synopsis

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 may not be directly supported by the user interface and there is no indication of the precise means by which an operation is invoked. This abstraction is essential for considering the overall functionality but means that the system is under-specified from the point of view of the tester-particularly if automated testing is envisaged. Some techniques are presented for including concrete user interface details with the abstract description of a formal specification, and these are illustrated with a worked example. The formal notation used is VDM-SL.

📜 SIMILAR VOLUMES

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

A modified orcinol test for the specific
A modified orcinol test for the specific determination of RNA
✍ Rami Almog; Terry L. Shirey 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 434 KB

The standard orcinol test for estimating RNA is modified and developed as a specific method for the determination of RNA in the presence of DNA and proteins. The main differences in the procedure of the modified test when compared to that of the standard test are preincubation of the samples with H2