Diplomová práce

Verifikační nástroj pro komponentové systémy

Verification Tool for Component Systems

Bc. Milan Křivánek, učo 172831
Anotace

Komponentově orientovaná architektura je jednou z cest, jak zvládat narůstající složitost softwarových systémů. Správná souhra komponent má významný vliv na korektnost komponentových systémů. Komponentově-interakční automaty (CI automaty) představují modelovací jazyk pro popis komponentových systémů. Tento jazyk je vhodný pro ověřování modelů, což je jedna z metod formální verifikace. Vážným problémem …více

Abstract

Component-based software design is one of the methods used to fight increasing complexity of software systems. Proper interaction of the components plays an important role in correctness of component-based systems. Component-Interaction automata is a modelling language for component-based systems supporting model checking, a method of formal verification. A serious problem model checking faces is known …více

Klíčová slova
component-based systems model checking DiVinE partial order reduction Component-Interaction automata state space generation komponentově orientované systémy ověřování modelů redukce částečným uspořádáním komponentově-interakční automaty generování stavového prostoru
Administrativní informace
Práce zkontrolována:
11. 1. 2011 08:39, prof. RNDr. Ivana Černá, CSc., učo 1419
Plný text práce
422,3 KB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
10. 2. 2011
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Ivana Černá, CSc., učo 1419
KTP FI MU

Oponent

doc. Mgr. Radek Pelánek, Ph.D., učo 4297
KSUZD FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.