Parameter Specification Language and Test Data Generation Tools for Communication Software Testing.
Fumiako SatoHirosato TsujiKotaro KatsuyamaTadanori MizunoPublished in: Protocol Test Systems (1991)
Keyphrases
- test data generation
- software testing
- specification language
- symbolic execution
- formal specification
- test cases
- search based testing
- test case generation
- programming language
- simulated annealing algorithm
- software engineering
- software development
- description language
- quality assurance
- software systems
- generation algorithm
- model checking
- software components
- general purpose
- information systems
- reverse engineering
- database systems
- object oriented systems
- test generation
- unit testing
- development process
- neural network
- test data
- test set
- simulated annealing
- object oriented
- multi agent systems
- machine learning
- real world