基于行为声明的可信性测试方法与可信度计算研究

摘要：

针对软件行为的可信性进行了测试方法与度量标准的研究.在测试方法上,通过在软件开发阶段植入可信埋点模块的方式获取行为的动作路径,以"言行一致"思想为依据,将软件的行为声明与动作路径做比对,得到可信性测试的新方法.在判定标准上针对动作路径提出显性可信性判断指标和隐性可信指标,在度量上提出基于K-means聚类的隐性指标判定模型,并将此应用在单一行为的可信度计算以及相似行为的可信甄别上.通过实验验证了方法的可行性,为可信性测试提供了新的思路.

关键词：软件可信性、软件行为、行为声明、可信性测试、可信度计算

所属期刊栏目：27

资助基金：国家重点研发计划2017YFF0211801

在线出版日期：2018-12-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：17-26