A validation methodology is proposed for natural language software specifications of standard graphics functions. Checks are made for consistency, completeness and lack of ambiguity in data element and function descriptions. Functions and data elements are maintained in a relational database representation. The appropriate checks are performed by sequences of database operations. The relational database manager INGRES was used to support a prototype implementation of the proposed technique. / The methodology supports the development of a scenario-based prototype from the information available in the specification. This permits various function sequences to be checked without implementation of the environment specified. / The application of a prototype implementation of the proposed methodology, to the specification of the GKS software package, demonstrates the practicability of the method. Several inconsistencies in GKS, related to the definition of data elements, have been identified.
| Identifer | oai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QMM.75355 |
| Date | January 1987 |
| Creators | Fraser, Steven D. |
| Publisher | McGill University |
| Source Sets | Library and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada |
| Language | English |
| Detected Language | English |
| Type | Electronic Thesis or Dissertation |
| Format | application/pdf |
| Coverage | Doctor of Philosophy (Department of Electrical Engineering.) |
| Rights | All items in eScholarship@McGill are protected by copyright with all rights reserved unless otherwise indicated. |
| Relation | alephsysno: 000418090, proquestno: AAINL38266, Theses scanned by UMI/ProQuest. |
Page generated in 0.0023 seconds