Composição de componentes de software : especificação formal de requisitos e automatização do processo de validação

• Main Author: Camargo, Fani Barbosa
• Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
• Format: Others
• Language: Portuguese
• Published: [s.n.] 1991
• Subjects: Software - Desenvolvimento; Engenharia elétrica
• Online Access: CAMARGO, Fani Barbosa. Composição de componentes de software: especificação formal de requisitos e automatização do processo de validação. 1991. [108]f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/261541>. Acesso em: 13 jul. 2018.; http://repositorio.unicamp.br/jspui/handle/REPOSIP/261541

Orientadores : Mario Jino, Fuad Gattaz Sobrinho === Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica === Made available in DSpace on 2018-07-14T02:48:40Z (GMT). No. of bitstreams: 1 Camargo_FaniBarbosa_M.pdf: 6914690 bytes, checksum: eac206e5526bf3b6a6ac5bd2489c6fa1 (MD5) Previous issue date: 1991 === 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 === Mestrado === Automação === Mestre em Engenharia Elétrica