Aktywne testowanie systemów sterowania ruchem kolejowym

Streszczenie: W artykule poruszono problem aktywnego testowania komputerowych systemów sterowania ruchem kolejowym przy wykorzystaniu języka TTCN-3. Czynne wykrywanie błędów w czasie działania systemów może być jedną z metod prowadzących do zapewnienia przez systemy bezpieczeństwa funkcjonalnego. 1. WPROWADZENIE Współczesne systemy sterowania ruchem kolejowym (srk) powszechnie wykorzystują technologie sieciowe tworząc struktury rozproszone. Nowego znaczenia nabiera w takim przypadku zagadnienie testowania systemów.
Dla systemów srk istnieje szereg wymagań, które muszą zostać spełnione, aby zapewnić wymagany poziom nienaruszalności bezpieczeństwa [7, 8]. Testowanie systemów jest tu głównie rozumiane w kontekście:
• walidacji (ang. validation), czyli testowania zgodności systemu z oczekiwaniami użytkowników, • weryfikacji (ang. verification), czyli sprawdzenia zgodności systemu ze specyfikacją.
Można uznać, że takie działania prowadzą głownie do zapobiegania błędom, czyli eliminacji przyczyn ich powstawania jeszcze przed zastosowaniem systemu. Mówimy wówczas o tzw. testowaniu biernym, które nie zapewnia kontroli pracy systemu w czasie jego eksploatacji. W przypadku systemów złożonych, posiadających strukturę rozproszoną, dodatkowym przedsięwzięciem powinno być wdrożenie testowania aktywnego, prowadzącego do wykrywania błędów w czasie użytkowania systemu. (...)

Artykuł zawiera 10888 znaków.

Źródło: Czasopismo Logistyka

Czasopismo Logistyka - zaprenumeruj już dziś!
Ściągnij załącznik:
Więcej w tej kategorii: « Henry Lloyd - łańcuchy zaopatrzenia Zastosowanie programów komputerowych wspomagających projektowanie silników spalinowych w odniesieniu do minimalizacji skutków oddziaływania na środowisko »
Zaloguj się by skomentować