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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Conformance testing of communication links in automotive systems


    Weitere Titelangaben:

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


    Beteiligte:
    Lawrenz, W. (Autor:in) / Fischer, F. (Autor:in) / Fischer, M. (Autor:in) / Hoffmeister, K. (Autor:in)


    Erscheinungsdatum :

    2001


    Format / Umfang :

    16 Seiten, 10 Bilder, 15 Quellen


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    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