Process model for software testing based on game theory
-
摘要: 为分析软件测试的动态过程及其中诸影响因素之间的关系,运用博弈理论,提出了一种新的软件测试过程建模分析方法.建立了一种软件测试过程的博弈模型,并在此基础上对测试过程中的各方决策条件和博弈均衡条件进行了讨论,其结论有助于理论分析和解决"测试策略选择"和"何时停止测试"等问题.由于考虑了参与软件测试活动的各方利益和可能行为,此方法较之软件测试控制论更能够对软件测试过程中所出现的情况进行解释.本模型可为软件测试规程设计提供理论依据,增强软件测试过程的可管理性.Abstract: To analysis the dynamic process of software testing and the relationship of relevant factors in it, a new method on modeling and analysis of software testing process with the game theory was provided. A game model of software testing process was established and a series of analysis were made on decision and equilibrium conditions of the game model. The conclusions are helpful for analyzing and solving the problems such as "selection on the software testing strategy" and "when to stop testing" theoretically. It can deduce a better explanation on the activities in the software testing process comparing with the theory of software testing cybernetics because it takes all participants’ interests and their possible actions into consideration. This model has founded a theoretical basis for designing the rules of the software testing, which could make the process more manageable.
-
Key words:
- game theory /
- decisions /
- equalization /
- software testing process /
- random testing /
- partition testing
-
[1] Zhu Hong. Axiomatic assessment of control flow based software test adequacy criteria[J]. Software Engineering Journal, 1995,10(9):194~204 [2] 蔡开元,李永超,景 涛,等. 软件测试的控制论方法[J].航空学报,2002,23(5):448~454 Cai Kaiyuan, Li Yongchao, Jing Tao, et al. Software testing in the context of software cybernetics.[J]. Acta Aeronautica et Astronautica Sinica, 2002, 23(5):448~454(in Chinese) [3] 朱 鸿,金凌紫. 软件质量保障与测试[M]. 北京:科学出版社, 1997.153~155 Zhu Hong, Jin Lingzi. Software quality assurance and testing[M]. Beijing:Science Press, 1997.153~155(in Chinese) [4] Duran J W, Ntafos. An evaluation of random testing[J]. IEEE Trans on Software Engineering, 1984,10(4):438~444 [5] Hamlet R, Taylor R. Partition testing does not inspire confidence[J]. IEEE Trans on Software Engineering,1990, 16(12):1402~1411 [6] 谢识予. 经济博弈论[M]. 上海:复旦大学出版社, 1997.41~83 Xie Shiyu. Game theory for economics[M]. Shanghai:Fudan University Press, 1997.41~83(in Chinese) [7] 施锡铨. 博弈论[M]. 上海:上海财经大学出版社, 2000.15~17 Shi Xiquan. Game theory[M]. Shanghai:Shanghai University of Finance & Economic Press, 2000.15~17(in Chinese) -
点击查看大图
计量
- 文章访问数: 2883
- HTML全文浏览量: 151
- PDF下载量: 870
- 被引次数: 0
下载:
