Wykrywanie, ocena skuteczności i optymalizacja asercji w programach

• Autorzy: Nazimek P.

Warianty tytułu

EN

Assertions detection, efficiency definition and optimization

• Języki publikacji: PL

Abstrakty

PL

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.

EN

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.

Słowa kluczowe

PL

asercja w programach; wykrywanie asercji w programie

• Wydawca: Wydział Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej
• Czasopismo: Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne
• Rocznik: 2008
• Tom: T. 16
• Strony: 281--286
• Opis fizyczny: Bibliogr. 5 poz., tab.

Twórcy

autor

Nazimek P.

• Politechnika Warszawska, Instytut Informatyki

Bibliografia

• [1] Michael D. Ernst: Dynamically Discovering Likely Program Invariants. Ph.D., University of Washington Department of Computer Science and Engineering, Seattle, Washington, 2000.
• [2] Wolfram Schulte Feng Chen, Nikolai Tillmann: Discovering Specifications. Technical Report MSR-TR-2005-146, Microsoft Research, Redmond, WA, USA, 2005.
• [3] Sudheendra Hangal, Monica S. Lam: Tracking Down Software Bugs Using Automatic Anomaly Detection. Proceedings of the 24th International Conference on Software Engineering, Orlando, Florida, 2002, s.291-301.
• [4] Janusz Sosnowski: Testowanie i niezawodność systemów komputerowych. EXIT, 2005.
• [5] Piotr Gawkowski, Janusz Sosnowski: Experiences with Software Implemented Fault Injection. W Proceedings of the 20th International Conference on Architecture of Computing Systems, Zurich, Switzerland, 2007, s. 73-80.