Specifikace a generování prostředí pro model checking softwarových komponent

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F07%3A00005151" target="_blank" >RIV/00216208:11320/07:00005151 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/67985807:_____/07:00090204

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Specification and Generation of Environment for Model Checking of Software Components

Popis výsledku v původním jazyce

Model checking of isolated software components is inherently not possible because a component does not form a complete program with an explicit starting point. To overcome this obstacle, it is typically necessary to create an environment of the componentwhich is the intended subject to model checking. We present our approach to automated environment generation that is based on behavior protocols; to our knowledge, this is the only environment generator designed for model checking of software components. We compare it with the approach taken in the Bandera Environment Generator tool, designed for model checking of sets of Java classes.

Název v anglickém jazyce

Specification and Generation of Environment for Model Checking of Software Components

Popis výsledku anglicky

Model checking of isolated software components is inherently not possible because a component does not form a complete program with an explicit starting point. To overcome this obstacle, it is typically necessary to create an environment of the componentwhich is the intended subject to model checking. We present our approach to automated environment generation that is based on behavior protocols; to our knowledge, this is the only environment generator designed for model checking of software components. We compare it with the approach taken in the Bandera Environment Generator tool, designed for model checking of sets of Java classes.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/1ET400300504" target="_blank" >1ET400300504: Realistická aplikace formálních metod v komponentových systémech</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2007

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Electronic Notes in Theoretical Computer Science

ISSN

1571-0661

e-ISSN

—

Svazek periodika

176

Číslo periodika v rámci svazku

Neuveden

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

12

Strana od-do

143-154

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—