Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2016-02-25T12:36:50Z
No. of bitstreams: 1
2015_ThiagoPeixotodosReis.pdf: 1331921 bytes, checksum: 7ca51f13ba5be819c4c2334e62f445ec (MD5) / Approved for entry into archive by Marília Freitas(marilia@bce.unb.br) on 2016-05-26T18:01:13Z (GMT) No. of bitstreams: 1
2015_ThiagoPeixotodosReis.pdf: 1331921 bytes, checksum: 7ca51f13ba5be819c4c2334e62f445ec (MD5) / Made available in DSpace on 2016-05-26T18:01:13Z (GMT). No. of bitstreams: 1
2015_ThiagoPeixotodosReis.pdf: 1331921 bytes, checksum: 7ca51f13ba5be819c4c2334e62f445ec (MD5) / Confiabilidade é um pré-requisito, implícito e desejável na maioria dos sistemas. Para que um sistema seja confiável, tal exigência deve ser tida em conta em todas as fases de seu desenvolvimento. Cenários implícitos são uma anomalia gerada quando componentes de sistemas concorrentes se comunicam de uma forma inesperada, não descrita na especificação de comportamento do software. Teste em sistemas concorrentes é um exercício muito caro e difícil de revelar falhas especialmente quando o sistema já está implementado e em funcionamento. Teste baseado em modelo (TBM) é uma alternativa para automatizar a geração de casos de teste em sistemas concorrentes, a fim de reduzir o seu custo e à complexidade inerente à atividade de teste. Este trabalho aproveita a abordagem de teste dirigido a modelo para explorar detecção de cenários implícitos, de modo a melhorar a geração de casos de teste em sistemas concorrentes. ______________________________________________________________________________________________ ABSTRACT / Reliability is a prerequisite, implicit and desirable in most systems. For a system to be reliable, such requirement should be taken into account during all development stages of a system. Implied scenarios are an anomaly generated when concurrent system components communicate in an unexpected way, w.r.t. to the software behavior specification. Testing concurrent systems is a very expensive exercise and hard to reveal faults specially when the system is already deployed and running. Model-Based Testing is an alternative to automate test case generation in concurrent systems, in order to reduce their cost and the inherent complexity of the testing activity. This work leverages model-driven testing techniques to explore implied scenarios detection so as to improve the generation of test cases in concurrent systems.
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.unb.br:10482/20500 |
| Date | 07 August 2015 |
| Creators | Reis, Thiago Peixoto dos |
| Contributors | Rodrigues, Genaína Nunes |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Source | reponame:Repositório Institucional da UnB, instname:Universidade de Brasília, instacron:UNB |
| Rights | A concessão da licença deste item refere-se ao termo de autorização impresso assinado pelo autor com as seguintes condições: Na qualidade de titular dos direitos de autor da publicação, autorizo a Universidade de Brasília e o IBICT a disponibilizar por meio dos sites www.bce.unb.br, www.ibict.br, http://hercules.vtls.com/cgi-bin/ndltd/chameleon?lng=pt&skin=ndltd sem ressarcimento dos direitos autorais, de acordo com a Lei nº 9610/98, o texto integral da obra disponibilizada, conforme permissões assinaladas, para fins de leitura, impressão e/ou download, a título de divulgação da produção científica brasileira, a partir desta data., info:eu-repo/semantics/openAccess |
Page generated in 0.1325 seconds