摘要
基于有向图理论对程序正文进行解析,同时对软件的使用模型做了初步的探讨,分析了具有Markov随机性质的软件使用过程和软件测试中的测试路径的选择策略,并对测试结果做出评价,给出软件的可靠性。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第18期87-88,168,共3页
Computer Engineering
基金
日本富士通公司研究资金资助项目(UF-1017-T)
关键词
软件测试
有向图
使用模型
使用环境
软件可靠性
Software test
Directional graph
Software usage model
Software usage environment
Software reliability