Testing IV

Preparation

Watch the following videos:

• Automated Testing and Automatic Test Case Generation
  • Agitar’s JUnit Test Generation
• Formal Methods for Software Engineering
  • Formal Methods of Software Design
    • Introduction (12 min)
    • Binary Theory (30 min)
  • SPARK
    • What is SPARK? (2 min)
    • Is SPARK easy to learn? (1 min)
    • What types of projects are best suited for SPARK? (3 min)

Objectives

1. Practice test case design based on flow graphs and loop testing techniques
2. Understand contemporary trends in automated testing, automatic test generation, and formal methods

Resources

Hovemeyer and Pugh, “Finding Bugs is Easy,” Proceedings of the 19th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA ‘04), pp. 132&endash;136, October 2004 (slides)

Static Analysis

SpotBugs (Java)

• Releases
• Documentation

Infer (Java or C / C++ / Objective-C)

• Documentation

Flake8 (Python)

• Documentation