| 基于变量间依赖关系的软件可信度量模型 |
| |
| 引用本文： | 王丹,卢彦,赵文兵,付利华.基于变量间依赖关系的软件可信度量模型[J].华中科技大学学报(自然科学版),2013,41(1):41-45. |
| |
| 作者姓名： | 王丹 卢彦 赵文兵 付利华 |
| |
| 作者单位： | 北京工业大学计算机学院,北京,100124 |
| |
| 基金项目： | 北京市自然科学基金资助项目(4122007) |
| |
| 摘 要： | 针对软件交互行为的动态可信度量问题,提出一种基于变量间依赖关系的动态度量模型.从输入数据对软件可信性的影响入手,利用程序静态分析和切片技术提取出关于输入信息的前向切片以及切片中各语句可赋值的变量集合,并以切片集合中的语句作为度量对象,以该语句可赋值的变量集合作为软件在该度量点处的行为预期模型.在程序动态运行过程中动态监视软件在度量点处的实际行为是否符合预期,实现可信动态度量.相应的试验结果表明,模型实现了设计目标.
|
| 关 键 词： | 应用程序 行为 动态 可信度量 前向切片 |
Trust-measuring model for software using dependent relation between variables |
| |
| Wang Dan Lu Yan Zhao Wenbing Fu Lihua.Trust-measuring model for software using dependent relation between variables[J].JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE,2013,41(1):41-45. |
| |
| Authors: | Wang Dan Lu Yan Zhao Wenbing Fu Lihua |
| |
| Institution: | Wang Dan Lu Yan Zhao Wenbing Fu Lihua(College of Computer Science and Technology,Beijing University of Technology,Beijing 100124,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
