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

• Autorzy: De Nicola G. , Flammini F. , Mazzocca N. , Orazzo A.

Warianty tytułu

PL

Modelowanie funkcjonalnej weryfikacji i walidacji złożonego systemu sterowania transportem kolejowym

• Konferencja: European Safety and Reliability Conference, ESREL 2005 (16 ; 27-30.06.2005 ; Gdynia-Sopot-Gdańsk)
• Języki publikacji: EN

Abstrakty

EN

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.

PL

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.

Słowa kluczowe

PL

transport kolejowy; systemy sterowania ruchem kolejowym; badania eksperymentalne

• Wydawca: Warsaw University of Technology, Faculty of Transport
• Czasopismo: Archives of Transport
• Rocznik: 2005
• Tom: Vol. 17, iss.3-4
• Strony: 163--176
• Opis fizyczny: Bibliogr. 16 poz., rys., tab., wykr.

Twórcy

autor

De Nicola G.

• ANSALDO SIGNAL - Ansaldo Segnalamento Ferroviario S.p.A., RAMS Dept., Naples, Italy

autor

Flammini F.

• ANSALDO SIGNAL - Ansaldo Segnalamento Ferroviario S.p.A., RAMS Dept., Naples, Italy
• University federico II of Naples, Department of Computer Science and Systemics, Naples, Italy

autor

Mazzocca N.

• University federico II of Naples, Department of Computer Science and Systemics, Naples, Italy

autor

Orazzo A.

• ANSALDO SIGNAL - Ansaldo Segnalamento Ferroviario S.p.A., RAMS Dept., Naples, Italy

Bibliografia

• 1. Heath W.S.: Real-Time Software Techniques. Van Nostrand Reinhold, New York, 1991.
• 2. ELEC: EN 50126 Railways Applications - The specification and demonstration of Reliability, Maintainability and Safety (RAMS).
• 3. Myers J.: The Art of Software Testing. Wiley, New York, 1979.
• 4. Wegener J., Grimm K., Grochtmann M.: Systematic Testing of Real-Time Systems. Conference Papers of EuroSTAR ’96, Amsterdam, 1996.
• 5. Jeng B., Weyuker E. J.: Some Observations on Partition Testing. [In:] Proceedings of the ACM SIGSOFT’89 Third Symposium on Software Testing, Analysis and Verification, Key West, 1989.
• 6. Ostrand T., Balcer M.: The Category-Partition Method for Specifying and Generating Functional Tests. Communications of the ACM, 31 (6), 1988, p. 676-686.
• 7. Grochtmann M., Grimm K.: Classification-Trees for Partition Testing. Journal of Software Testing, Verification and Reliability, Vol. 3, No. 2, 1993, p. 63-82.
• 8. Grimm K.: Systematic Testing of Software-Based Systems. [In:] Proceedings of the 2nd Annual ENCRESS Conference, Paris, 1996.
• 9. Di Tommaso P., Esposito R., Marmo P., Orazzo A.: Hazard Analysis of Complex Distributed Railway Systems. [In:] Proceedings of 22nd International Symposium on Reliable Distributed Systems, Florence, 2003, p. 283-292.
• 10. UNISIG ERTMS/ETCS - Classl Issue 2.2.2 Subset 026-1.
• 11. Ministero dei Trasporti - Ferrovie dello Stato - Direzione Generale: Norme per l’Ubicazione e l’Aspetto dei Segnali.
• 12. Sommervill I.: Software Engineering, 6th Edition. Addison Wesley, 2000.
• 13. Telelogic Tau Logicscope v5.1: Basic Concept., 2001.
• 14. Graves T. L., Harrold M. J., Kim J. M., Porter A., Rothermel G.: An Empirical Study of Regression Test Selection Techniques. [In:] Proceedings of the 20th International Conference on Software Engineering, 1998, p. 188-197.
• 15. Dustin E., Rashka J., Paul J.: Automated Software Testing. Addison Wesley, 1999.
• 16. Pettichord B.: Success with Test Automation. [In:] Quality Week, San Francisco, 2001.