Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: wykrywanie asercji w programie

Sortuj według:

Ogranicz wyniki do:

Wykrywanie, ocena skuteczności i optymalizacja asercji w programach

Nazimek P.

Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne

2008

T. 16

281-286

Asercje są jedną z podstawowych metod badania odporności programu na błędy oraz zabezpieczania go przed potencjalnymi ich skutkami. W artykule przedstawiono sposoby automatycznego wykrywania asercji w programie oraz zaproponowano metody analizy skuteczności asercji oraz ich optymalizacji ze względu na wybrane funkcje celu takie jak koszt, ilość asercji, pokrycie błędów. Zaproponowano miary określające skuteczność oraz nieskuteczność asercji dla danego zestawu testów. Sformułowano model optymalizacyjny w formie zadania programowania całkowitoliczbowego. Przedstawiono wybrane wyniki badań eksperymentalnych z użyciem zaproponowanego modelu.

Basic method of error tolerance inspection or fault detection is assertions usage. This article presents methods of automatic assertion detection, proposes model of assertion efficiency definition and optimization using selected criteria like cost, assertion quantity or error coverage. Measures of assertions efficiency and inefficiency for given tests set have been introduced. Optimization model bas been proposed in form of integer programming problem. For several applications experiments results have been presented.