Reference Type | Report |
Identifier | 8JMKD3MGP7W/373F9JP |
Repository | sid.inpe.br/mtc-m19@80/2010/02.26.14.05 (restricted access) |
Metadata | sid.inpe.br/mtc-m19@80/2010/02.26.14.05.47 |
Site | mtc-m16d.sid.inpe.br |
Report Number | INPE-16677-RPQ/850 |
Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Citation Key | SantiagoJúniorCrisVija:2010:CoCoAp |
Author | 1 Santiago Júnior, Valdivino Alexandre de 2 Cristiá, Maximiliano 3 Vijaykumar, Nandamudi Lankapalli |
Resume Identifier | 1 8JMKD3MGP5W/3C9JJB5 |
Group | 1 DAS-CEA-INPE-MCT-BR 2 LAC-CTE-INPE-MCT-BR |
Affiliation | 1 Instituto Nacional de Pesquisas Espaciais 2 Universidad Nacional de Rosário (UNR) 3 Instituto Nacional de Pesquisas Espaciais |
Author e-Mail Address | 1 valdivino@das.inpe.br |
Title | Model-based test case generation using statecharts and z: a comparison and a combined approach  |
Year | 2010 |
Institution | Instituto Nacional de Pesquisas Espaciais |
City | São José dos Campos |
Keywords | statecharts, Z, model-based software testing, formal methods. |
Abstract | No 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 Pages | 70 |
Language | en |
Type | RPQ |
Dissemination | NTRSNASA; BNDEPOSITOLEGAL. |
Area | COMP |
Size | 2447 KiB |
Number of Files | 1 |
Target File | publicacao1.pdf |
Last Update | 2010:05.31.12.12.02 sid.inpe.br/mtc-m19@80/2009/08.21.17.02 sergio |
Metadata Last Update | 2019:11.29.18.42.13 sid.inpe.br/mtc-m19@80/2009/08.21.17.02 sergio {D 2010} |
Document Stage | completed |
Is the master or a copy? | is the master |
Mirror | sid.inpe.br/mtc-m19@80/2009/08.21.17.02.53 |
e-Mail Address | valdivino@das.inpe.br |
e-Mail (login) | sergio |
User Group | administrator ricardo valdivino viveca@sid.inpe.br yolanda.souza@mcti.gov.br |
Reader Group | administrator sergio |
Copy Holder | SID/SCD |
Visibility | shown |
Transferable | 1 |
Host Collection | sid.inpe.br/mtc-m19@80/2009/08.21.17.02 |
Document Stage | not transferred |
Read Permission | deny from all |
Next Higher Units | 8JMKD3MGPCW/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 Content | there are no files |
History | 2010-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 Fields | archivingpolicy 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 Date | 2019, Dec. 14 |
update | |