中文

Journal of Applied Sciences ›› 2023, Vol. 41 ›› Issue (2): 326-343.doi: 10.3969/j.issn.0255-8297.2023.02.012

• Computer Science and Applications • Previous Articles     Next Articles

Experimental Evaluation of FSM Conformance Testing Based on Structure Coverage and State Identification

LIN Weiwei1,2, ZENG Hongwei1, MIAO Huaikou1, WANG Xiaolin3   

  1. 1. School of Computer Engineering and Science, Shanghai University, Shanghai 200444, China;
    2. Shanghai Key Laboratory of Computer Software Evaluating & Testing, Shanghai 201114, China;
    3. School of Information Science and Engineering, Jiaxing University, Jiaxing 314001, Zhejiang, China
  • Received:2021-07-02 Online:2023-03-31 Published:2023-03-29

PDF

447

Abstract: In finite state machine (FSM) conformance testing, there are two widely used test generation techniques which are based on structure coverage and state identification respectively. Under the condition of scarce test resources, we often face the problem of weighing selection of different test methods. To the best of our knowledge, there is no comprehensive comparative study of these two test techniques so far. This paper presents the necessity of experimental evaluation of the two test methods, and conducts experiments based on 10 FSM empirical cases. The performance is evaluated in terms of test cost and fault coverage capability, so as to provide empirical suggestions for the selection and application of these two techniques in FSM conformance testing.

Key words: finite state machine, structure coverage, state identification, coverage criterion, empirical study

CLC Number: