A method for analyzing software, including defining a plurality of coverage
models for testing a non-sequential program responsive to an interleaving
of the program, each of the coverage models having a respective coverage
level. The plurality of coverage models are then arranged in a hierarchy
of increasing coverage level and the program is tested using at least a
subset of the coverage models in a sequence according to the hierarchy so
as to achieve a predetermined overall level of coverage.
Een methode om software te analyseren, met inbegrip van het bepalen van een meerderheid van dekkingsmodellen voor het testen van een non-sequential programma ontvankelijk voor het doorschieten van het programma, elk van de dekkingsmodellen die een respectief dekkingsniveau hebben. De meerderheid van dekkingsmodellen wordt dan geschikt in een hiërarchie van stijgend dekkingsniveau en het programma wordt getest gebruikend minstens een ondergroep van de dekkingsmodellen in een opeenvolging volgens de hiërarchie om een vooraf bepaald algemeen niveau van dekking te bereiken.
