| 1. Identity statement | ||||
| Reference Type | Conference Paper (Conference Proceedings) | |||
| Site | mtc-m16c.sid.inpe.br | |||
| Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identifier | 8JMKD3MGP8W/3AM27S5 | |||
| Repository | sid.inpe.br/mtc-m18/2011/10.25.13.17 (restricted access) | |||
| Last Update | 2011:10.25.13.17.51 (UTC) administrator | |||
| Metadata Repository | sid.inpe.br/mtc-m18/2011/10.25.13.17.51 | |||
| Metadata Last Update | 2021:06.12.15.29.06 (UTC) administrator | |||
| Citation Key | MarinkeVijaSenn:2011:GeCaTe | |||
| Title | Gerando casos de teste a partir de modelos Statecharts extraídos de código fonte Multithreads  | |||
| Format | On-line. | |||
| Year | 2011 | |||
| Access Date | 2024, May 04 | |||
| Secondary Type | PRE CN | |||
| Number of Files | 1 | |||
| Size | 595 KiB | |||
| 2. Context | ||||
| Author | 1 Marinke, Rogério 2 Vijaykumar, Nandamudi Lankalapalli 3 Senne, Edson Luiz França | |||
| Group | 1 2 LAC-CTE-INPE-MCT-BR | |||
| Affiliation | 1 2 Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Editor | Castro, Ana Paula Abrantes de Drummond, Isabela Neves Sandri, Sandra Aparecida | |||
| e-Mail Address | worcap2011.comissaoprograma@gmail.com | |||
| Conference Name | Workshop dos Cursos de Computação Aplicada do INPE, 11 (WORCAP). | |||
| Conference Location | São José dos Campos | |||
| Date | 8-10 nov. 2011 | |||
| Publisher | Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Publisher City | São José dos Campos | |||
| Book Title | Anais | |||
| Organization | Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| History (UTC) | 2011-12-02 11:56:33 :: worcap2011.comissaoprograma@gmail.com -> secretaria.cpa@dir.inpe.br :: 2011 2011-12-06 16:23:20 :: secretaria.cpa@dir.inpe.br -> administrator :: 2011 2012-07-14 19:36:30 :: administrator -> secretaria.cpa@dir.inpe.br :: 2011 2012-08-10 02:36:15 :: secretaria.cpa@dir.inpe.br -> amarisio5@gmail.com :: 2011 2012-08-11 00:23:53 :: amarisio5@gmail.com -> administrator :: 2011 2021-06-12 15:29:06 :: administrator -> amarisio5@gmail.com :: 2011 | |||
| 3. Content and structure | ||||
| Is the master or a copy? | is the master | |||
| Content Stage | completed | |||
| Transferable | 1 | |||
| Keywords | Statecharts teste estrutural multithreads | |||
| Abstract | A modelagem do código fonte de software multithreads em Statecharts é proposta neste trabalho. Uma possível abordagem para a execução de Teste Baseado em Modelo (TBM) é realizar a modelagem em Máquina de Estados Finita (MEF). No entanto, alguns softwares, como protocolos de comunicação utilizados em aplicações espaciais possuem características de concorrência e paralelismo, as quais não são facilmente modeladas utilizando MEF. Após realizar a modelagem, uma ferramenta desenvolvida no INPE, chamada WEBPerformCharts converterá a especificação obtida para uma MEF plana. Isto torna possível a implementação de critérios para derivar casos de testes para testes tipo caixa branca para sistemas concorrentes. | |||
| Area | COMP | |||
| Arrangement 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Gerando casos de... | |||
| Arrangement 2 | urlib.net > BDMCI > Fonds > WORCAP > Gerando casos de... | |||
| doc Directory Content | access | |||
| source Directory Content | there are no files | |||
| agreement Directory Content |
| |||
| 4. Conditions of access and use | ||||
| Language | pt | |||
| Target File | worcap2011_submission_45.pdf | |||
| User Group | administrator amarisio5@gmail.com secretaria.cpa@dir.inpe.br worcap2011.comissaoprograma@gmail.com | |||
| Visibility | shown | |||
| Read Permission | deny from all and allow from 150.163 | |||
| 5. Allied materials | ||||
| Mirror Repository | iconet.com.br/banon/2005/09.28.12.40 | |||
| Next Higher Units | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGP8W/38ELNHL | |||
| Host Collection | sid.inpe.br/mtc-m18@80/2008/03.17.15.17 | |||
| 6. Notes | ||||
| Empty Fields | archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination documentstage doi edition electronicmailaddress isbn issn label lineage mark nextedition notes numberofvolumes orcid pages parameterlist parentrepositories previousedition previouslowerunit progress project readergroup resumeid rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume | |||
| 7. Description control | ||||
| e-Mail (login) | amarisio5@gmail.com | |||
| update | ||||