-
题名面向系统能力的形式化分析和测试方法
被引量：1
- 1
-
-
作者
陈平
梁启明
孙伟
-
机构
工业和信息化部电子第五研究所
-
出处
《计算机科学》
CSCD
北大核心
2017年第S1期534-538,共5页
-
基金
核高基国家科技重大专项(JAZ1472010)资助
-
文摘
国内软件业界实施系统测试时,大部分采用对系统规格说明描述的功能点进行逐一测试的方法,很少从系统能力的角度进行测试,难以充分说明系统软件产品满足系统能力需求的要求。同时,系统规格说明使用自然语言进行描述,存在语义不准确的现象,直接影响系统测试的质量。针对上述问题,提出了一种面向系统能力的形式化分析和测试方法。通过该方法,测试工程师可得到语义清晰的系统能力需求描述,并实施面向系统能力的系统测试,有效地提高系统测试的充分性和准确性,从而提高系统软件质量。
-
关键词
系统测试
系统能力测试
形式化方法
软件需求分析
-
Keywords
System testing
System capabilities testing
Formalized approach
softwre requirements analysis
-
分类号
TP311.53
[自动化与计算机技术—计算机软件与理论]
-
