ITU-T Z.500-1997
Marco sobre métodos formales en pruebas de conformidad Serie Z: Métodos de lenguajes de programación para validación y pruebas Grupo de estudio 10; 49 págs.

Estándar No.

ITU-T Z.500-1997

Fecha de publicación

1997

Organización

International Telecommunication Union (ITU)

Alcance

Esta Recomendación es aplicable cuando existe una especificación formal de un protocolo o servicio de comunicación, a partir de la cual se desarrollará una serie de pruebas de conformidad. Puede guiar el proceso manual así como el desarrollo de herramientas para te asistido por computadora.