Teste de conformidade em contexto guiado por casos de teste do componente

Comformance testing in context guided by component's test cases

dc.creatorSoares Junior, Jurandy Martins
dc.date2006
dc.date2006-04-12T00:00:00Z
dc.date2017-03-29T20:04:56Z
dc.date2017-06-09T15:07:53Z
dc.date2017-03-29T20:04:56Z
dc.date2017-06-09T15:07:53Z
dc.date.accessioned2018-03-29T02:20:11Z
dc.date.available2018-03-29T02:20:11Z
dc.identifier(Broch.)
dc.identifierSOARES JUNIOR, Jurandy Martins. Teste de conformidade em contexto guiado por casos de teste do componente. 2006. 99f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: <http://libdigi.unicamp.br/document/?code=vtls000432814>. Acesso em: 29 mar. 2017.
dc.identifierhttp://repositorio.unicamp.br/jspui/handle/REPOSIP/276102
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/1314366
dc.descriptionOrientador: Ricardo de Oliveira Anido
dc.descriptionDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação
dc.descriptionResumo: Testar um subsistema embarcado em um sistema complexo, assumindo-se que os demais subsistemas são livres de falhas, é conhecido como teste de conformidade em contexto. A complexidade deste teste reside no fato do subsistema mais externo, conhecido como contexto, ocultar muitas interações e eventos nos quais o sistema embarcado, conhecido como componente, participa. Nas últimas décadas alguns algoritmos foram desenvolvidos para resolver o problema. Muitos deles, no entanto, ignoram as condições nas quais podem ser aplicados. Nesta dissertação estudamos a teoria e os algoritmos relacionados a teste de conformidade e a teste de conformidade em contexto, propomos uma nova abordagem guiada por casos de teste do componente e analisamos as condições necessárias e suficientes para aplicá-Ia. A validação das condições necessárias e suficientes foi feita em estudos de casos com a pilha de protocolos do TCP/IP, com os protocolos HTTP e HTTPS via Proxy e com DHCP via relay-agent. Os algoritmos estudados foram experimentados nas especificações dos protocolos ABP, SCU e TCP
dc.descriptionAbstract: Testing a subsystem embedded into a complex system, in which the other subsystems are assumed to be fault-free, is known as confonnance testing in contexto The complexity behind this test resides in the fact that the most external system, known as context, hides many interactions and events in which the embedded subsystem, known as component, participates. In the last decades some algorithms were developed to solve the problem. Many of them, however, ignore the conditions under which they can be applied. In this dissertation we study the theory and the algorithms related to confonnance testing and conformance testing in context, we propose a new approach guided by component's test cases, and we analyze the necessary and sufficient conditions to apply it. The validation of the necessary and sufficient conditions was done in case studies with the TCP/IP protocol stack, with the protocols HTTP and HTTPS . via Proxy, and with DHCP via relay-agent. The algorithms studied were experimented in the specifications of protocols ABP, seu e TCP
dc.descriptionMestrado
dc.descriptionEngenharia de Protocolos
dc.descriptionMestre em Ciência da Computação
dc.format99f. : il.
dc.formatapplication/octet-stream
dc.languagePortuguês
dc.publisher[s.n.]
dc.subjectRedes de computadores - Protocolos
dc.subjectMétodos formais (Computação)
dc.subjectEngenharia de software
dc.subjectComputer network - protocols
dc.subjectFormal methods (Computer science)
dc.subjectSoftware engineering
dc.titleTeste de conformidade em contexto guiado por casos de teste do componente
dc.titleComformance testing in context guided by component's test cases
dc.typeTesis


Este ítem pertenece a la siguiente institución