Close

1. Identity statement
Reference TypeConference Paper (Conference Proceedings)
Sitemtc-m21b.sid.inpe.br
Holder Codeisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identifier8JMKD3MGP3W34P/3PDRTTS
Repositorysid.inpe.br/mtc-m21b/2017/08.09.17.37
Last Update2020:06.09.18.58.30 (UTC) simone
Metadata Repositorysid.inpe.br/mtc-m21b/2017/08.09.17.37.20
Metadata Last Update2022:07.08.21.15.29 (UTC) administrator
Secondary KeyINPE--PRE/
Citation KeyMoraesVija:2017:InCaMa
TitleInvestigação de cadeias de markov para testes de software
Year2017
Access Date2024, June 13
Secondary TypePRE CN
Number of Files1
Size196 KiB
2. Context
Author1 Moraes, Eduardo Ribeiro
2 Vijaykumar, Nandamudi Lankalapalli
Resume Identifier1
2 8JMKD3MGP5W/3C9JHTU
Group1
2 LABAC-COCTE-INPE-MCTIC-GOV-BR
Affiliation1 Universidade Federal de Itajubá (UNIFEI)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Author e-Mail Address1 eduardo.rmoraes@outlook.com
2 vijay.nl@inpe.br
Conference NameSeminário de Iniciação Científica e Iniciação em Desenvolvimento Tecnológico e Inovação (SICINPE)
Conference LocationSão José dos Campos, SP
Date25-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 Stagecompleted
Transferable1
Content TypeExternal Contribution
AbstractEste 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.
AreaCOMP
Arrangement 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Investigação de cadeias...
Arrangement 2urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2017 > Investigação de cadeias...
doc Directory Contentaccess
source Directory Contentthere are no files
agreement Directory Content
agreement.html 09/08/2017 14:37 1.0 KiB 
4. Conditions of access and use
data URLhttp://urlib.net/ibi/8JMKD3MGP3W34P/3PDRTTS
zipped data URLhttp://urlib.net/zip/8JMKD3MGP3W34P/3PDRTTS
Languagept
Target FileMoraes_investigacao.pdf
User Groupsimone
Reader Groupadministrator
simone
Visibilityshown
Update Permissionnot transferred
5. Allied materials
Next Higher Units8JMKD3MGPCW/3ESGTTP
8JMKD3MGPDW34P/478H8LM
Citing Item Listsid.inpe.br/mtc-m21/2012/07.13.14.56.50 4
sid.inpe.br/mtc-m16c/2022/07.08.19.44.43 2
Host Collectionsid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notes
NotesBolsa PIBIC/INPE/CNPq
Empty Fieldsarchivingpolicy 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 


Close