Software Verification, Validation and Testing Lab

Course Objectives:

1. To familiarize students with different types of software testing and verification methods.
2. To provide hands-on experience with industry-standard testing tools and practices.

Course Outcomes:

• CO1 Understand the principles and techniques of software testing and validation.
• CO2 Develop proficiency in using various software testing tools for different testing scenarios.

List of Experiments:

1. To understand the importance of static code analysis and utilize SonarQube to identify code quality issues, bugs, and vulnerabilities in software projects.
2. To learn the fundamentals of unit testing and practice writing and executing JUnit test cases to ensure individual units of code function correctly.
3. To explore the concepts of integration testing and use Selenium to automate browser- based testing, ensuring seamless interactions between components.
4. To familiarize students with test case management using TestRail and learn to design, execute, and track test cases effectively.
5. To gain hands-on experience in performance testing with JMeter, measuring system responsiveness, scalability, and stability under varying workloads.
6. To understand the significance of security testing and utilize OWASP ZAP to identify and address security vulnerabilities in web applications.
7. To learn model-based testing techniques with Spec Explorer and generate effective test cases from models, improving test coverage.
8. To explore usability testing concepts and use User Testing to evaluate the user-friendliness and user experience of software applications.
9. To understand mutation testing principles and utilize PIT to assess the effectiveness of test suites in detecting code mutations.
10. To experience load testing with LoadRunner, simulating real-world user loads to assess application performance under stress.
11. To learn to measure code coverage using JaCoCo and assess the effectiveness of test suites in covering code paths.
12. To utilize Postman to automate the testing of APIs, ensuring their functionality, reliability, and compatibility.