计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
3期
12-16,35
,共6页
软件测试%软件度量%程序语言%随机测试
軟件測試%軟件度量%程序語言%隨機測試
연건측시%연건도량%정서어언%수궤측시
Software testing%Software metrics%Programming language%Random testing
软件测试是软件开发中不可或缺的部分,也是软件工程化方法中的重要环节.目前各种软件测试技术日趋成熟,但相关的测试基本原理框架还有待开发.在前人经验的基础上,试图提出一个初步理论框架来定义软件测试的样本空间,引入反映软件某种情况(比如缺陷)的随机变量,概括白盒测试和黑盒测试的概率测度及数学期望描述.这样的构建不仅能够加深对软件缺陷存在的理论根源的理解,从而进一步提出更好的测试方法,还对发展软件测试的科学理论有所帮助.
軟件測試是軟件開髮中不可或缺的部分,也是軟件工程化方法中的重要環節.目前各種軟件測試技術日趨成熟,但相關的測試基本原理框架還有待開髮.在前人經驗的基礎上,試圖提齣一箇初步理論框架來定義軟件測試的樣本空間,引入反映軟件某種情況(比如缺陷)的隨機變量,概括白盒測試和黑盒測試的概率測度及數學期望描述.這樣的構建不僅能夠加深對軟件缺陷存在的理論根源的理解,從而進一步提齣更好的測試方法,還對髮展軟件測試的科學理論有所幫助.
연건측시시연건개발중불가혹결적부분,야시연건공정화방법중적중요배절.목전각충연건측시기술일추성숙,단상관적측시기본원리광가환유대개발.재전인경험적기출상,시도제출일개초보이론광가래정의연건측시적양본공간,인입반영연건모충정황(비여결함)적수궤변량,개괄백합측시화흑합측시적개솔측도급수학기망묘술.저양적구건불부능구가심대연건결함존재적이론근원적리해,종이진일보제출경호적측시방법,환대발전연건측시적과학이론유소방조.
