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

Z ostatniej chwili

  • 1
  • 2
  • 3

10 lat współpracy Dachser z charytatywną terre des hommes

10 lat współpracy Dachser z charytatywną terre des hommes

Dachser, globalny operator  logistyczny, już od 10 lat współpracuje z międzynarodową organizacją charytatywną terre des...

PKN ORLEN uruchamia wypożyczalnie rowerów w 6 miastach

PKN ORLEN uruchamia wypożyczalnie rowerów w 6 miastach

Już wiosną przyszłego roku na wybranych stacjach paliwowych ORLEN w Warszawie, Łodzi, Wrocławiu, Lublinie, Katowicach...

Rekordowe wakacje w PKP Intercity

Rekordowe wakacje w PKP Intercity

Od czerwca do końca sierpnia 2017 roku z usług PKP Intercity skorzystało o ponad 1,3...

Ostatnio na forum

Ogłoszenia

menadżer zespołu w dziale handlowym

szukam pracowników

2017-09-22


specjalista ds. zakupów i sprzedaży

szukam pracowników

2017-09-22

 Instytut Logistyki i Magazynowania

Logowanie

LOGOWANIE

Rejestracja

Rejestracja użytkownika
lub Anuluj