Počet záznamů: 1  

Specification and Generation of Environment for Model Checking of Software Components

  1. 1.
    SYSNO ASEP0090204
    Druh ASEPJ - Článek v odborném periodiku
    Zařazení RIVJ - Článek v odborném periodiku
    Poddruh JČlánek ve SCOPUS
    NázevSpecification and Generation of Environment for Model Checking of Software Components
    Překlad názvuSpecifikace a generování prostředí pro model checking softwarových komponent
    Tvůrce(i) Pařízek, P. (CZ)
    Plášil, František (UIVT-O) RID
    Zdroj.dok.Electronic Notes in Theoretical Computer Science. - : Elsevier - ISSN 1571-0661
    Roč. 176, - (2007), s. 143-154
    Poč.str.12 s.
    Jazyk dok.eng - angličtina
    Země vyd.NL - Nizozemsko
    Klíč. slovasoftware components ; behavior protocols ; model checking ; automated generation of environment
    Vědní obor RIVJC - Počítačový hardware a software
    CEP1ET400300504 GA AV ČR - Akademie věd
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    EID SCOPUS34248636772
    DOI10.1016/j.entcs.2006.02.036
    AnotaceModel 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 component which 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.
    PracovištěÚstav informatiky
    KontaktTereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
    Rok sběru2008
Počet záznamů: 1