𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Validation of abstract test suites with use of SDL

✍ Scribed by Mária Törő; Gábor Ziegler

Publisher
Elsevier Science
Year
1994
Weight
364 KB
Volume
40
Category
Article
ISSN
0165-6074

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Rapid generation of functional tests usi
Rapid generation of functional tests using MSCs, SDL and TTCN
✍ R.L Probert; H Ural; A.W Williams 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 288 KB

This paper reports the results of a study undertaken to determine the suitability of CASE tools and formal methods for systematic, rapid generation of functional test cases. In particular, the study involves the use of Message Sequence Charts (MSCs) [International Telecommunications Union (ITU-T), R

Validation of a New Blood-Mimicking Flui
Validation of a New Blood-Mimicking Fluid for Use in Doppler Flow Test Objects
✍ Kumar V Ramnarine; Dariush K Nassiri; Peter R Hoskins; Jaap Lubbers 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 186 KB

A blood-mimicking fluid (BMF) suitable for use in Doppler flow test objects is described and characterised. The BMF consists of 5 microns diameter nylon scattering particles suspended in a fluid base of water, glycerol, dextran and surfactant. The acoustical properties of various BMF preparations we