Integrated Automated Test Case Generation and Static Analysis – Extended

In the general literature discussing software quality assurance, there is a common understanding that the software verification process should be supported by both tests and static analyses [Lig02], the latter ranging from informal inspections to rigorous application of formal methods [CCF06]. This understanding is also reflected by the applicable standards for – potentially safety-related – software development in avionics and railway control [SC-92, ECfES01]. Moreover, it is advisable that the persons performing tests simultaneously perform the associated analyses, since the more intimate knowledge of the unit under test (UUT), which is usually gained from the inspections, helps to specify more relevant test data and more comprehensive test oracles. As a consequence, integrated tool support for software testing and static analysis is desirable from the perspective of verification experts responsible for performing these tasks within a software development project.