| 软件可测性评估 |
| |
| 引用本文： | 张广梅,李晓维. 软件可测性评估[J]. 装甲兵工程学院学报, 2004, 18(2): 68-74 |
| |
| 作者姓名： | 张广梅 李晓维 |
| |
| 作者单位： | 中国科学院计算技术研究所,北京,100080 |
| |
| 摘 要： | 介绍了现有的软件可测性评估方法,继而提出了基于程序结构的软件可测性评估方法,该方法充分考虑了软件的失效机理,针对测试对象的不同特点,给出了面向控制流的软件故障执行的概率、数据状态感染的概率及以变量的定值-引用为基础的被感染数据状态传播到输出的概率等估计方案,在此基础上,进行了软件可测性的评估.
|
| 关 键 词： | 软件可测性 故障执行概率 数据状态感染概率 故障传播概率 |
| 文章编号： | 1672-1497(2004)02-0068-07 |
| 修稿时间： | 2004-03-21 |
Software Testability Evaluation |
| |
| ZHANG Guang-mei LI Xiao-wei. Software Testability Evaluation[J]. Journal of Armored Force Engineering Institute, 2004, 18(2): 68-74 |
| |
| Authors: | ZHANG Guang-mei LI Xiao-wei |
| |
| Affiliation: | ZHANG Guang-mei LI Xiao-wei |
| |
| Abstract: | Software testability is one of an important factor in software evaluation. At first, software failure mechanism and some kinds of software testability analysis methods is introduced, then a software testability analysis method based on PIE is discussed in this paper. In order to use this method successfully, the way to analyze failure execution probability based on control flow graphic, the data state infection probability and the propagation probability based on a variable's define-use is given. By using this method, the structure of program and software failure mechanism is fully considered. |
| |
| Keywords: | software testability probability of failure execution probability of data state infection probability of failure propagation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
