Modeling method for sequence testing with temporal constraints

被引：0
|
作者：
Sheng Y. [1 ]
Wei C. [1 ]
Liu Y. [1 ]
Jiang S. [1 ]
机构：
[1] Automatic Test and Control Institute, Harbin Institute of Technology, Harbin
来源：
Yi Qi Yi Biao Xue Bao/Chinese Journal of Scientific Instrument | 2019年 / 40卷 / 06期
关键词：
Constraint description; Sequence test; Software test; Target evaluation; Temporal constraints;
D O I：
10.19650/j.cnki.cjsi.J1601278
中图分类号：
学科分类号：
摘要：
To generate the test sequence, it has to achieve the description of temporal constraints. At present, there is no effective method to realize this objective. Therefore, a modeling method for sequence testing with temporal constraints is proposed in this article. The allowable intervals of state transition are proposed, which can describe the continuous appearing number of a former state when there is a state transition. Another problem of sequence testing is how to evaluate the target coverage degree effectively. This problem is solved by introducing kernel functions to evaluate the target coverage degree of test sequences. Finally, the real cases are modeled based on the proposed method. The availability and feasibility of the method are validated. © 2019, Science Press. All right reserved.
引用
收藏
页码：213 / 220
页数：7
相关论文
共 20 条
  • [1] Offutt J., Liu S., Abdurazik A., Et al., Generating test data from state-based specifications, Software Testing, Verification and Reliability, 13, 1, pp. 25-53, (2003)
  • [2] Kruse P.M., Enhanced test case generation with the classification tree method, (2014)
  • [3] Liu S.S., Lv C., Approach of optimal diagnosis test sequence based on improved information entropy, Electronic Measurement Technology, 36, 12, pp. 28-31, (2013)
  • [4] Buchner F., Test case design using the classification tree method, Atzelektronik Worldwide, 2, 1, pp. 15-17, (2007)
  • [5] Conrad M., Krupp A., An extension of the classification-tree method for embedded systems for the description of events, Electronic Notes in Theoretical Computer Science, 164, 4, pp. 3-11, (2006)
  • [6] Conrad M., Fey I., Sadeghipour S., Systematic model-based testing of embedded automotive software, Electronic Notes in Theoretical Computer Science, 111, pp. 13-26, (2005)
  • [7] Ferrer J., Kruse P.M., Chicano F., Et al., Search based algorithms for test sequence generation in functional testing, Information & Software Technology, 58, pp. 419-432, (2015)
  • [8] Zamli K.Z., Othman R.R., Zabil M.H.M., On sequence based interaction testing, Computers and Informatics, pp. 662-667, (2011)
  • [9] Kuhn D.R., Higdon J.M., Lawrence J.F., Et al., Combinatorial methods for event sequence testing, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, pp. 601-609, (2012)
  • [10] Gao X., Wang X., A new method to generate test sequences for protocol conformance testing, Journal of Electronic Measurement and Instrument, 21, 2, pp. 31-34, (2007)
12