| 1. Identificação | |
| Tipo de Referência | Artigo em Evento (Conference Proceedings) |
| Site | mtc-m16.sid.inpe.br |
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identificador | 6qtX3pFwXQZsFDuKxG/zVgKe |
| Repositório | sid.inpe.br/marciana/2003/10.30.11.36 |
| Última Atualização | 2020:08.10.14.22.11 (UTC) simone |
| Repositório de Metadados | sid.inpe.br/marciana/2003/10.30.11.36.10 |
| Última Atualização dos Metadados | 2022:09.14.19.57.55 (UTC) administrator |
| Chave Secundária | INPE-10065-PRE/5610 |
| Rótulo | self-archiving-INPE-MCTIC-GOV-BR |
| Chave de Citação | MeloPere:2003:FeEsGr |
| Título | Ferramenta de especificação gráfica de máquinas de estados finitas para o 'ambiente de testes baseado em injeção de falhas por software - ATIFS'  |
| Ano | 2003 |
| Data de Acesso | 26 dez. 2024 |
| Tipo Secundário | PRE CN |
| Número de Arquivos | 1 |
| Tamanho | 534 KiB |
| 2. Contextualização | |
| Autor | 1 Melo, Peterson Costa Barbalho de 2 Pereira Júnior, Romualdo Alves |
| Grupo | 1 CRN-INPE-MCT-BR |
| Afiliação | 1 PIBIC/CNPq), Universidade Federal do Rio Grande do Norte. Curso de Ciência da Computação (Bolsista 2 Natal, Divisão Técnica do Centro Regional de |
| Editor | Souza, Luiz Carlos Gadelha de Becceneri, José Carlos Fonseca, Ijar Milagre da Milone, André de Castro Moreira, Maurício Alves |
| Nome do Evento | Seminário de Iniciação Científica do INPE (SICINPE). |
| Localização do Evento | São José dos Campos |
| Data | 28-29 jul. 2003 |
| Editora (Publisher) | INPE |
| Cidade da Editora | São José dos campos |
| Título do Livro | Anais |
| Organização | Instituto Nacional de Pesquisas Espaciais |
| Histórico (UTC) | 2015-04-28 16:10:25 :: administrator -> marciana :: 2003 2017-08-14 12:47:21 :: marciana -> administrator :: 2003 2018-06-05 01:20:36 :: administrator -> marciana :: 2003 2020-04-27 13:55:06 :: marciana -> simone :: 2003 2020-08-10 14:22:12 :: simone -> administrator :: 2003 2022-09-14 19:57:55 :: administrator -> simone :: 2003 |
| 3. Conteúdo e estrutura | |
| É a matriz ou uma cópia? | é a matriz |
| Estágio do Conteúdo | concluido |
| Transferível | 1 |
| Palavras-Chave | ATIFS especificação gráfica de máquinas máquinas de estado finitas |
| Resumo | Este trabalho, iniciado em agosto de 2002, tem como objetivo integrar uma nova ferramenta ao Ambiente de Testes baseado em Injeção de Falhas por Software - ATIFS, projeto do Grupo de Software, área de Verificação, Validação & Testes (VV&T) do INPE, em execução desde 1995 pela Divisão de Segmento Solo (DSS/INPE) e o Instituto de Computação da Universidade Estadual de Campinas (UNICAMP). Esta nova ferramenta, denominada Modelador de Máquinas de Estado (MME), consitui-se de uma interface com inúmeros recursos para a modelagem de máquinas de estados finitas (FSM) e máquinas de estados finitas extendidas (EFSM), incluindo ediçao gráfica e gerenciamento de propriedades, produzindo saídas no formato da Linguagem de Especificação de Protocolos (LEP) e/ou da Base de Fatos. Estas, por sua vez, são utilizadas diretamente por outra ferramenta ATIFS, denominada ConDado, que gera os casos de teste baseando-se nos aspectos da máquina de estados relativas ao Controle e aos Dados. A utilidade da MME dá-se pelo fato de eliminar fases importantes da transformação de uma máquina de estados elaborada de forma não automatizada para a LEP e/ou Base de Fatos, além de proporcionar um ambiente amigável e intuitivo para a produção de modelos formais concisos. O trabalho foi plenamente concluído no prazo previsto e a ferramenta já está à disposição do Grupo de Software do INPE, que a qualificou como de excelente qualidade e grande utilidade. A MME encontra-se na versão 1.0.0 e foi desenvolvida em Delphi 5.0. Trabalhos futuros podem incluir outros métodos formais, como as Redes de Petri e, ainda, desenvolver o mesmo produto em Java, de forma que sua execução possa ser realizada pela Internet. Como frutos deste trabalho, há esforços atuais no sentido de envolver pesquisadores da Universidade Federal do Rio Grande do Norte (UFRN) no Projeto ATIFS, sempre com a meta última de melhorar a qualidade do software feito em casa para sistemas espaciais. |
| Área | ETES |
| Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > CRCRN > Ferramenta de especificação... |
| 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 | |
| URL dos dados | http://urlib.net/ibi/6qtX3pFwXQZsFDuKxG/zVgKe |
| URL dos dados zipados | http://urlib.net/zip/6qtX3pFwXQZsFDuKxG/zVgKe |
| Idioma | pt |
| Arquivo Alvo | Melo_ferramenta.pdf |
| Grupo de Usuários | administrator simone |
| Grupo de Leitores | administrator simone |
| Visibilidade | shown |
| Detentor da Cópia | SID/SCD |
| Permissão de Atualização | não transferida |
| 5. Fontes relacionadas | |
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3EUAPES 8JMKD3MGPDW34P/478H99S |
| Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.03.20.46 8 sid.inpe.br/mtc-m16c/2022/07.08.19.52 5 |
| Acervo Hospedeiro | sid.inpe.br/banon/2003/08.15.17.40 |
| 6. Notas | |
| Notas | Bolsa PIBIC/INPE/CNPq |
| Campos Vazios | archivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition electronicmailaddress format isbn issn lineage mark mirrorrepository nextedition numberofvolumes orcid pages parameterlist parentrepositories previousedition previouslowerunit progress project readpermission resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume |
| 7. Controle da descrição | |
| e-Mail (login) | simone |
| atualizar | |