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.
Zhu Hong. Axiomatic assessment of control flow based software test adequacy criteria[J].Software Engineering Journal.1995,10(9):194-204
�̿�Ԫ,������,�� ��,��. ������ԵĿ����۷���[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)
�� ��,������. ����������������[M]. ����:��ѧ������, 1997.153~155 Zhu Hong, Jin Lingzi. Software quality assurance and testing[M]. Beijing:Science Press, 1997.153~155(in Chinese)
Duran J W, Ntafos. An evaluation of random testing[J].IEEE Trans on Software Engineering.1984,10(4):438-444
Hamlet R, Taylor R. Partition testing does not inspire confidence[J].IEEE Trans on Software Engineering.1990, 16(12):1402-1411
лʶ��. ���ò�����[M]. �Ϻ�:������ѧ������, 1997.41~83 Xie Shiyu. Game theory for economics[M]. Shanghai:Fudan University Press, 1997.41~83(in Chinese)
ʩ����. ������[M]. �Ϻ�:�Ϻ��ƾ���ѧ������.15~17 Shi Xiquan. Game theory[M][J].Shanghai:Shanghai University of Finance & Economic.2000,Press( 2000.):15-17