Você está na página 1de 3

USP Universidade de So Paulo

Instituto de Cincias Matemticas e Computao (ICMC)


Mestrado em Cincias da Computao e Matemtica
Computacional

Nome: Andr Abe Vicente Cod. USP: 5834329


Disciplina: Engenharia de Software (SCE-5764)
Professor: Dr. Adenilso da Silva Simo

Engenharia de Requisitos

Leia e elabore um resumo sobre o artigo "Classification of


Research Efforts in Requirements Engineering" Pamela Zave.

O artigo de Pamela Zave (Zave,1997) procura apresentar uma


classificao para esforos de pesquisa na rea de engenharia de requisitos
(ER), procurando delinear e incentivar pesquisas na rea e fornecendo
estrutura para encorajar a descoberta e articulao de novos princpios e, alm
disso, agrupar temas da engenharia de requisitos, apesar da prpria autora
identificar na concluso do artigo que muitas solues podem abordar mais que
um problema e mais que uma rea de interesse da engenharia de requisitos.
Mesmo sendo um artigo de 1997, este ainda continua atual e muitos dos
pesquisadores da engenharia de requisitos continuam procurando solues para
os problemas apresentados no artigo. Em (Nuseibeh,2000) o autor descreve as
principais reas da ER e destaca alguns dos assuntos de pesquisa ainda em
aberto, sendo que estes assuntos coincidem com os problemas e possveis
solues apresentados pelo artigo de Pamela Zave (Zave,1997). Os maiores
desafios para os prximos anos na ER segundo (Nuseibeh,2000) so:
1. Desenvolvimento de novas tcnicas para modelos formais e
anlise de caractersticas do ambiente, em oposio ao
comportamento do software, sendo que estas tcnicas devem
enfrentar a inconsistncia, incompletude e o desenvolvimento de
modelos.
2. Fazer a ponte para a lacuna entre a elicitao de requisitos
baseadas em investigaes contextuais e a especificao formal e
tcnicas de anlise.
3. Modelos mais ricos para capturar e analisar requisitos no-
funcionais.
4. Melhor entendimento do impacto da escolha da arquitetura de
software e na priorizao e evoluo de requisitos.
5. Reuso de modelos de requisitos.
6. Treinamento multidisciplinar para engenheiros de requisitos.
Pamela Zave (Zave,1997) cria uma lista de problemas e possveis
contribuies para solues destes problemas, considerando diversos tpicos que
geralmente fazem parte da engenharia de requisitos: tarefas que precisam ser
completadas como por exemplo a elicitao de informaes a partir dos clientes,
problemas que precisam ser resolvidos como a incompletude e inconsistncia de
requisitos, alm de barreiras de comunicao, soluo para os problemas que
envolvem linguagens formais, anlise de algoritmos, mtricas, rastreabilidade,
modos de contribuio para o conhecimento como por exemplo estudos de caso
ou experimentos controlados e finalmente tipos de sistema, cada vez mais
complexos como por exemplo sistemas embarcados, sistemas crticos, sistemas
distribudos. Certamente se o artigo fosse mais recente a autora no deixaria de
citar outros dois tipos de sistemas: sistemas orientados a agentes e sistemas
ubquos que ainda no possuem padres claros de especificao atravs da
Engenharia de Software.
O artigo divide a ER em duas dimenses: os problemas que caracterizam os
trabalhos enfrentados pelos pesquisadores da ER, e na segunda dimenso a autora
procura caracterizar formas na qual a pesquisa pode contribuir para resoluo aos
problemas citados na primeira dimenso.
Na primeira dimenso a autora cita trs classificaes de problemas da ER:
(1) Problemas de investigao de objetivos, funes e obstculos da
engenharia de sistemas que incluem a captura e anlise de
informaes e a gerao de estratgias alternativas. Os problemas
citados nesta categoria incluem barreiras de comunicao na elicitao
de requisitos, estratgias para especificao de propriedades e
comportamento de sistemas que atendam a objetivos vagos (os
chamados requisitos no funcionais), entendimento de prioridades e
abrangncia de atendimento dos requisitos, gerao de estratgias para
determinar requisitos entre o sistema e os vrios agentes do seu
ambiente organizacional, estimar custos, riscos e agendas alm de
assegurar a completude de requisitos.
(2) Problemas de especificao do comportamento de sistema que citam
problemas para sintetizao de informaes e escolha entre alternativas
para criar uma especificao de software precisa e mnima. Esta
categoria de problemas os seguintes problemas:
a. Integrao de mltiplas vises e representaes de requisitos,
b. Avaliao de estratgias alternativas para o atendimento de
requisitos.
c. Obteno de especificaes completas, consistentes e sem
ambigidade.
d. Checagem de consistncia entre o sistema especificado e o
atendimento de requisitos.
e. Obteno de especificaes que sejam bem adaptadas para as
atividades de projeto e implementao, assegurando assim o
sucesso do desenvolvimento do software.
(3) Problemas de gerenciamento da evoluo de sistemas e famlias de
sistemas que preocupa-se em como fazer com que o trabalho executado
na fase de requisitos seja reusvel, e como reusar ele em outras fases
do desenvolvimento de software. Nesta categoria de problemas a autora
cita os seguintes problemas:
a. reuso da fase de ER durante fases posteriores, garantindo que os
artefatos da etapa de requisitos sejam passveis de manuteno.
b. reuso da ER para desenvolvimento de sistemas similares,
garantindo que os artefatos gerados na fase de requisitos sejam
aplicveis no somente a esse projeto, como tambm a projetos
de software da mesma famlia.
c. reconstruo de requisitos, possibilitando a engenharia reversa
da fase de ER.
Na segunda dimenso que conforme a autora (Zave,1997) pode ser
aplicada a outras reas da engenharia de software, procura caracterizar formas de
pesquisa que podem contribuir a resoluo dos problemas citados na primeira
dimenso:
(1) Informar o estado da arte do problema, estabelecendo uma referncia
para que outros possam trabalhar com este mesmo problema.
(2) Proposta de soluo orientada a processo, fornecendo mtodos e
heursticas para executar decises envolvidas com um problema
especfico de forma manual.
(3) Proposta de solues orientadas a produto, que podem ser resolvidas
automaticamente, na qual dado nfase a representaes formais e
manipulaes algortmicas do problema, se focando na representao e
manipulao de produtos da engenharia de requisitos.
(4) Estudos de caso aplicando uma soluo proposta a um problema
substancial.
(5) Avaliao ou comparao de solues propostas.
(6) Proposta de solues orientadas a medies, monitorando e medindo
quo bem a proposta resolve problemas e ento rastreando essas
medidas ao longo do tempo. Medindo assim o sucesso das atividades da
ER podendo ser vista como uma tcnica de resoluo de problemas,
assim como formas de comparar outras solues.
Por fim a autora ressalta que muitas tcnicas criadas por pesquisadores da
rea de ER podem resolver uma infinidade de problemas, como por exemplo,
traduo automtica de especificaes em linguagem natural para especificaes
formais que resolvem diversos dos problemas citados anteriormente no artigo.
Alm disso, a autora afirma que o artigo no abordou domnios de aplicao
especficos como, por exemplo, o controle de processos de sistemas em tempo
real, que resolvem (ou pelo menos diminuem) quase todos os problemas de
requisitos dentro do seu domnio de aplicao.

Referncias Bibliogrficas
[Nuseibeh,2000] - Nuseibeh, B. and Easterbrook, S. 2000. Requirements
engineering: a roadmap. In Proceedings of the Conference on the Future of
Software Engineering (Limerick, Ireland, June 04 - 11, 2000). ICSE '00. ACM Press,
New York, NY, 35-46. DOI= http://doi.acm.org/10.1145/336512.336523
[Zave,1997] - Zave, P. 1997. Classification of research efforts in requirements
engineering. ACM Comput. Surv. 29, 4 (Dec. 1997), 315-321. DOI=
http://doi.acm.org/10.1145/267580.267581