STER : uma estrategia de testes para sistemas reativos

AUTOR(ES)
DATA DE PUBLICAÇÃO

2005

RESUMO

Some of the reactive systems must have a high degree of confiability. If they fail, significant humans or financial lost can occurs. To mitigate the consequences of these fails, this kind of systems needs to be tested to find the most fails as possible. One way to achieve this, is using automatic testing techniques. Some automatic test case generation techiniques using formal methodos were delevolped by the academy. But they are not widely used by industry. There are several reasons for that. Between them are the dificulty to use formal methods and the huge number of test cases that can be generated using these techiniques. This woks presents the STER, an strategy to help reactive systems testing. Also it can be used systematically by the industry. It (i) uses UML artifacts that can be produced in analysis phase like use cases and sequence diagrams, (ii) is based on system formal specification using finite state machine and (iii) uses risk analysis to find out the most critical and vulnerable parts of the system. To find out these parts and to assure that they work as it was specified, a risk analysis technique for testing was defined. This technique considerates what is important to the system users and allows to concentrate an test effort to reduce the risk of a fail acurrence in these parts

ASSUNTO(S)

avaliação de riscos software engeenering risk evaluation software - testes software engenharia de software

ACESSO AO ARTIGO

Documentos Relacionados