| 
|
Quote: derived test cases from formal specification; tested each precondition and postcondition; also white-box testing; only three faults during operation; acceptance testing found cosmetic faults
topics >
all references >
references t-z >
Topic:
safety critical systems
Group:
testing
Topic:
testing testing
Topic:
automated tests of specifications and designs
Quotation Skeleton
Module and subsystem testing of BOS was done … The test cases were derived manually from the … each Z schema was converted and its postconditions … of 80-90% using pure black-box testing, which is … only three faults were found until now in … [found during customer acceptance testing] proved to be of cosmetic nature, in the user interface, … error messages. [p. 204] Google-1 Google-2
Copyright clearance needed for quotation.
Topic: safety critical systems (32 items)
Group: testing (18 topics, 551 quotes)
Topic: testing testing (13 items)
Topic: automated tests of specifications and designs (12 items)