Close
Metadata

Reference TypeReport
Identifier8JMKD3MGP7W/373F9JP
Repositorysid.inpe.br/mtc-m19@80/2010/02.26.14.05   (restricted access)
Metadatasid.inpe.br/mtc-m19@80/2010/02.26.14.05.47
Sitemtc-m16d.sid.inpe.br
Report NumberINPE-16677-RPQ/850
Holder Codeisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Citation KeySantiagoJúniorCrisVija:2010:CoCoAp
Author1 Santiago Júnior, Valdivino Alexandre de
2 Cristiá, Maximiliano
3 Vijaykumar, Nandamudi Lankapalli
Resume Identifier1 8JMKD3MGP5W/3C9JJB5
Group1 DAS-CEA-INPE-MCT-BR
2 LAC-CTE-INPE-MCT-BR
Affiliation1 Instituto Nacional de Pesquisas Espaciais
2 Universidad Nacional de Rosário (UNR)
3 Instituto Nacional de Pesquisas Espaciais
Author e-Mail Address1 valdivino@das.inpe.br
TitleModel-based test case generation using statecharts and z: a comparison and a combined approach
Year2010
InstitutionInstituto Nacional de Pesquisas Espaciais
CitySão José dos Campos
Keywordsstatecharts, Z, model-based software testing, formal methods.
AbstractNo Instituto Nacional de Pesquisas Espaciais (INPE), pesquisadores e Engenheiros de Software têm usado testes baseados em Statecharts já há algum tempo para testar software embarcado em computadores de satélites. Por outro lado, um grupo de pesquisadores do Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas (CIFASIS) e Flowgate Consulting têm aplicado testes basedos em linguagem Z no escopo de testes de unidade. Ambos os grupos iniciaram uma comparação das respectivas abordagens e ferramentas e, o que se iniciou como uma comparação para compartilhar idéias e resultados, resultou em uma proposta de Testes Baseados em Modelos (TBM) mais ampla e efetiva, dado que se percebeu que ambas as técnicas se complementam e se beneficiam uma da outra. Este Relatório Técnico detalha as idéias da comparação entre Statecharts e Z, e também a proposta combinando estas duas técnicas mostradas anteriormente em um artigo aceito e apresentado no 11th IEEE Latin American Test Workshop (LATW'10) , o qual ocorreu em Punta del Este, Uruguai, em 2010. ABSTRACT: At Instituto Nacional de Pesquisas Espaciais (INPE - National Institute for Space Research), researchers and Software Engineers have been using Statechart-based testing for some time to test satellite computer embedded software. On the other hand, a group of researchers at Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas (CIFASIS - French Argentine International Center for Information Systems and Sciences) and Flowgate Consulting have been applying Z-based testing for unit testing. Both groups started to compare their approaches and tools and, what started as a comparison to share ideas and results, is now turning into the realization that actually both techniques complement and benefit from each other, yielding a more effective and wider Model-Based Testing (MBT) approach. This Technical Report details the ideas of the comparison between Statecharts and Z, and also the proposal combining these two techniques shown previously in a paper accepted and presented at the 11th IEEE Latin A merican Test Workshop (LATW'1O) that took place in Punta del Este, Uruguay, 2010.
Number of Pages70
Languageen
TypeRPQ
DisseminationNTRSNASA; BNDEPOSITOLEGAL.
AreaCOMP
Size2447 KiB
Number of Files1
Target Filepublicacao1.pdf
Last Update2010:05.31.12.12.02 sid.inpe.br/mtc-m19@80/2009/08.21.17.02 sergio
Metadata Last Update2019:11.29.18.42.13 sid.inpe.br/mtc-m19@80/2009/08.21.17.02 sergio {D 2010}
Document Stagecompleted
Is the master or a copy?is the master
Mirrorsid.inpe.br/mtc-m19@80/2009/08.21.17.02.53
e-Mail Addressvaldivino@das.inpe.br
e-Mail (login)sergio
User Groupadministrator
ricardo
valdivino
viveca@sid.inpe.br
yolanda.souza@mcti.gov.br
Reader Groupadministrator
sergio
Copy HolderSID/SCD
Visibilityshown
Transferable1
Host Collectionsid.inpe.br/mtc-m19@80/2009/08.21.17.02
Document Stagenot transferred
Read Permissiondeny from all
Next Higher Units8JMKD3MGPCW/3ESGTTP
8JMKD3MGPCW/3ETR8EH
source Directory Content
@4primeirasPaginas_Valdivino Alexandre de Santiago Júnior_16677.pdf 15/04/2010 15:13 158.1 KiB
publicacao - abstract e resumos corrigidos.pdf 15/04/2010 15:22 88.5 MiB
publicacao.pdf 19/04/2010 13:44 88.4 MiB
agreement Directory Contentthere are no files
History2010-03-04 12:54:09 :: valdivino -> yolanda ::
2010-03-08 18:29:20 :: yolanda -> viveca@sid.inpe.br ::
2010-03-08 19:11:39 :: viveca@sid.inpe.br -> yolanda ::
2010-03-08 19:16:37 :: yolanda -> valdivino ::
2010-03-08 19:19:38 :: valdivino -> yolanda ::
2010-04-08 17:00:00 :: yolanda -> valdivino ::
2010-04-08 17:13:47 :: valdivino -> yolanda ::
2010-04-19 15:18:19 :: yolanda -> ricardo ::
2010-04-19 16:48:02 :: ricardo -> viveca@sid.inpe.br ::
2010-04-27 19:28:52 :: viveca@sid.inpe.br -> administrator ::
2010-05-28 16:04:15 :: administrator -> ricardo ::
2010-05-31 12:12:02 :: ricardo -> viveca@sid.inpe.br :: 2010
2010-05-31 15:04:37 :: viveca@sid.inpe.br -> administrator :: 2010
2010-05-31 15:28:01 :: administrator -> viveca@sid.inpe.br :: 2010
2010-06-01 12:00:27 :: viveca@sid.inpe.br -> administrator :: 2010
2019-11-20 13:25:03 :: administrator -> sergio :: 2010
Empty Fieldsarchivingpolicy archivist callnumber contenttype copyright creatorhistory date descriptionlevel doi edition format isbn issn label lineage mark nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarykey secondarymark secondarytype session shorttitle sponsor subject tertiarymark tertiarytype translator url versiontype
Access Date2019, Dec. 14
update 

Close