Key points are not available for this paper at this time.
Um método para criar pacotes de testes funcionais foi desenvolvido, no qual um engenheiro de testes analisa a especificação do sistema, escreve uma série de especificações de testes formais e, em seguida, utiliza uma ferramenta geradora para produzir descrições de testes das quais os scripts de teste são escritos. As vantagens deste método são que o testador pode facilmente modificar a especificação do teste quando necessário e pode controlar a complexidade e o número dos testes anotando a especificação dos testes com restrições.
Ostrand et al. (Qua,) estudaram esta questão.