Behavior-based acceptance testing of software systems: a formal scenario approach.
Pei HsiaJerry Zeyu GaoJayarajan SamuelDavid Chenho KungYasufumi ToyoshimaChris ChenPublished in: COMPSAC (1994)
Keyphrases
- software systems
- software testing
- requirements specification
- software engineering
- complex software systems
- source code
- software intensive systems
- code coverage
- software design
- software development
- software maintenance
- software engineers
- software architecture
- software components
- metamodel
- software developers
- functional requirements
- software metrics
- object oriented systems
- software quality
- software requirements
- multi agent systems
- linux kernel
- formal specification
- software evolution
- high level
- test cases
- information technology
- reinforcement learning