摘要： 软件测试是软件开发中不可或缺的部分,也是软件工程化方法中的重要环节。目前各种软件测试技术日趋成熟,但相关的测试基本原理框架还有待开发。在前人经验的基础上,试图提出一个初步理论框架来定义软件测试的样本空间,引入反映软件某种情况(比如缺陷)的随机变量,概括白盒测试和黑盒测试的概率测度及数学期望描述。这样的构建不仅能够加深对软件缺陷存在的理论根源的理解,从而进一步提出更好的测试方法,还对发展软件测试的科学理论有所帮助。
| [1] Schach S R．软件工程—面向对象和传统的方法[M]．邓迎春,韩松,徐天顺,等译．北京:机械工业出版社,2007 [2] 莫绍揆．数学基础[M]．北京:高等教育出版社,1991 [3] Patton R．软件测试[M]．张小松,王钰,曹跃,等译．北京:机械工业出版社,2007 [4] Pierce B C．类型和程序设计语言[M]．马世龙,眭跃飞,等译．北京:电子工业出版社,2005 [5] Mitchell J C．程序设计语言理论基础[M]．许满武,徐建,衷宜,等译．北京:电子工业出版社,2006 [6] Fenton N E,Pfleeger S L．软件度量[M]．杨海燕,赵巍,张力,等译．北京:机械工业出版社,2004 [7] Winskel G．程序设计语言的形式语义[M]．宋国新,邵志清,等译．北京:机械工业出版社,中信出版社,2007 [8] 王梓坤．随机过程论[M]．北京:科学出版社,1978:439-440,450 [9] Desikan S,Ramesh G．软件测试-原理与实践[M]．韩柯,李娜,等译．北京:机械工业出版社,2009 [10] Andersson C,Runeson P．A Replicated Quantitative Analysis of Fault Distributions in Complex Software System [J]．IEEE Transactions on Software Engineering,2007,5(33):273-286 [11] Cordy M,Classen A,Perrouin G,et al．Simulation-based ab-stractions for software product-line model checking [C]∥Proceeding of the 2012International Conference on Software Engineering．Zurich,Switzerland,2012:672-682 [12] 周毓明,徐宝文．基于依赖结构分析的类重要性度量方法 [J]．东南大学学报:自然科学版,2008,3(38):380-384 [13] 王蓁蓁．朴素模糊描述逻辑知识库构造及其朴素推理[J]．应用科技,2012,39(6):18-29 [14] Santelices R,Jones J A,Yu Yan-bing,et al.Lightweight Fault-Localization Using Multiple Coverage Types [C]∥Proceedings of the 2009IEEE 31st International Conference on Software Engineering．2009:56-66 [15] Weimer W,Nguyen T,Goues C L,et al．Automatically Finding Patches Using Genetic Programming [C]∥Proceedings of the 2009IEEE 31st International Conference on Software Enginee-ring．2009:364-374 [16] Sommerville J．软件工程[M]．程成,陈霞,译．北京:机械工业出版社,2008 [17] 王蓁蓁,徐宝文,周毓明,等．一种随机TBFL方法[J]．计算机科学,2013,40(1):5-14 |
| No related articles found! |
|
||
首页