Requirements for a Test Specification Language for Protocol Implementation Testing.
Robert L. ProbertHasan UralPublished in: Protocol Specification, Testing, and Verification (1983)
Keyphrases
- specification language
- symbolic execution
- requirements specification
- formal specification
- description language
- programming language
- model checker
- test cases
- software testing
- test suite
- test data
- statistical tests
- software environment
- model based testing
- test generation
- test data generation
- hardware software co design
- general purpose
- open source
- information systems