Descrição
Tópicos em métodos formais de derivação de testes, gerenciamento de testes, verificação e validação de alto nível baseada em CASE, medidas e métricas de fluxo de dados e fluxo de controle para avaliação da qualidade de designs e código, análise e testes de regressão.
Texto de referência na sua língua de origem
Topics in formal test derivation methods, test management, high-level, CASE-based verification and validation, data-flow and control-flow measures and metrics for assessing quality of designs and code, regression analysis and testing.
Fontes e referências
As datas e as fontes são mantidas para ajudá-lo a verificar os dados. As traduções são propostas para facilitar a leitura; a fonte oficial é a referência para condições e exigências.
Fonte de referência : https://calendar.carleton.ca/grad/courses/COMP/