Celem tej pracy jest opracowanie metody automatycznej generacji scenariuszy testowych weryfikujących poprawność wymagań funkcjonalnych i czasowych w heterogenicznych systemach zamkniętych. Idea opracowanej ... więcej

Celem tej pracy jest opracowanie metody automatycznej generacji scenariuszy testowych weryfikujących poprawność wymagań funkcjonalnych i czasowych w heterogenicznych systemach zamkniętych. Idea opracowanej metody polega na konstrukcji tzw. drzewa scenariuszy, do którego sukcesywnie są dodawane ścieżki krytyczne wyznaczone dla poszczególnych ograniczeń czasowych oraz ścieżki reprezentujące wymagania funkcjonalne. W efekcie zastosowania takiego rozwiązania otrzymuje się stosunkowo nieduży zbiór scenariuszy testowych, który jednak zapewnia weryfikację wszystkich wymagań funkcjonalnych i czasowych oraz wysoce wiarygodne wyniki. Dużą zaletą opracowanej metody jest także jednolity sposób postępowania w odniesieniu do obydwu typów wymagań.

The aim of this work is to develop a method of automatic generation of tests scenarios for verification of real-time embedded systems against functional and temporal requirements. The method consists in ... więcej

The aim of this work is to develop a method of automatic generation of tests scenarios for verification of real-time embedded systems against functional and temporal requirements. The method consists in a successive construction of so called Scenarios Tree. Critical paths derived for temporal constraints and edges representing functional requirements are added to it. The set of test scenarios derived by means of the method is quite small, but it allows for validation of all functional and temporal requirements and provides dependable validation results. An advantage of this method is also a uniform treatment of both types of requirements.