Test generation is easy: we can generate piles of tests randomly, by model checker mutation analysis of formal specifications, through path coverage, etc. But just increasing the quantity of tests may not be a cost-effective way of increasing the quality of the test. The number of tests, and hence the cost of maintaining and running large test sets, can increase exponentially with the increase in real coverage. We present a number of automated methods to pick out a smaller set of tests that still have good coverage. The first method is finding a subset of tests with equal coverage for a test criterion. To do this, we must measure the coverage for a test set, given a test criterion. Some possible test criteria are path coverage, n-switch, specification mutation, and branch coverage. We use a greedy algorithm to choose tests satisfying requirements of the criterion. Second, tests that are prefixes of other, longer tests or duplicates may be dropped. Finally, the cross section of a requirement is the reciprocal number of tests that satisfy it. We can choose tests with the highest resolution, that is, tests satisfying requirements with the smallest cross section, since these are likely to be the most sensitive tests.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Winnowing tests: Getting quality coverage from a model checker without quantity


    Beteiligte:
    Black, P.E. (Autor:in) / Ranville, S. (Autor:in)


    Erscheinungsdatum :

    01.01.2001


    Format / Umfang :

    312936 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Winnowing Tests: Getting Quality Coverage From a Model Checker Without Quantity

    Black, P. E. | British Library Conference Proceedings | 2001



    Modeling and Marshaling: Making Tests from Model Checker Counterexamples

    Black, P. E. / IEEE / AIAA | British Library Conference Proceedings | 2000


    CHECKER

    YOSHINO MITSUNORI / KITANO TETSUJI | Europäisches Patentamt | 2019

    Freier Zugriff

    TRAJECTORY CHECKER

    THOMAS STEPHEN L / ALAHMAD BADER | Europäisches Patentamt | 2022

    Freier Zugriff