华中科技大学学报（自然科学版）2013，Vol.41Issue(1)：41-45,5.
基于变量间依赖关系的软件可信度量模型
Trust-measuring model for software using dependent relation between variables
摘要
Abstract
Focusing on the dynamic measurement issues of the interactive behavior of a software system, a dynamic measuring model based on the dependent relationship among input variables was presented. Beginning with the analysis of influence to the trust caused by the input data and by adopting the static analysis technology on source code and program slicing technology, the forward slice set a-bout the input data of program as well as the variable set that can be written by each statement in the slice set were extracted. Then, the expected behavior model was produced by taking the statements in the acquired slice set as the dynamically measured objects, and the variable set assigned by the corresponding statements as the expected behavior. During the execution, the model verifies whether or not the target program behavior consists with the behavior specification. Finally, test result shows the effectiveness of the model.关键词
应用程序/行为/动态/可信度量/前向切片Key words
application software/ behavior/ dynamic/ trust measurement/ forward slicing分类
信息技术与安全科学引用本文复制引用
王丹,卢彦,赵文兵,付利华..基于变量间依赖关系的软件可信度量模型[J].华中科技大学学报（自然科学版）,2013,41(1):41-45,5.基金项目
北京市自然科学基金资助项目(4122007). （4122007）
