文献类型：期刊文章

作　　者：王蓁蓁[1,2]

机构地区：[1]金陵科技学院信息技术学院,南京211169 [2]江苏省信息分析工程实验室,南京211169

出　　处：《计算机科学》

基　　金：国家自然科学基金项目(61170071);金陵科技学院科研基金(jit-b-201207)资助

年　　份：2014

卷　　号：41

期　　号：3

起止页码：12-16

语　　种：中文

收录情况：BDHX、BDHX2011、CSA、CSCD、CSCD2013_2014、IC、JST、RCCSE、UPD、ZGKJHX、核心刊

摘　　要：软件测试是软件开发中不可或缺的部分,也是软件工程化方法中的重要环节。目前各种软件测试技术日趋成熟,但相关的测试基本原理框架还有待开发。在前人经验的基础上,试图提出一个初步理论框架来定义软件测试的样本空间,引入反映软件某种情况(比如缺陷)的随机变量,概括白盒测试和黑盒测试的概率测度及数学期望描述。这样的构建不仅能够加深对软件缺陷存在的理论根源的理解,从而进一步提出更好的测试方法,还对发展软件测试的科学理论有所帮助。

关 键 词：软件测试 软件度量  程序语言 随机测试  

分 类 号：TP311]