摘要： 基于有向图理论对程序正文进行解析，同时对软件的使用模型做了初步的探讨，分析了具有Markov随机性质的软件使用过程和软件测试中的测试路径的选择策略，并对测试结果做出评价，给出软件的可靠性。

关键词: 软件测试, 有向图, 使用模型, 使用环境, 软件可靠性

Abstract: This paper goes into the analysis of program based on its corresponding directional graph,and presents an introduction of software usage process and the strategy for selecting executive paths in software test,, which features in its randomicity. It shows Markov chain is an appropriate simulation of that, and estimates the performance of the way of software test and results in an expectation of software reliability.

中图分类号: 

• TP311.52