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

作者简介:

通讯作者:

中图分类号:

基金项目:

国家重点研发计划(2017YFF0211801)


Credibility Verification Method and Calculation Based on Application Behavior Declaration
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 增强出版
  • |
  • 文章评论
    摘要:

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

    Abstract:

    Based on Application Behavior Declaration (ABD), we proposed a new method for credibility calculation. It is based on the idea of "words and deeds". In the software development phase, tracking module is implanted to extract the action path of the behavior. Then, we compare the behavior declaration of the software with the action path to achieve the purpose of evaluating whether the behavior is credible. Explicit and implicit indicators are proposed for judgment, as well as an implicit indicators model based on K-means clustering. This model is applied to the credible calculation of single behavior and the credible discrimination of similar behaviors. Experiments prove that this solution is feasible for providing new ideas for credibility testing.

    参考文献
    相似文献
    引证文献
引用本文

于学军,肖然.基于行为声明的可信性测试方法与可信度计算研究.计算机系统应用,2018,27(11):17-26

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2018-04-01
  • 最后修改日期:2018-04-24
  • 录用日期:
  • 在线发布日期: 2018-09-30
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京海淀区中关村南四街4号 中科院软件园区 7号楼305房间,邮政编码:100190
电话:010-62661041 传真: Email:csa (a) iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号