Test input generation for red-black trees using abstraction
| Název česky | Generování testovacích vstupů s využitím abstrakce |
|---|---|
| Autoři | |
| Rok publikování | 2005 |
| Druh | Článek ve sborníku |
| Konference | Automated Software Engineering |
| Fakulta / Pracoviště MU | |
| Citace | |
| Obor | Informatika |
| Klíčová slova | test input generation; state space exploration; state matching |
| Popis | V této práci uvažujeme problém generování testovacích vstupů pro programy, které manipulují složité datové struktury. Testovací vstupy jsou posloupnosti volání metod z rozhraní dané struktury. Popisujeme techniky, které využívají sdružování stavů k zabránění generování redundantních testů. Exhaustivní techniky používají metodu explicitního ověřování modelů k tomu, aby prozkoumali všechny posloupnosti do zadané délky. Ztrátové techniky využívají sdružování stavů pro výpočet abstraktních verzí konkrétních stavů; prozkoumávají spodní aproximace všech možných testovacích sekvencí. Implementovali jsme tyto techniky v nástroji Java PathFinder a vyhodnocujeme je na implementaci červeno-černých stromů v Javě. |
| Související projekty: |