Testing
To ensure reliability and stability of Safety Analysis a variety of tests are performed. We are using JUnit, Pi-test and other Java extensons connected with tests.
During execution of all tests bugs and issues are found. Analysis of tests results are available here.