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.