%0 Conference Proceedings
%4 sid.inpe.br/mtc-m21c/2020/11.04.22.13
%2 sid.inpe.br/mtc-m21c/2020/11.04.22.13.44
%F self-archiving-INPE-MCTIC-GOV-BR
%T Padronização XML de interface para WEB-PerformCharts, baseada em W3C, e incorporação de novos métodos de geração de testes para software crítico de aplicações espaciais
%D 2020
%A Garcia, Ana Paula de Oliveira,
%A Vijaykumar, Nandamudi Lankalapalli,
%A Berkenbrock, Gian Ricardo,
%@affiliation Universidade Estadual de São Paulo (UNESP)
%@affiliation Instituto Nacional de Pesquisas Espaciais (INPE)
%@affiliation Universidade Federal de Santa Catarina (UFSC)
%@electronicmailaddress anapgarcia25@gmail.com
%@electronicmailaddress vijay.nl@inpe.br
%E Ribeiro, Valéria Cristina dos Santos,
%E Dal Lago, Alisson,
%E Paulicena, Edésio Hernane,
%E Mattos, Everson,
%E Garbi, Giuliani Paulineli,
%E Hey, Heyder,
%E Almeida, José Sergio de,
%E Gonçalves, Luis Gustavo Gonçalves de,
%E Alves, Lincoln Muniz,
%E Saturno, Mario Eugênio,
%E Novaes Júnior, René Antonio,
%E Sutério, Ricardo,
%E Irita, Ricardo Toshiyuki,
%B Seminário de Iniciação Científica e Iniciação em Desenvolvimento Tecnológico e Inovação (SICINPE)
%C On line
%8 28 set. - 01 out.
%I Instituto Nacional de Pesquisas Espaciais (INPE)
%J São José dos Campos
%S Resumos
%X O trabalho, iniciado em agosto de 2019, tem como objetivo a implementação de uma interface textual baseada na linguagem de marcação SCXML (Statecharts XML) e incorporar outros métodos de geração de testes já desenvolvidos, como H-Switch Cover, Breadth First Search e Depth First Search na ferramenta WEB-PerformCharts, ferramenta para gerar testes automaticamente a partir de especificações representas por Máquina de Estados Finitos (MEF) e Statecharts. O projeto facilita o uso da ferramenta através de uma interface XML padrão W3C para usuários que já trabalham com UML e Statecharts. Até o presente momento, foram realizadas pesquisas bibliográficas das principais áreas relacionadas ao projeto de pesquisa, incluindo os conceitos básicos de Statecharts, sistemas reativos, PcML (PerformCharts Markup Language) e SCXML e um estudo aprofundado da ferramenta WEB-PerformCharts. A PcML foi a primeira linguagem, baseada em XML pelo próprio LAC para facilitar a interface entre a ferramenta e a especificação. A próxima etapa do trabalho será a validação do interpretador PcML, o desenvolvimento da ferramenta já com a realização de testes para assim disponibilizar a mesma no servidor providenciado pela equipe da UFSC Universidade Federal de Santa Catarina. Também será gerado um manual de usuário e também a documentação da ferramenta para que assim, atualizações e/ou incrementações com outras funcionalidades sejam simples.
%@language pt
%3 Resumo_PIBIC-Ana Paula de Oliveira Garcia.pdf
%O Bolsa PIBIC/INPE/CNPq