Automatizovaný návrh testů pro víceúrovňové sítě

Abstract

Využívání komplexních počítačových sítí klade vysoké nároky na procedury, nástroje a přístupy pro jejich důkladné testování. Navzdory velkému úsilí mnoha výzkumných pracovníků však proces navrhování a vytváření testů stále zůstává spíše nestrukturovaný a spočívající na osobních zkušenostech nebo intuici jednotlivých inženýrů. S ohledem na vyřešení tohoto problému je hlavním výzkumným cílem této práce automatizované navrhování abstraktních specifikací testů (testovacích případů) pro počítačové sítě s použitím detailní projektové dokumentace (požadavky koncového uživatele a technické specifikace) jako zdroje dat. Na základě myšlenek: (1) testování modelů; a (2) systémové metodologie zahrnuje tato práce následující hlavní cíle:

Deployment of complex computer networks sets high requirements for procedures, tools and approaches for comprehensive testing of these networks. However, in spite of the great efforts of many researchers, the process of test design/generation still tends to be unstructured and bound to the personal experience and/or intuition of individual engineers. To address this problem, the main research objective of this thesis is the automated design of abstract test specifications (test cases) for computer networks using the detailed design documentation (end-user requirements and technical specifications) as the data source. Based on the notions of: (1) model-based testing; and (2) system methodology, this thesis covers the following main goals: