| 1. Identity statement | ||||
| Reference Type | Conference Paper (Conference Proceedings) | |||
| Site | mtc-m21b.sid.inpe.br | |||
| Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identifier | 8JMKD3MGP3W34P/3PDRTTS | |||
| Repository | sid.inpe.br/mtc-m21b/2017/08.09.17.37 | |||
| Last Update | 2020:06.09.18.58.30 (UTC) simone | |||
| Metadata Repository | sid.inpe.br/mtc-m21b/2017/08.09.17.37.20 | |||
| Metadata Last Update | 2022:07.08.21.15.29 (UTC) administrator | |||
| Secondary Key | INPE--PRE/ | |||
| Citation Key | MoraesVija:2017:InCaMa | |||
| Title | Investigação de cadeias de markov para testes de software  | |||
| Year | 2017 | |||
| Access Date | 2024, July 27 | |||
| Secondary Type | PRE CN | |||
| Number of Files | 1 | |||
| Size | 196 KiB | |||
| 2. Context | ||||
| Author | 1 Moraes, Eduardo Ribeiro 2 Vijaykumar, Nandamudi Lankalapalli | |||
| Resume Identifier | 1 2 8JMKD3MGP5W/3C9JHTU | |||
| Group | 1 2 LABAC-COCTE-INPE-MCTIC-GOV-BR | |||
| Affiliation | 1 Universidade Federal de Itajubá (UNIFEI) 2 Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Author e-Mail Address | 1 eduardo.rmoraes@outlook.com 2 vijay.nl@inpe.br | |||
| Conference Name | Seminário de Iniciação Científica e Iniciação em Desenvolvimento Tecnológico e Inovação (SICINPE) | |||
| Conference Location | São José dos Campos, SP | |||
| Date | 25-26 jul. | |||
| History (UTC) | 2017-08-09 17:37:49 :: simone -> administrator :: 2017 2017-08-13 08:25:31 :: administrator -> simone :: 2017 2017-08-24 17:17:52 :: simone -> administrator :: 2017 2018-06-04 02:27:39 :: administrator -> simone :: 2017 2020-06-09 18:58:30 :: simone -> administrator :: 2017 2022-07-08 21:15:29 :: administrator -> simone :: 2017 | |||
| 3. Content and structure | ||||
| Is the master or a copy? | is the master | |||
| Content Stage | completed | |||
| Transferable | 1 | |||
| Content Type | External Contribution | |||
| Abstract | Este trabalho, iniciado em agosto de 2016, tem como objetivo a continuidade aos projetos de Iniciação Cientifica para melhorias em Testes de Software. A iniciação científica descrita neste resumo aborda o uso de Cadeias de Markov, que são muito utilizadas para avaliar desempenho de sistemas, para priorizar sequências de teste. Os testes de software podem ser de caixa branca (dependem do código implementado) ou de caixa preta (não necessitam do código implementado). O foco será testes caixa preta. Neste caso, os testes são gerados a partir de modelagem da especificação de software sem ter a necessidade de se ter o código. O que ocorre é que os testes são gerados bem antes da implementação de software e quando o software estiver pronto, os testes gerados a partir da especificação são exercitados na implementação para conferir se a implementação está de conformidade com a especificação. Por este motivo, testes caixa preta também são conhecidos como testes de conformidade. No entanto, dependendo de como os testes são gerados, poderão haver centenas de milhares de casos de testes se a especificação for algo complexo. Então há uma necessidade de priorizar estes casos sem perder a sua qualidade, ou seja, de alguma forma, deve haver uma garantia que o software está validado. Para priorizar os casos de teste a ideia deste trabalho é explorar Cadeias de Markov. A especificação é modelada como uma Cadeia de Markov e a partir da qual se obtêm probabilidades limite que se referem à quantidade de tempo que o estado ficou ativo. Então, as probabilidades limite poderão dar uma visão ao testador sobre quais funções (estados) deverão ser testados com certa prioridade. Os resultados serão testados para especificações geradas aleatoriamente e depois serão testados em aplicações reais, em particular, aplicações espaciais de software embarcado em satélites e/ou em outras missões. | |||
| Area | COMP | |||
| Arrangement 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Investigação de cadeias... | |||
| Arrangement 2 | urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2017 > Investigação de cadeias... | |||
| doc Directory Content | access | |||
| source Directory Content | there are no files | |||
| agreement Directory Content |
| |||
| 4. Conditions of access and use | ||||
| data URL | http://urlib.net/ibi/8JMKD3MGP3W34P/3PDRTTS | |||
| zipped data URL | http://urlib.net/zip/8JMKD3MGP3W34P/3PDRTTS | |||
| Language | pt | |||
| Target File | Moraes_investigacao.pdf | |||
| User Group | simone | |||
| Reader Group | administrator simone | |||
| Visibility | shown | |||
| Update Permission | not transferred | |||
| 5. Allied materials | ||||
| Next Higher Units | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPDW34P/478H8LM | |||
| Citing Item List | sid.inpe.br/mtc-m16c/2022/07.08.19.44.43 4 sid.inpe.br/mtc-m21/2012/07.13.14.56.50 4 sid.inpe.br/bibdigital/2013/09.22.23.14 4 | |||
| Host Collection | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 | |||
| 6. Notes | ||||
| Notes | Bolsa PIBIC/INPE/CNPq | |||
| Empty Fields | archivingpolicy archivist booktitle callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label lineage mark mirrorrepository nextedition numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readpermission rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume | |||
| 7. Description control | ||||
| e-Mail (login) | simone | |||
| update | ||||