• 综合
  • 标题
  • 关键词
  • 摘要
  • 学者
  • 期刊-刊名
  • 期刊-ISSN
  • 会议名称
搜索

作者:

Yu, Xuejun (Yu, Xuejun.) | Xiao, Ran (Xiao, Ran.)

收录:

EI Scopus

摘要:

The core of this article is based on application behavior declaration, using the 'words match deeds' as the standard of judgment, comparing 'words' with 'lines', and then using the implicit indicator model to calculate the credibility of the behavior. This paper presents the concept of action path of application behavior, the definition of three types of program event, the recessive parameter model and the concept of credibility-degree calculation. It provides a new idea for the research of credible Verification method. © 2019, Springer Nature Singapore Pte Ltd.

关键词:

Computation theory Application programs Verification Testing

作者机构:

  • [ 1 ] [Yu, Xuejun]Faculty of Information Technology, Beijing University of Technology, Beijing; 100124, China
  • [ 2 ] [Xiao, Ran]Faculty of Information Technology, Beijing University of Technology, Beijing; 100124, China

通讯作者信息:

  • [xiao, ran]faculty of information technology, beijing university of technology, beijing; 100124, china

电子邮件地址:

查看成果更多字段

相关关键词:

相关文章:

来源 :

ISSN: 1876-1100

年份: 2019

卷: 542

页码: 1-10

语种: 英文

被引次数:

WoS核心集被引频次: 0

SCOPUS被引频次: 2

ESI高被引论文在榜: 0 展开所有

万方被引频次:

中文被引频次:

近30日浏览量: 0

归属院系:

在线人数/总访问数:103/3908781
地址:北京工业大学图书馆(北京市朝阳区平乐园100号 邮编:100124) 联系我们:010-67392185
版权所有:北京工业大学图书馆 站点建设与维护:北京爱琴海乐之技术有限公司