Predicates, Path Predicates and Achievable Paths in Software Testing

Taxonomy of Bugs

• There is no universally correct way to categorize bugs. The taxonomy is not rigid
• A given bug can be put into one or another category depending on its history and the programmers state of mind
• The major Categories are: