Software Quality Assurance
The following points are part of this quality assurance process:
Better structuring of the development process
Tooling supporting QA processes.
Quality assessment strategy.
Use start-of-the-art and novel test-based validation.
Automate unit tests generation.
Exploit model-in-the-loop testing.
Code scanning techniques
Adopting existing state-of-the-art code scanning analysis.
Develop ROS-specific code scanning techniques.
Evaluating symbolic execution and fuzzing on specific components.
Exploit opportunities to perform code generation for “boiler-plate” code.
Use of models to specify environments for testing and variability management.
Look through the results here.