Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 2005

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Model-based functional verification & validation of complex train control systems: an on-board system testing case-study

De Nicola G., Flammini F., Mazzocca N., Orazzo A.

Archives of Transport

2005

Vol. 17, iss.3-4

163-176

Systematic functional testing is a fundamental step of embedded control systems development cycle, as it allows to verify and to validate their final implementation. Various approaches to black-box testing have been proposed, however, they either involve test-case explosion or do not ensure the correctness of system behaviour in scenarios not covered by system specifications. To cope with such issues, a methodology which better suits both complexity and safety-criticality of the target system is needed. This paper describes the ASF functional testing methodology, based on a grey-box approach aimed at generating and reducing an extensive set of influence variabIes and test-cases, by means of a static model-based system analysis. The methodology, embracing different aspects of system test process (code coverage verification, regression testing, etc.), was successfully applied to validate ASF implementation of SCMT (an Italian project for an Automatic Train Protection System). The results obtained in our testing experience proved the time effectiveness and extensive coverage of the proposed approach.

Artykuł opisuje funkcjonalną metodologię testowania opartą na podejściu typu "szara skrzynka" do generowania i redukowania dużego zbioru zmiennych przyczynowych oraz przypadków testowania za pomocą statycznego modelu analizy systemu. Prezentowana metodologia, obejmująca różne aspekty procesu testowania systemu, zastosowana jest z sukcesem w automatycznej ochronie systemu transportu kolejowego. Efektywność proponowanego podejścia zilustrowana jest wynikami eksperymentalnymi.