Orientadores: Ariadne Maria Brito Rizzoni Carvalho, Marco Paulo Amorim VieiraDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de ComputaçãoResumo: Problemas com a especificação de requisitos são uma causa comum de defeitos de software. Em domínios como o das aplicações espaciais, tais defeitos acarretam um custo muito alto, especialmente quando detectados em campo. É imperativo garantir que os requisitos de software estejam bem escritos, de modo a evitar a introdução desses defeitos no final. A qualidade de documentos de requisitos de software é comumente verificada em revisões baseadas em checklists, gerados a partir de padrões e em problemas encontrados em projetos anteriores. Dada a importância dessa verificação, e do fato de que ela é normalmente efetuada manualmente, nós propusemos um framework para auxiliar nesse processo, utilizando técnicas de processamento de língua natural. Uma ferramenta foi implementada de acordo com esse framework, visando diminuir o esforço dos revisores e reduzir a quantidade de erros não encontrados durante o processo de revisão. Foram conduzidos experimentos comparando a análise baseada em checklists conduzida manualmente, com a análise semi-automática guiada pela ferramenta desenvolvida, considerando o tempo de análise e a quantidade de erros detectados no documento de requisitos analisado. Os resultados indicam que o método de análise semi-automático, guiado pelo framework proposto, apresenta uma melhoria em se considerando o método existente, que é conduzido manualmenteAbstract: Problems with the specification of software requirements are a common cause of software defects. In domains such as space applications, those defects are very costly, especially when detected after software deployment, when the product is already in the field. It is imperative to ensure that software requirement documents are well written to avoid the introduction of these defects. The quality of software requirements is frequently assessed via reviews guided by checklists, based on standards, and on problems found in previous projects. Given the importance of quality assessment, and the fact that the reviews are performed manually, we propose a framework for assisting a checklist-based review of software requirements, using natural language processing techniques. A tool was developed under this framework, whose objetive is to diminish the reviewer's effort, and to reduce the amount of uncaught errors during the reviewing process. Experiments were conducted to compare the checklist-based analysis performed manually, against the semi-automatic analysis guided by the developed tool, considering the analysis time and the amount of errors detected in the requirements under analysis. The results indicate that the semi-automatic analysis method, guided by the proposed framework, brings improvements to the existing manually conducted methodMestradoCiência da ComputaçãoMestre em Ciência da Computação