|
| | |
| |
|
|
|
QualRE
From Web 2.0 Wiki, Proposals::Qual RE |
QualRE - Qualidade na Engenharia de Requisitos
Enquadramento: Trabalho enquadrado na iniciativa ProjectIT.
Para mais detalhes, consultar http://isg.inesc-id.pt/alb/ProjectIT.
Consultar também: Bashar Nuseibeh, Steve Easterbrook, Requirements engineering: a roadmap, ICSE '00, ACM, 2000. http://dl.acm.org/citation.cfm?id=336523
Objectivos: Pretende-se com este trabalho investigar a temática da "qualidade na engenharia de requisitos", identificando o respectivo estado da arte relacionado com as técnicas, linguagens, padrões linguísticos, e melhores práticas para especificação de requisitos de sistemas de software.
Descrição: São múltiplas as técnicas mais comuns para garantir a qualidade de especificações de requisitos, nomeadamente: adopção de templates normalizados, técnicas de interação social, modelos visuais, protótipos, parafraseamento de modelos, narrativas, etc. Neste projecto pretende-se considerar a existência de uma linguagem textual (RSL-IL, Requirement Specification Language) que permita a especificação relativamente formal de requisitos. A partir dos requisitos especificados em RSL-IL pretende-se a aplicação de técnicas que possam garantir automaticamente a sua qualidade, nomeadamente testes de análise de domínio, testes de consistência, e testes de completude. Adicionalmente, pretende-se explorar mecanismos automaticos de geração de modelos e documentação a partir dos requisitos especificados em RSL-IL.
Resultados esperados: Pretende-se com este projecto que o aluno produza os seguintes resultados:
- Defina um modelo de referência para análise de linguagens de especificação de requisitos (textuais, gráficas, etc.);
- Aplique esse modelo na análise e avaliação de linguagens conhecidas;
- Produza especificações de requisitos para sistemas de informação de teste (casos de estudo a definir), usando em particular o RSL-IL;
- Desenvolva ferramentas/protótipos que permitam a realização automática de testes de qualidade de especificações em RSL-IL;
- Desenvolva ferramentas/protótipos que permitam a realização automática de testes de qualidade de especificações em RSL-IL;
- Desenvolva ferramentas/protótipos que permitam a geração de modelos e documentação a partir dos requisitos especificados em RSL-IL.
- Avalie os resultados com base nos casos de estudo a definir.
|
|
| | |
| | |
| | | |