Accession Number : ADA313271
Title : How to Validate Document Type Definitions (DTDs).
Corporate Author : CALS TEST NETWORK WRIGHT-PATTERSON AFB OH
PDF Url : ADA313271
Report Date : 30 APR 1991
Pagination or Media Count : 37
Abstract : Document Type Definition Independent Verification and Validation is the final step in the process of creating and testing an SGML Document Type Definition prepared in compliance with the CALS standard MIL-M-280O1A. The sequence of tasks of which Independent Verification and Validation is the final step includes: (1) examination and analysis of a selected class of related documents, and of the use that is expected to be made of those documents; (2) design of a markup language which effectively and efficiently captures the information in documents of the selected type; (3) formal description of the markup language using a Document Type Definition (DTD) conforming to the Standard Generalized Markup Language (SC ML); and; and (4) testing the markup language and its formal description by marking up sample documents of the selected class and processing them in ways that exemplify their expected uses. Independent Verification and Validation (I V & V) examines these tasks, determines if these tasks have been completed, how accurately and effectively each one was accomplished, and how well each task is documented. I V & V is crucial to confirming the usability of a DTD produced by a DTD Design Project. This report describes: (1) the background and principles on which I V & V is based; (2) what a I V & V project is looking for in a DTD and its accompanying documentation; (3) how to analyze a DTD and its documentation; and (4) how to prepare a Document Type Definition Independent Verification and Validation Final Report.
Descriptors : *PROGRAMMING LANGUAGES, *DOCUMENTS, *INDEX TERMS, MILITARY REQUIREMENTS, VERIFICATION, VALIDATION, SPECIFICATIONS, MARKERS.
Subject Categories : Information Science
Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE