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).
Keywords :
program testing; assertive testing; formal methods; model-based testing; standard software testing; test randomization; Failure analysis; Software development; Software engineering; Software measurement; Software reliability; Software testing; assertion density; model-based testing; software defects; software development; software engineering; software failures; software reliability; software testing;
