A first approach to tighter and more precise specifications is the description of protocol features in a 'formal language'. If a specification is given in a completely formal form formal checks on completeness, in-ambiguity, etc. would be applicable, for further information about such formal methods refer to the given papers. The application of formal methods for deriving test cases on a formal specification does not redundantize the application of empiric methods as they have been discussed in the present paper. Empiric and formal testing approaches are not antagonist. They are further more complementary. Therefore a reliable methodology for design and test should integrate both of them. On one hand, because of the know-how of test experts cannot be qualitatively compared with the capabilities of formal methods which are 'artificially' and systematically applied to a generally incomplete specification. So an interesting approach would be to improve the formal methods with data provided by experts. On the other hand, the empirically defined test sequences, in which the community is confident in, can be analyzed in a process of applying formal methods. It is obvious that a confident test could not be performed without a complete and nonambiguous specification even if it is done at a high level of abstraction. This specification is useful to obtain relevant and confident test cases. Furthermore, if the specification is detailed enough it is possible to perform a simulation process in order to evaluate the coverage of executive path of the specification. A high path coverage allows the confidence into test process to be increased. Based on that some next steps concentrate on the integration process based on existing tools. Such a integration process will put together the test philosophies as well as the currently not harmonized and not cooperating tools on network simulation/emulation and process simulation.
Conformance testing of communication links in automotive systems
Konformitätsuntersuchung der Kommunikationszweige für fahrzeugtechnische Einsätze
2001
16 Seiten, 10 Bilder, 15 Quellen
Conference paper
English
Conformance testing of communication links in automotive systems
British Library Conference Proceedings | 2001
|Communication protocol conformance testing - example LIN -
Tema Archive | 2008
|Conformance Testing on Complex Systems Using Lotos
British Library Online Contents | 1996
|