J-sdl: um framework para a simulação de especificações em sdl e geração automática de casos de teste

AUTOR(ES)
DATA DE PUBLICAÇÃO

2008

RESUMO

- The objective of tests in software is to detect faults before it can be released. Methods exist to generate test cases as long as the software behavior is represented as a Finite State Machine (FSM), for example: T, UIO, D e Switch Cover. Due to some limitations in FSM, it is necessary to investigate specification techniques that enable explicit representation of parallel activities and hierarchy very much necessary to model modern software. This has already been explored by using Statecharts in which the Statecharts representation is converted into a FSM from which test cases are generated. The approach used in this dissertation is to investigate the feasibility of using SDL to generate automatically test cases in a straightforward manner, i.e., without the necessity to convert into a FSM. A framework J-SDL has been developed to simulate the behavior in terms of state changes and by simulating this behavior it will be shown that test cases can be generated.

ASSUNTO(S)

especificação test cases specification verification and validation verificação e validação specification and description language (sdl) simulação simulation specification and description language (sdl) casos de teste

ACESSO AO ARTIGO

Documentos Relacionados