automated test case generation

---

شرح پروژه

his project focuses on automated test case generation based on techniques including: z-solver, combinatorial testing, 
category-partition testing, and metamorphic testing.● Z-Solver-Based Test Generation uses mathematical logic and formal 
verification to systematically define and verify test cases.● Combinatorial Testing selects test inputs by systematically covering 
all possible combinations of parameters.● Category-Partition Testing divides input parameters into categories, 
applies constraints, and combines them into structured test frames to ensure efficient test coverage.
● Metamorphic Testing is used when expected outputs are difficult to determine. It validates program correctness by checking how changes in 
input affect the output based on predefined metamorphic relations
What You Should Do:
1. Select two of the four above techniques to generate test cases for 
the given case studies.2. Ensure that the generated test cases cover a wide range of input 
conditions, including boundary cases and edge scenarios.3. Assess the time taken to execute the test cases.
4. Create mutants using a mutation generation tool and then execute the generated test cases on the mutants to discover which mutant is killed. 
Try to increase the mutation score.5. Use a structural coverage tool (e.g., JaCoCo) to calculate branch 
coverage and/or condition coverage for generated test cases. Try to increase the coverage score.
6. Compare the selected techniques in terms of code coverage, execution time, and fault detection.
7. Identify gaps in coverage and fault detection and discuss which technique provides better overall test coverage or fault detection for 
the given case studies.

مهارت ها و تخصص های مورد نیاز

---

---