A funcionalidade de pesquisa está em construção.
A funcionalidade de pesquisa está em construção.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

A Minimized Assumption Generation Method for Component-Based Software Verification Um método minimizado de geração de suposições para verificação de software baseada em componentes

Ngoc Hung PHAM, Viet Ha NGUYEN, Toshiaki AOKI, Takuya KATAYAMA

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

Um método de verificação de suposição de garantia foi reconhecido como uma abordagem promissora para verificar software baseado em componentes por meio de verificação de modelo. Este método não é apenas adequado para software baseado em componentes, mas também tem potencial para resolver o problema da explosão do espaço de estados na verificação de modelos. O método nos permite decompor um alvo de verificação em componentes para que possamos modelar a verificação de cada um deles separadamente. Neste método, as suposições são vistas como os ambientes necessários para que os componentes satisfaçam uma propriedade e para que o resto do sistema seja satisfeito. O número de estados das suposições deve ser minimizado porque o custo computacional da verificação do modelo é influenciado por esse número. Assim, propomos um método para gerar suposições mínimas para a verificação de suposição-garantia de software baseado em componentes. A ideia chave deste método é encontrar as suposições mínimas nos espaços de busca das suposições candidatas. As suposições mínimas geradas pelo método proposto podem ser usadas para verificar novamente todo o sistema com um custo computacional muito menor. Implementamos uma ferramenta para gerar as suposições mínimas. Resultados experimentais também são apresentados e discutidos.

Publicação
IEICE TRANSACTIONS on Information Vol.E93-D No.8 pp.2172-2181
Data de publicação
2010/08/01
Publicitada
ISSN online
1745-1361
DOI
10.1587/transinf.E93.D.2172
Tipo de Manuscrito
PAPER
Categoria
Sistema de Software

autores

Palavra-chave