Why choose this project topic?
The practical value of this topic lies in making randomly generated software failures easy to reproduce and minimise. It gives a student a demonstrable computing problem, with reproduction rate, counterexample size and shrinking time providing concrete evidence for a critical project discussion.
Can seeded generation and shrinking reduce complex failing inputs to understandable examples?
Agree the available tools, workload size and evaluation criteria with your supervisor; adapt making randomly generated software failures easy to reproduce and minimise to a clearly bounded institutional or laboratory setting.
Proposed project objectives
- 01Specify the requirements and assumptions for making randomly generated software failures easy to reproduce and minimise.
- 02Define generators for bounded data structures, introduce known faulty functions and compare failure reproduction and minimised counterexamples across seeds.
- 03Evaluate reproduction rate, counterexample size and shrinking time against a documented baseline and discuss failure cases.
A suggested research approach
Define generators for bounded data structures, introduce known faulty functions and compare failure reproduction and minimised counterexamples across seeds. Record the chosen implementation, dataset construction and repeatable test conditions before comparing reproduction rate, counterexample size and shrinking time. Keep development and evaluation cases separate where possible, and retain failed cases in the analysis rather than reporting only successful demonstrations.
What you will need
- Known faulty teaching functions
- Seeded random generator
- Property definitions
Keep your project scope clear
The chosen properties determine what failures can be detected; passing checks does not prove total correctness. A project write-up does not supply a working application.
Computer Science project chapter outline
Use this outline as a starting point. You can edit the chapter titles to match your department’s format during setup.
- Chapter 1Introduction
- Chapter 2Literature Review
- Chapter 3System Analysis and Design
- Chapter 4System Implementation and Testing
- Chapter 5Summary, Conclusion and Recommendations
Turn this topic into your own final year project.
Your title, department, research question and outline are ready. Add your institution, personalise the details and continue to your project workspace.
Generate the Complete Project Generation uses your word balance. Review the draft and supply your own verified research findings.