指挥控制与仿真Issue(5)：117-123,7.DOI:10.3969/j.issn.1673-3819.2014.05.026
VLMC控制流软件可靠性度量方法
Reliability Measurement for Software with Variable Length Markov Control Transfer Chain
赵瑞曼 1潘冠华 1方建勇1
作者信息
- 1. 江苏自动化研究所，江苏 连云港 222061
- 折叠
摘要
Abstract
The classical software reliability model of Cheung based on architecture analysis is imperfect when applied to soft-ware which has non-uniqueness terminal node because of ideal assumptions. In order to handle this problem, an improved model is established through two improvement as follows:first, probability matrix of control transfer from start node to other inner nodes in a given software is computed independently of control transfer within inner nodes on the assumptions that the start node is inaccessible to control transfer from any inner nodes;and then, probability matrixes of control transfer within in-ner nodes are reconfigured by weaken the difference between inner nodes and ending nodes. In order to measure the reliability of software with VLMC control transfer flow, the variable length Markov control sequence chain is converted to simple Markov chain by node expansion and conditional transfer probability redistribution. By using deductive inference, a formal proof for the new model is given in this essay. In the end, effectiveness and simplicity of the proposed method is verified by a software example.关键词
控制转移/Markov/变阶Markov链(VLMC)/软件可靠性/度量模型Key words
control transfer/Markov/Variable Length Markov Chain/software reliability/measurement model分类
信息技术与安全科学引用本文复制引用
赵瑞曼,潘冠华,方建勇..VLMC控制流软件可靠性度量方法[J].指挥控制与仿真,2014,(5):117-123,7.
