@TechReport{MoraesVija:2017:InCaMa,
               author = "Moraes, Eduardo Ribeiro and Vijaykumar, Nandamudi Lankalapalli",
                title = "Investiga{\c{c}}{\~a}o de cadeias de markov para testes de 
                         software",
          institution = "Instituto Nacional de Pesquisas Espaciais",
                 year = "2017",
                 type = "RPQ",
              address = "S{\~a}o Jos{\'e} dos Campos",
                 note = "{Bolsa PIBIC/INPE/CNPq}",
             keywords = "Cadeias de Markov, software.",
             abstract = "Este trabalho tem como objetivo a continuidade aos projetos de 
                         Inicia{\c{c}}{\~a}o Cient{\'{\i}}fica para melhorias em Testes 
                         de Software os quais cada vez mais s{\~a}o relevantes por 
                         garantir a qualidade no sistema desenvolvido. A 
                         inicia{\c{c}}{\~a}o cient{\'{\i}}fica descrita neste resumo 
                         aborda o uso de Cadeias de Markov, que s{\~a}o muito utilizadas 
                         para avaliar desempenho de sistemas, para priorizar 
                         sequ{\^e}ncias de teste. Os testes de software podem ser de caixa 
                         branca (dependem do c{\'o}digo implementado) ou de caixa preta 
                         (n{\~a}o necessitam do c{\'o}digo implementado). O foco 
                         ser{\'a} testes caixa preta. Neste caso, os testes s{\~a}o 
                         gerados a partir de modelagem da especifica{\c{c}}{\~a}o de 
                         software sem ter a necessidade de se ter o c{\'o}digo. O que 
                         ocorre {\'e} que os testes s{\~a}o gerados bem antes da 
                         implementa{\c{c}}{\~a}o de software e quando o software estiver 
                         pronto, os testes gerados a partir da especifica{\c{c}}{\~a}o 
                         s{\~a}o exercitados na implementa{\c{c}}{\~a}o para conferir se 
                         a implementa{\c{c}}{\~a}o est{\'a} de conformidade com a 
                         especifica{\c{c}}{\~a}o. Por este motivo, testes caixa preta 
                         tamb{\'e}m s{\~a}o conhecidos como testes de conformidade. No 
                         entanto, dependendo de como os testes s{\~a}o gerados, 
                         poder{\~a}o haver centenas de milhares de casos de testes se a 
                         especifica{\c{c}}{\~a}o for algo complexo. Ent{\~a}o h{\'a} 
                         uma necessidade de priorizar estes casos sem perder a sua 
                         qualidade, ou seja, de alguma forma, deve haver uma garantia que o 
                         software est{\'a} validado. Para priorizar os casos de teste a 
                         ideia deste trabalho {\'e} explorar Cadeias de Markov. A 
                         especifica{\c{c}}{\~a}o {\'e} modelada como uma Cadeia de 
                         Markov e a partir da qual se obt{\^e}m probabilidades limite que 
                         se referem {\`a} quantidade de tempo que o estado ficou ativo. 
                         Ent{\~a}o, as probabilidades limite poder{\~a}o dar uma 
                         vis{\~a}o ao testador sobre quais fun{\c{c}}{\~o}es (estados) 
                         dever{\~a}o ser testados com certa prioridade. Os resultados 
                         ser{\~a}o testados para especifica{\c{c}}{\~o}es geradas 
                         aleatoriamente e depois ser{\~a}o testados em 
                         aplica{\c{c}}{\~o}es reais, em particular, 
                         aplica{\c{c}}{\~o}es espaciais de software embarcado em 
                         sat{\'e}lites e/ou em outras miss{\~o}es.",
          affiliation = "{Universidade Federal de Itajub{\'a} (UNIFEI)} and {Instituto 
                         Nacional de Pesquisas Espaciais (INPE)}",
             language = "pt",
                pages = "19",
                  ibi = "8JMKD3MGP3W34R/42KFNDB",
                  url = "http://urlib.net/ibi/8JMKD3MGP3W34R/42KFNDB",
           targetfile = "moraes_investigacao.pdf",
        urlaccessdate = "26 abr. 2024"
}