A Method for Determining whether a Simulink Model is Ready for Test Generation

情報処理学会

抄録

Model-based development (MBD), in which development specifications are written in Simulink, is widely used in the development of embedded control systems. Automatic test generation tools are used to reduce the effort of creating test cases. However, depending on how the model is written, automated generation tools may fail, and it takes time to determine generation failure. In this paper, we propose a method to predict the feasibility of the model test case generation. Specifically, we evaluate the validity of feature generation using the bag of nodes representation of our method and summary statistics of the graphs. The results show that although the AUC of 0.628 is not practically accurate, the initial results using large amounts of data are promising.

Model-based development (MBD), in which development specifications are written in Simulink, is widely used in the development of embedded control systems. Automatic test generation tools are used to reduce the effort of creating test cases. However, depending on how the model is written, automated generation tools may fail, and it takes time to determine generation failure. In this paper, we propose a method to predict the feasibility of the model test case generation. Specifically, we evaluate the validity of feature generation using the bag of nodes representation of our method and summary statistics of the graphs. The results show that although the AUC of 0.628 is not practically accurate, the initial results using large amounts of data are promising.

収録刊行物

詳細情報 詳細情報について

  • CRID
    1050574047121952128
  • NII論文ID
    170000184472
  • Web Site
    http://id.nii.ac.jp/1001/00210233/
  • 本文言語コード
    en
  • 資料種別
    conference paper
  • データソース種別
    • IRDB
    • CiNii Articles

問題の指摘

ページトップへ