Software Testing, Verification and Reliability

We present an automated test sequence generation approach using mutation testing techniques for FBD programs and the developed tool, MuFBDTester. MuFBDTester can provide highly effective test suites for FBD engineers.

Different component and interface coupling measures as defined in literature are applied to the system design of a modern vehicle. The combination of these measures and the distribution of failures found during system integration testing allows us to find a positive correlation between coupling and failure proneness of components and interfaces and argue about the usefulness of such a correlation for test selection.

This paper proposes RVPRIO, an automated approach for reducing developer's manual inspection effort by prioritizing violations in order of likelihood of these violations being true bugs. RVPRIO achieves 90% of the effectiveness of a theoretically optimal prioritizer that ranks all true bugs at the top. By focusing on the top 25% of the RVPRIO prioritized list, the developer would have captured 88.1% of the true bugs, saving 75% of the inspection time at the expense of missing 11.9% of true bugs.