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

AUTOR(ES)

Fani Barbosa Camargo

DATA DE PUBLICAÇÃO

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

ASSUNTO(S)

engenharia eletrica software - desenvolvimento

Documentos Relacionados

• Software requirements specification process applied to cooperative work.
• Uma abordagem baseada em definição de requisitos e em verificação e validação para o processo de monitoração de aquisição de software
• Especificação formal de uma ferramenta de reutilização de especificações de requisitos
• OZJ : uma ferramenta para geração de óraculos para teste de software a partir de especificação formal
• Automatização do gerenciamento de configuração de software