Software Quality Assurance

ROS-Industrial currently incorporates software engineering best practices such as continuous integration, unit testing and code reviews. ROSIN will review such existing processes to further consolidate and extend them with new methods and process-supporting tools.

The following points are part of this quality assurance process:

Better structuring of the development process

Technical framework.
Tooling supporting QA processes.
Quality assessment strategy.

Testing methodologies

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.

Model-driven development

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.