面向系统能力的形式化分析和测试方法 (System Capability-oriented Approach for Formalized Software Requirements Analysing and Testing).
Ping ChenQiming LiangWei SunPublished in: 计算机科学 (2017)
Keyphrases
- software requirements
- requirements specification
- systems development
- software development
- software systems
- functional requirements
- development process
- requirements engineering
- metamodel
- test set
- written in natural language
- test data
- test cases
- databases
- database
- dynamic environments
- knowledge based systems
- data driven
- software architecture
- open source
- software engineering
- software testing
- knowledge representation
- case study
- e learning
- data mining
- real world