Abstract:

An account is given of the activities undertaken at the Laboratory of Testing and Verification (LTiV), Warsaw Univ. of Technology, within the framework of COST 247 action WG3. To address a number of fundamental and practical questions, a modular approach to testing is submitted. Conceptual modularity is dealt with by defining a new, efficient taxonomy of testing-related concepts and techniques. The technical aspect of modularity is addressed by decomposing MOT functions into a number of generic modules and composing these (separately implemented) modules to obtain a range of both traditional and novel test instruments. As an example of the application of proposed methodology, the PMM family of test modules is briefly described. The KODEKO signalling monitor is presented in detail.