Case study · Research Project
Automated Test Data Generation for the ARC System
ResearchSoftware Security
- Problem
- Testing complex satellite resource control systems requires automated generation of valid and boundary test data across multi-dimensional constraint spaces.
- Built
- Formulated model-based testing strategies combining random, search-based evolutionary algorithms, and mutation operators.
- Outcome
- Generated test vectors covering complex operational constraints, reducing manual test data preparation effort.
Overview
A model-based approach and tool for generating and validating complex CPS test data using random, search-based, constraint-based, and mutation strategies.
Want something like this built?
I take on serious projects through Megicode — from scope to shipped product. Or browse the rest of the proof first.