Testing #2 (Baudry)

Material

• Introduction to software testing Links to an external site. (J. Offutt). A very good book that covers the various aspects of test coverage.
• Test oracles Links to an external site. (E. Barr and colleagues). A survey of the various types of test oracles.

Testing concepts

• Test coverage
  • structure coverage
  • input space coverage
  • mutation analysis
  • property-based testing
• Test levels
  • unit testing
  • integration testing
  • system testing
• Test oracle
  • crash
  • assertions
  • invariant
  • differential testing

Testing tools

• Java: JUnit Links to an external site., PIT Links to an external site., jacoco Links to an external site.
• Ruby: RSpec Links to an external site., simplecov Links to an external site.
• Python: unittest Links to an external site., pytest Links to an external site.
• Matlab: unit testing framework Links to an external site.
• R: testthat Links to an external site.