This paper presents a framework for specification and testing of component-based embedded systems using formal description techniques (FDTs). We deal with embedded systems from the point of view of communication and thus we propose a communication model for them. We further explain the meaning of component-based embedded systems and how these can be specified using FDTs. FDTs such as Estelle and SDL are based on EFSMs (Extended finite State Machines) and have been widely used in the automation of the development process of protocols and communicating systems, i.e. for specification, analysis and validation purposes. The main goal of this work is to demonstrate the reusability of FDTs for component-based systems.

No abstract

Test case derivation and test verdicts specification in respect to given test purposes are an important issue in conformance testing. Since test purposes are commonly expressed in an informal wayan automation of this process is not possible. In this paper, we show how this process can be automated for restricted classes of test purposes using a knowledge-based approach. Our approach is founded on a partial formalization of the test purposes that permits an automated derivation of test cases and the deduction of test verdicts. The adaptation of test cases to a given test method is also addressed. An example that illustrates the approach is given.

This paper presents a framework for specification and testing of component-based embedded systems using formal description techniques (FDTs). We deal with embedded systems from the point of view of communication and thus we propose a communication model for them. We further explain the meaning of component-based embedded systems and how these can be specified using FDTs. FDTs such as Estelle and SDL are based on EFSMs (Extended finite State Machines) and have been widely used in the automation of the development process of protocols and communicating systems, i.e. for specification, analysis and validation purposes. The main goal of this work is to demonstrate the reusability of FDTs for component-based systems.