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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Conformance testing of communication links in automotive systems


    Additional title:

    Konformitätsuntersuchung der Kommunikationszweige für fahrzeugtechnische Einsätze


    Contributors:
    Lawrenz, W. (author) / Fischer, F. (author) / Fischer, M. (author) / Hoffmeister, K. (author)


    Publication date :

    2001


    Size :

    16 Seiten, 10 Bilder, 15 Quellen


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Conformance testing of communication links in automotive systems

    Lawrenz, W. / Fischer, F. / Fischer, M. et al. | British Library Conference Proceedings | 2001





    Conformance Testing on Complex Systems Using Lotos

    Catalan, F. | British Library Online Contents | 1996