Relatórios Publicados

 

Relatórios Publicados em 2015

 

Characterizing Faults on Real-Time Systems based on Grid Automata

Gilson Doi Junior
Adilson Luiz Bonifácio

Real-time systems are, in general, critical systems that interact with the environment
through input and output events regulated by time constraints. The testing activity on
systems of this nature requires rigorous approaches due to their critical aspects.
Model-based testing approaches rely on formalisms that provides more reliability to
testing activities. However, a model-based testing approach for real-time systems depends
on techniques that can deal with continuous evolution of time appropriately. Several
testing approaches apply discretization techniques in order to represent continuous
behavior of timed models. So test suites can then be extracted from discretized models
to support conformance testing between specifications and their respective implementations.
Therefore an evaluation of these test suites considering a fault coverage is an important task.
But this issue is rarely addressed when regarding model-based testing approaches for real-time
systems. In this work we propose a systematic strategy to identify faults in TIOA models
based on their corresponding grid automatons. We precisely define a fault model to support
model-based testing activities such as coverage analysis and test case generation.

A conflict detection approach for multi-party contracts

Wellington Aparecido Della Mura
Adilson Luiz Bonifácio

Resumo:

The notion of contracts has been used since the beginning of humankind. Technological advances
and the globalization have increased the use of contracts in electronic transactions. Therefore,
the verification of contracts has become extremely important to guarantee properties and agreements.
This work proposes an approach to represent appropriately multi-party contracts in order to identify
involved parties and also to automatically verify properties.

Relatórios Publicados em 2012

 

Um Modelo de Falhas para Autômatos Discretizados

Gilson Doi Junior
Adilson Luiz Bonifácio

Resumo:

Sistemas de tempo real são, em geral, sistemas críticos que interagem com o ambiente externo
através de eventos de E/S onde as restrições de tempo são consideradas importantes. Teste
baseado em modelos é uma abordagem rigorosa amplamente usada para dar mais precisão no
teste de sistemas de tempo real. Técnicas formais que podem lidar com a evolução contínua do
tempo é um desafio. Por isso, várias abordagens contam com métodos de discretização para obter
modelos discretizados, chamados autômatos grid, correspondentes aos modelos temporizados
originais. Conjuntos de teste podem ser extraídos a partir de autômatos grid para verificar se
implementações dadas se aderem à especificação. Contudo, uma questão muito importante no
teste de sistemas de tempo real é a cobertura de falhas. Neste trabalho abordamos um modelo
de cobertura de falhas para autômatos grid seguindo os modelos de falha para MEF e modelos
temporizados.