1. Identificação | |
Tipo de Referência | Tese ou Dissertação (Thesis) |
Site | mtc-m16c.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 6qtX3pFwXQZGivnJSY/KaKea |
Repositório | sid.inpe.br/MTC-m13@80/2006/02.14.19.24 (acesso restrito) |
Última Atualização | 2007:08.14.19.12.14 (UTC) simone |
Repositório de Metadados | sid.inpe.br/MTC-m13@80/2006/02.14.19.24.03 |
Última Atualização dos Metadados | 2024:01.15.12.31.47 (UTC) simone |
Chave Secundária | INPE-14215-TDI/1116 |
Chave de Citação | Amaral:2005:GeCaTe |
Título | Geração de casos de teste para sistemas especificados em statecharts |
Título Alternativo | Generation of test cases for systems specifield in statecharts |
Curso | CAP-SPG-INPE-MCT-BR |
Ano | 2005 |
Data Secundária | 20070122 |
Data | 2005-11-18 |
Data de Acesso | 26 abr. 2024 |
Tipo da Tese | Dissertação (Mestrado em Computação Aplicada) |
Tipo Secundário | TDI |
Número de Páginas | 162 |
Número de Arquivos | 496 |
Tamanho | 20591 KiB |
|
2. Contextualização | |
Autor | Amaral, Ana Silvia Martins Serra do |
Grupo | CAP-SPG-INPE-MCT-BR |
Banca | Carvalho, Solon Venâncio de (presidente) Martins, Eliane (orientadora) Vijaykumar, Nandamudi Lankalapalli (orientador) Sant'Anna, Nilson Yano, Edgar Toshiro Anido, Ricardo de Oliveira |
Endereço de e-Mail | tereza@sid.inpe.br |
Universidade | Instituto Nacional de Pesquisas Espaciais (INPE) |
Cidade | São José dos Campos |
Histórico (UTC) | 2006-02-14 19:24:03 :: jefferson -> administrator :: 2006-09-27 21:17:41 :: administrator -> jefferson :: 2008-05-02 16:43:28 :: jefferson -> administrator :: 2008-09-05 22:00:53 :: administrator -> jefferson :: 2009-04-30 16:17:14 :: jefferson -> administrator :: 2009-07-07 16:11:50 :: administrator -> jefferson :: 2009-07-08 15:16:33 :: jefferson -> camila :: 2010-03-08 17:06:57 :: camila -> ricardo :: 2012-07-16 15:02:04 :: ricardo -> jefferson :: 2012-07-16 15:02:22 :: jefferson -> ivone@sid.inpe.br :: 2005 2012-07-16 15:02:36 :: ivone@sid.inpe.br -> administrator :: 2005 2012-10-22 22:27:40 :: administrator -> ivone@sid.inpe.br :: 2005 2013-01-14 19:45:45 :: ivone@sid.inpe.br -> administrator :: 2005 2018-06-04 04:12:30 :: administrator -> tereza@sid.inpe.br :: 2005 2019-03-01 14:20:24 :: tereza@sid.inpe.br -> simone :: 2005 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Palavras-Chave | computação aplicada Statecharts geração de casos de testes automação máquina de estado finita condado computer science generation of test cases automation tuning machines condado |
Resumo | Devido à necessidade cada vez maior de automação presente em sistemas modernos, em diversas áreas inclusive críticas, atividades de teste se tornam cada vez mais imprescindíveis. A automação da geração de casos de testes é de alguma forma facilitada se o sistema em questão for representado por uma técnica formal que possa ser tratada computacionalmente. A técnica de especificação mais popular é a Máquina de Estados Finita (MEF) que contém um conjunto de estados e transições entre os estados, e existem vários métodos que geram casos de testes a partir da especificação em MEF, como por exemplo: transition tour, unique-input-output sequence (uio), distinguishing sequence (DS) e characterizing sequence. O escopo deste trabalho consiste em utilizar a ferramenta Condado para a geração dos casos de teste. No entanto, se o sistema reativo é complexo com vários componentes paralelos a serem considerados, a sua representação em MEF se torna inviável em termos de clareza já que não há como especificar esta representação numa forma organizada e estruturada. A idéia é então usar uma técnica de especificação de mais alto nível como Statecharts e, utilizando a ferramenta PerformCharts, convertê-la para uma MEF para que a Condado possa ser aplicada. Entretanto, é preciso ter em mente que a geração de casos de teste pode levar a um número muito grande de casos dependendo do tamanho da MEF e conseqüentemente inviabilizando o processo. O trabalho apresenta uma metodologia para geração automática de casos de teste fazendo uso das ferramentas PerformCharts e Condado. Além de mostrar como esta associação entre as duas ferramentas é conduzida, serão também discutidas algumas técnicas para minimizar a MEF gerada a partir dos Statecharts. ABSTRACT: Due to the increasing need of automation in modern systems of several areas, including the critical ones, testing activities have become essential. Automation of test case generation is made somewhat easy if a reactive system under test is represented through a formal technique that can be dealt with computationally. The most popular specification technique is the Finite State Machine (FSM) that consists of a state sets and transitions between them, and there are several methods for the generation of test cases from the FSM specification, such as: transition tour, unique-input-output sequence (uio), distinguishing sequence (DS) e characterizing sequence. The scope of this work consists of using the Condado for the generations of the test cases. However, if the system is complex with several parallel components to be considered, its FSM representation becomes cumbersome in terms of clarity because there is no way to specify such representation in an organized and structured manner. The idea then is to use a higher-level specification technique such as Statecharts and, through the use of the PerformCharts tool, convert it to a FSM in order to be processed by another tool, the Condado. Nevertheless it is necessary to have in mind that the test case generation can lead to an excessively large number of cases depending on the FSM size and thus making the process impossible. This work presents a methodology for the automatic generation of test cases through the use of PerformCharts and Condado tools. Besides, it discusses how these two tools are combined. Some techniques will also be discussed in order to minimize the FSM generated from the Statecharts. |
Área | COMP |
Arranjo | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Geração de casos... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | não têm arquivos |
|
4. Condições de acesso e uso | |
Idioma | pt |
Arquivo Alvo | publicacao.pdf |
Grupo de Usuários | administrator ivone@sid.inpe.br jefferson simone |
Grupo de Leitores | administrator simone |
Visibilidade | shown |
Detentor dos Direitos | originalauthor yes locatedauthor no |
Detentor da Cópia | SID/SCD |
Permissão de Leitura | deny from all and allow from 150.163 |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F2PHGS |
Divulgação | NTRSNASA; BNDEPOSITOLEGAL. |
Acervo Hospedeiro | sid.inpe.br/mtc-m18@80/2008/03.17.15.17 |
|
6. Notas | |
Campos Vazios | academicdepartment affiliation archivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel doi electronicmailaddress format isbn issn label lineage mark mirrorrepository nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress resumeid schedulinginformation secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype |
|
7. Controle da descrição | |
e-Mail (login) | simone |
atualizar | |
|