1. Assertive Testing.
- Author
-
Holzmann, Gerard J.
- Subjects
- *
COMPUTER software testing , *RANDOMIZATION (Statistics) , *COMPUTER research , *COMPUTER periodicals , *SOFTWARE reliability - Abstract
Standard software testing might not catch important defects, and formal methods can be difficult to use. But, there's a middle ground between the two. This middle ground involves adding five steps to standard testing and employing test randomization, model-based testing, and a more aggressive use of assertions (also called self-tests). [ABSTRACT FROM PUBLISHER]
- Published
- 2015
- Full Text
- View/download PDF