logistyka.net.pl - wortal logistyczny | logistyka | e-logistyka | TSL

PARTNER PORTALU:

A+ A A-

Aktywne testowanie systemów sterowania ruchem kolejowym

Oceń ten artykuł
(0 głosów)
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

Newsletter

Z ostatniej chwili

  • 1
  • 2
  • 3

Świąteczny szczyt paczkowy

Świąteczny szczyt paczkowy

Na rynku kurierskim rozpoczął się świąteczny szczyt paczkowy. Rośnie liczba zamówień w sklepach internetowych i...

Nowe centrum logistyczne DSV w Pradze

Nowe centrum logistyczne DSV w Pradze

Pod koniec października br. DSV oficjalnie zainaugurowało nowy obiekt w Pradze o powierzchni 23 tys....

Firmy UPS i Sealed Air nawiązały współpracę w celu udostepnienia…

Firmy UPS i Sealed Air nawiązały współpracę w celu udostepnienia wydajnych rozwiązań do pakowania

Firmy UPS i Sealed Air Corporation poinformowały o nawiązaniu strategicznej współpracy, dzięki której sprzedawcy detaliczni,...

Ostatnio na forum

Ogłoszenia

Brak aktywnych ogłoszeń.

 Instytut Logistyki i Magazynowania

Logowanie

LOGOWANIE

Rejestracja

Rejestracja użytkownika
lub Anuluj