Software Validation and Verification
Lectures (videos in french, slides in english)
- Software Validation & Verification: a gentle introduction
- Software testing at glance
- Static analysis
- Dynamic testing
- Integration testing
- Test qualification and main criteria
- Mutation testing
- Test automation
- Software testing: looking ahead
Further material, information and references
- Some tools: PMD, JavaParser, EclEmma/JaCoCo, Mockito, EasyMock, Pitest, jqwik, Selenium, and DbUnit.
- Refcard about JUnit & EasyMock, Mockito, and Selenium.