High-level testing and example-directed development of software specifications.
Robert L. ProbertHasan UralPublished in: J. Syst. Softw. (1984)
Keyphrases
- high level
- software testing
- quality assurance
- low level
- software developers
- development process
- testing process
- software design
- software development
- embedded software
- software engineering
- software architecture
- source code
- software systems
- test cases
- development cycle
- code generation
- object oriented software
- control flow
- unit testing
- user interface
- product line
- cross platform
- software reuse
- hardware platforms
- case study
- written in natural language
- software maintenance
- development lifecycle
- white box
- computer systems
- higher level
- usability testing
- design process
- computer network security
- development effort
- regression testing
- software industry
- systems development
- design tools
- software tools
- embedded systems
- knowledge based systems
- knowledge management