Research description: In our current project we are working together with a company developing safety-critical software to in the long term help them improve their software quality by among other things develop and improve the company's V&V Toolbox. So far a state-of-practice analysis has been conducted to find which processes the company uses as well as what metrics they have available. The project is divided into a number of further steps, including improvement of the company's requirement engineering practices, introduction and usage of metrics as well as introduction of new verification activities. Potential concepts that we have looked at so far are; System-testing using automated GUI-tests as well as behavioural driven development, which mixes the concepts of test driven development with acceptance tests to create unit tests in natural language. Furthermore, using the process components used by the company there also exists a possibility to develop a new agile process specifically for safety-critical system development.
The research is practitioner oriented, but because the company's problems are so common, problem solutions will also have general applicability.