vvss-team22

7. Version control system used for managing source code repositories
8. Ensuring the software is built correctly according to specifications
10. Specific activities used to fulfill quality requirements
13. Project management and comprehension tool used in development
14. Type of execution used to verify software models
15. Metric used to measure how much of the source code is executed by tests
16. Web-based tool used for test management and reporting
17. Testing level focused on the interaction between different software modules
18. Logic system used for verifying the correctness of computer programs
19. Formal method used for proving the correctness of algorithms

1. Static verification method involving formal document review
2. Framework used for the automated testing of web applications
3. Automation tool used for continuous integration and managing test execution
4. Document detailing a software defect found during testing
5. Ensuring the software meets the actual needs of the user
6. Tool used for static analysis to identify code quality issues
9. Testing approach focusing on inputs and outputs without viewing internal code
11. Testing approach based on the internal logic and structure of the code
12. BDD library used for writing high-quality automated tests
13. Popular mocking framework used for unit testing