A Model-Based Approach to Testing Software Control Systems Described by Linear Differential Equations

Pawel Skruch, Marek Dlugosz, Wojciech Mitkowski, Marcin Szelest

Abstract: The increasing complexity and wide applicability of software control systems requires the use of advanced and automated development and testing methodologies to meet time-to-market constraints, quality assurance and safety standards. In this context, the applicability of model-based development (MBD) and model-based testing (MBT) methodologies to such systems has gained attention in the last decade. The paper presents an integrated model-based approach to testing software control systems whose models are described by linear differential equations. The approach presented concerns conformance testing and includes the notation of tests, the implementation of a test comparator, the calculation of test coverage, the generation of test cases, and the execution of the tests. Finally, an example of a two-dimensional system is used for an experimental evaluation of the theoretical analysis and to present a perspective on the applicability of the approach for industrial projects.