[pt] Práticas de engenharia de requisitos ágeis estão se tornando mais comuns em equipes de desenvolvimento de software. Contudo, as práticas relacionadas ao controle de qualidade ainda dependem fortemente do conhecimento, da experiência e do trabalho manual de testadores, em adição as especificações de requisitos produzidas são frequentemente imprecisas e difíceis de verificar estaticamente por interessados ou por algum computador. Essa tese ataca conjuntamente o problema de verificar estaticamente especificações de requisitos ágeis e de gerar casos de teste e scripts de teste automatizados completos a partir delas. Suas contribuições principais incluem: (1) uma nova metalinguagem, chamada Concordia, que permite escrever especificações de requisitos ágeis que podem ser usadas para atividades de verificação e validação (V e V); (2) uma nova abordagem para gerar casos de teste e scripts de teste automatizado completos, a partir de requisitos especificados com a metalinguagem; (3) a medição, em contexto industrial, da capacidade da abordagem em reduzir o risco de defeitos e custos de V e V. / [en] Agile requirements engineering practices are being used more commonly by software development teams. However, practices related to quality control still depend heavily on testers expertise and manual labor, whilst produced require-ments specifications are often imprecise and hard to verify statically by both stake-holders and computers. This thesis jointly tackles the problem of verifying statically agile requirements specifications and generating full-featured test cases and auto-mated test scripts from them. Its main contributions include: (1) a new metalan-guage, called Concordia, for writing agile requirement specifications that can be used for both verification and validation (V and V) activities involving stakeholders; (2) a novel approach to generate full-featured ready to use test cases and automated test scripts from the requirements specified with the metalanguage; (3) the assess-ment in industrial context of the approaches ability to reduce risk of remaining defects and the costs of V and V.