Software test methods being used at Opel: Seamless testing from C-Code to high level feature requirements

摘要

At Opel, software which is integrated into Electronic Control Units (ECUs), is developed using a top-down approach. The development starts with high level feature requirements, continues with low level software requirements, and ends with the software itself. In most, but not in all cases, the software is modelled in Simulink [A] and the C-Code is derived using an auto-coder. The verification of the software is performed using a bottom-up approach. In software engineering this approach of modelling top-down and verifying bottom-up is known as V-Model. This paper discusses, which test methods are utilized at Opel to verify the developed software throughout all the levels of software development, from C-Code to high level feature requirements. To ensure this, using a single test method is not sufficient. We need multiple test methods with different scopes and the set of test methods discussed in this paper is sufficient for seamless testing.