Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/261541
Type: DISSERTAÇÃO
Degree Level: Mestrado
Title: Composição de componentes de software : especificação formal de requisitos e automatização do processo de validação
Author: Camargo, Fani Barbosa
Advisor: Jino, Mario, 1943-
Abstract: Resumo: A atual tecnologia de produçao de software encontra-se em estágio artesanal e caracterizada por baixa qualidade e produtividade. Formas promissoras de ir de encontro a uma produçao industrial de sistemas de software encontram-se em paradigmas de reuso e formalismo. o objetivo deste trabalho é propor uma alternativa para assegurar a qualidade de sistemas de software, em seus diversos niveis de abstraçao, através de um processo de validaçao com uso de formalismo. Para tal, procurou-se aliar os conceitos de composiçao de Componentes de Software Reusáveis da Linguagem-Pi à técnica de especificaçao formal de Traços, tornando possivel a automatizaçao do processo de validaçao. Uma ferramenta de software foi produzida dentro deste contexto - o Gerador Automático de Teste, GAT, que efetua a validaçao do código de um componente de software contra seus requisitos, expressos por uma especificaçao formal

Abstract: The current software production technology is found to be in a craftsman stage, with low quality and productivity standards. Promising avenues towards an industrial production of software systems lie in paradigms of reuse and formalism. The objective of this work is to propose an alternative for the assurance of high quality levels of software systems, within its different levels of abstraction, through a validation process, with the use of formal techniques. In this context, the concepts of Reusable Software Components from the Pi-Language model are alied to the formal Trace specification technique, making possible an automatic validation processo A software tool is here produced - the Automatic Test Generator, ATG, which performs the validation of a software component's code against its requirements, expressed by a formal specification
Subject: Software - Desenvolvimento
Engenharia elétrica
Language: Português
Editor: [s.n.]
Date Issue: 1991
Appears in Collections:FEEC - Tese e Dissertação

Files in This Item:
File SizeFormat 
Camargo_FaniBarbosa_M.pdf6.75 MBAdobe PDFView/Open


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