摘要
在阐述了软件测试充分性的定义和软件测试充分性准则的定义、分类和作用的基础上 ,形式化分析了软件正确性测试充分性和软件可靠性测试充分性的目的和实质 ,重点研究了软件可靠性测试的充分性 ,将软件可靠性测试充分性准则分为软件可靠性增长测试充分性准则和软件可靠性验证测试充分性准则 ,给出将测试充分性准则用于可靠性测试流程的模型。
Based on definition of software testing adequacy and definition, classification and effect of adequacy criterion, the essences of software correctness testing adequacy and reliability testing adequacy are formally analyzed. Software reliability testing adequacy is focused and its criterion is classified into software reliability demonstration test criterion and growth test criterion. A model of how these criteria are used in software reliability testing process is proposed.
出处
《测控技术》
CSCD
2003年第11期49-52,共4页
Measurement & Control Technology
关键词
软件
可靠性
运行
软件可靠性测试充分性准则
software
reliability
operation
software reliability testing adequacy criterion
