INAP Protocol Test Suite Verification Method Using the IUT Simulator for AIN System Conformance Testing.
Hyunsook DoSeongyong BaeSangki KimPublished in: Services and Visualization: Towards User-Friendly Design (1998)
Keyphrases
- test suite
- verification method
- test cases
- test suite reduction
- regression testing
- simulation environment
- model checking
- temporal logic
- test case generation
- software testing
- protocol specification
- number of test cases
- static analysis
- java programs
- testing process
- mutation testing
- tool suite
- test sequences
- lightweight
- set of test cases
- test data
- simulation model
- communication protocols
- decision trees
- code coverage
- communication protocol
- cryptographic protocols
- database
- formal verification
- life cycle
- databases