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

作者:

Zhang, Kai (Zhang, Kai.) | Zhang, Yongtai (Zhang, Yongtai.) | Zhang, Liwei (Zhang, Liwei.) | Gao, Hongyu (Gao, Hongyu.) | Yan, Rongjie (Yan, Rongjie.) | Yan, Jun (Yan, Jun.)

收录:

CPCI-S

摘要:

Deep neural networks (DNNs) have been increasingly adopted in various applications. Systematic verification and validation is essential to guarantee the quality of such systems. Due to the scalability problem, formal methods can hardly be widely applied in practice. Testing is one of feasible solutions. However, lacking of input space specification for DNNs requires a large set of test cases to he constructed to increase the testing adequacy, which leads to high labeling cost of test cases. In this paper, we put forwards a test case prioritization method 14 DNN classifiers, which assigns high priorities to those cases that could lead to wrong classifications. The priorities are calculated according to the activation pattern of neurons acquired from the training sets and the activated neurons collected from certain inputs. For a trained model, the method consists of two steps. First, we accumulate neuron activation patterns over the training set, and construct a set of frequently activated neurons based on the frequency (times) of activation for every class. Second, the metrics are computed according to the comparison between the activated neurons of an input and the selected set of frequently activated neurons with iLs output The experimentation is carried out over three popular datasets with various neural network structures. The results demonstrate that the test cases with higher priorities are more prone to be mis-classified. And the prioritized lest cases over a DNN model within same datasets are also efficient in triggering mis-classilication of other DNNs with similar structures.

关键词:

Classifier Deep Neural Network Feature Extraction Test Case Prioritization

作者机构:

  • [ 1 ] [Zhang, Kai]Beijing Univ Technol, Coll Comp, Beijing, Peoples R China
  • [ 2 ] [Zhang, Yongtai]Beijing Univ Technol, Coll Comp, Beijing, Peoples R China
  • [ 3 ] [Gao, Hongyu]Beijing Univ Technol, Coll Comp, Beijing, Peoples R China
  • [ 4 ] [Yan, Rongjie]Chinese Acad Sci, State Key Lab Comp Sci, Beijing, Peoples R China
  • [ 5 ] [Yan, Jun]Chinese Acad Sci, State Key Lab Comp Sci, Beijing, Peoples R China
  • [ 6 ] [Zhang, Liwei]Univ Chinese Acad Sci, Beijing, Peoples R China
  • [ 7 ] [Yan, Jun]Univ Chinese Acad Sci, Beijing, Peoples R China

通讯作者信息:

  • [Yan, Rongjie]Chinese Acad Sci, State Key Lab Comp Sci, Beijing, Peoples R China

查看成果更多字段

相关关键词:

相关文章:

来源 :

2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020)

年份: 2020

页码: 81-88

语种: 英文

被引次数:

WoS核心集被引频次: 6

SCOPUS被引频次: 8

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

万方被引频次:

中文被引频次:

近30日浏览量: 2

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