• Complex
  • Title
  • Keyword
  • Abstract
  • Scholars
  • Journal
  • ISSN
  • Conference
搜索

Author:

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

Indexed by:

EI Scopus

Abstract:

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.

Keyword:

Computation theory Application programs Verification Testing

Author Community:

  • [ 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

Reprint Author's Address:

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

Show more details

Related Keywords:

Related Article:

Source :

ISSN: 1876-1100

Year: 2019

Volume: 542

Page: 1-10

Language: English

Cited Count:

WoS CC Cited Count: 0

SCOPUS Cited Count: 2

ESI Highly Cited Papers on the List: 0 Unfold All

WanFang Cited Count:

Chinese Cited Count:

30 Days PV: 10

Online/Total:1244/10823109
Address:BJUT Library(100 Pingleyuan,Chaoyang District,Beijing 100124, China Post Code:100124) Contact Us:010-67392185
Copyright:BJUT Library Technical Support:Beijing Aegean Software Co., Ltd.