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

作者:

Wang, Dan (Wang, Dan.) (学者:王丹) | Lu, Yan (Lu, Yan.) | Zhao, Wenbing (Zhao, Wenbing.) | Fu, Lihua (Fu, Lihua.)

收录:

EI Scopus PKU CSCD

摘要:

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 about 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.

关键词:

Dynamics Application programs Static analysis Input output programs

作者机构:

  • [ 1 ] [Wang, Dan]College of Computer Science and Technology, Beijing University of Technology, Beijing 100124, China
  • [ 2 ] [Lu, Yan]College of Computer Science and Technology, Beijing University of Technology, Beijing 100124, China
  • [ 3 ] [Zhao, Wenbing]College of Computer Science and Technology, Beijing University of Technology, Beijing 100124, China
  • [ 4 ] [Fu, Lihua]College of Computer Science and Technology, Beijing University of Technology, Beijing 100124, China

通讯作者信息:

电子邮件地址:

查看成果更多字段

相关关键词:

相关文章:

来源 :

Journal of Huazhong University of Science and Technology (Natural Science Edition)

ISSN: 1671-4512

年份: 2013

期: 1

卷: 41

页码: 41-45

被引次数:

WoS核心集被引频次: 0

SCOPUS被引频次:

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

万方被引频次:

中文被引频次:

近30日浏览量: 3

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