Composição de componentes de software : especificação formal de requisitos e automatização do processo de validação
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: eac206e5526bf3b6a6ac5b...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | Portuguese |
Published: |
[s.n.]
1991
|
Subjects: | |
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 |
id |
ndltd-IBICT-oai-repositorio.unicamp.br-REPOSIP-261541 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-IBICT-oai-repositorio.unicamp.br-REPOSIP-2615412019-01-21T20:14:13Z Composição de componentes de software : especificação formal de requisitos e automatização do processo de validação Camargo, Fani Barbosa UNIVERSIDADE ESTADUAL DE CAMPINAS Jino, Mario, 1943- Software - Desenvolvimento Engenharia elétrica 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 1991 2018-07-14T02:48:40Z 2018-07-14T02:48:40Z 1991-12-20T00:00:00Z info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/masterThesis 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 por info:eu-repo/semantics/openAccess [108]f. : il. application/pdf [s.n.] Universidade Estadual de Campinas. Faculdade de Engenharia Elétrica Programa de Pós-Graduação em Engenharia Elétrica reponame:Repositório Institucional da Unicamp instname:Universidade Estadual de Campinas instacron:UNICAMP |
collection |
NDLTD |
language |
Portuguese |
format |
Others
|
sources |
NDLTD |
topic |
Software - Desenvolvimento Engenharia elétrica |
spellingShingle |
Software - Desenvolvimento Engenharia elétrica Camargo, Fani Barbosa Composição de componentes de software : especificação formal de requisitos e automatização do processo de validação |
description |
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 |
author2 |
UNIVERSIDADE ESTADUAL DE CAMPINAS |
author_facet |
UNIVERSIDADE ESTADUAL DE CAMPINAS Camargo, Fani Barbosa |
author |
Camargo, Fani Barbosa |
author_sort |
Camargo, Fani Barbosa |
title |
Composição de componentes de software : especificação formal de requisitos e automatização do processo de validação |
title_short |
Composição de componentes de software : especificação formal de requisitos e automatização do processo de validação |
title_full |
Composição de componentes de software : especificação formal de requisitos e automatização do processo de validação |
title_fullStr |
Composição de componentes de software : especificação formal de requisitos e automatização do processo de validação |
title_full_unstemmed |
Composição de componentes de software : especificação formal de requisitos e automatização do processo de validação |
title_sort |
composição de componentes de software : especificação formal de requisitos e automatização do processo de validação |
publisher |
[s.n.] |
publishDate |
1991 |
url |
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 |
work_keys_str_mv |
AT camargofanibarbosa composicaodecomponentesdesoftwareespecificacaoformalderequisitoseautomatizacaodoprocessodevalidacao |
_version_ |
1718869817191038976 |