Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/276102
Full metadata record
DC FieldValueLanguage
dc.contributor.CRUESPUNIVERSIDADE ESTADUAL DE CAMPINASpt_BR
dc.identifier(Broch.)pt_BR
dc.descriptionOrientador: Ricardo de Oliveira Anidopt_BR
dc.descriptionDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computaçãopt_BR
dc.format.extent99f. : il.pt_BR
dc.format.mimetypeapplication/octet-streampt_BR
dc.languagePortuguêspt_BR
dc.typeDISSERTAÇÃOpt_BR
dc.titleTeste de conformidade em contexto guiado por casos de teste do componentept_BR
dc.title.alternativeComformance testing in context guided by component's test casespt_BR
dc.contributor.authorSoares Junior, Jurandy Martinspt_BR
dc.contributor.advisorAnido, Ricardo de Oliveira, 1956-pt_BR
dc.contributor.institutionUniversidade Estadual de Campinas. Instituto de Computaçãopt_BR
dc.contributor.nameofprogramPrograma de Pós-Graduação em Ciência da Computaçãopt_BR
dc.subjectRedes de computadores - Protocolospt_BR
dc.subjectMétodos formais (Computação)pt_BR
dc.subjectEngenharia de softwarept_BR
dc.subject.otherlanguageComputer network - protocolsen
dc.subject.otherlanguageFormal methods (Computer science)en
dc.subject.otherlanguageSoftware engineeringen
dc.description.abstractResumo: 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 TCPpt
dc.description.abstractAbstract: 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 TCPen
dc.publisher[s.n.]pt_BR
dc.date.issued2006pt_BR
dc.identifier.citationSOARES 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://www.repositorio.unicamp.br/handle/REPOSIP/276102>. Acesso em: 10 ago. 2018.pt_BR
dc.description.degreelevelMestradopt_BR
dc.description.degreedisciplineEngenharia de Protocolospt_BR
dc.description.degreenameMestre em Ciência da Computaçãopt_BR
dc.contributor.committeepersonalnameAmbrosio, Ana Mariapt_BR
dc.contributor.committeepersonalnameMartins, Elianept_BR
dc.date.defense2006-04-12T00:00:00Zpt_BR
dc.date.available2018-08-10T11:44:38Z-
dc.date.accessioned2018-08-10T11:44:38Z-
dc.description.provenanceMade available in DSpace on 2018-08-10T11:44:38Z (GMT). No. of bitstreams: 1 SoaresJunior_JurandyMartins_M.pdf: 1209765 bytes, checksum: d8d6bebdcb7b65ed4a9fdb7e84508766 (MD5) Previous issue date: 2006en
dc.identifier.urihttp://repositorio.unicamp.br/jspui/handle/REPOSIP/276102-
Appears in Collections:IC - Tese e Dissertação

Files in This Item:
File SizeFormat 
SoaresJunior_JurandyMartins_M.pdf1.18 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.