Transition network grammars for natural language analysis
Communications of the ACM
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Test procedures: A new approach to software verification
ICSE '76 Proceedings of the 2nd international conference on Software engineering
ATLAS-An Automated Software Testing System
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Requirements language processing for the effective testing of real-time systems
Proceedings of the software quality assurance workshop on Functional and performance issues
Software requirements and acceptance testing
Annals of Software Engineering
Test plan generation using formal grammars
ICSE '79 Proceedings of the 4th international conference on Software engineering
Rapid prototyping using executable requirements specifications
Proceedings of the workshop on Rapid prototyping
Hi-index | 0.00 |
A three phase functional testing methodology is described for use in the development cycle of electronic switching systems. The methodology centers on a directed graph model of the system and provides for the checking of system requirements, the generation of functional tests and the automatic execution of these tests.