%0 Thesis
%@holdercode {isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S}
%@nexthigherunit 8JMKD3MGPCW/3F2PHGS
%@usergroup administrator
%@usergroup jefferson
%@usergroup julioresende@gmail.com
%@usergroup simone
%@usergroup yolanda.souza@mcti.gov.br
%3 paginadeacesso.html
%J J-sdl: a framework for simulation of specifications in sdl and automatic generation of test cases
%@secondarytype TDI
%2 sid.inpe.br/mtc-m18@80/2008/12.02.12.01.51
%A Ribeiro, Júlio Resende,
%P 99
%@dissemination NTRSNASA; BNDEPOSITOLEGAL.
%@secondarydate 20090424
%@group CAP-SPG-INPE-MCT-BR
%K Specification and description language (SDL), simulação, especificação, verificação e validação, casos de teste, specification and description language (SDL), simulation, specification, verification and validation, test cases.
%@e-mailaddress julioresende@gmail.com
%@documentstage not transferred
%I Instituto Nacional de Pesquisas Espaciais (INPE)
%@copyholder SID/SCD
%@secondarykey INPE-15660-TDI/1436
%9 Dissertação (Mestrado em Computação Aplicada)
%@area COMP
%8 2008-11-20
%X O objetivo, dos testes de software, é detectar faltas latentes antes que produtos de software sejam colocados em funcionamento. Existem métodos para a geração automática de casos de testes, desde que o comportamento do software esteja representado como uma Máquina de Estados Finitos (MEF). São exemplos desses métodos: T, UIO, D e Switch Cover. Devido a algumas limitações das MEFs, investiga-se a geração automática de casos de teste a partir de técnicas formais de descrição que permitam a representação explícita de hierarquia e paralelismo, características muito necessárias para a representação dos softwares modernos. Isso já foi explorado por meio de uma metodologia baseada na representação do comportamento de software por meio de Statecharts. Essa metodologia consiste em converter a representação Statecharts em uma MEF a partir da qual possam ser aplicados os métodos de geração de testes. Essa dissertação de mestrado possui o objetivo de investigar uma outra técnica de modelagem: SDL. Será estudada a viabilidade de derivar casos de teste a partir de especificações em SDL, de forma direta, sem a necessidade de converter a especificação para MEFs. Para isso foi desenvolvido um framework denominado J-SDL que permite a simulação de comportamento, em termos de mudança de estados e  consequentemente a geração automática de casos de teste. ABSTRACT: 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.
%@project CAP-SPG-INPE-MCT-BR
%E Dutra, Luciano Vieira (presidente),
%E Vijaykumar, Nandamudi Lankalapalli (orientador),
%E Yano, Edgar Toshiro,
%E Alves, Miriam Celia Bergue,
%T J-sdl: um framework para a simulação de especificações em sdl e geração  automática de casos de teste
%4 sid.inpe.br/mtc-m18@80/2008/12.02.12.01
%D 2008
%C São José dos Campos