Modeling method for sequence testing with temporal constraints
DOI:
CSTR:
Author:
Affiliation:

Clc Number:

TH701

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    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.

    Reference
    Related
    Cited by
Get Citation
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:
  • Revised:
  • Adopted:
  • Online: February 10,2022
  • Published:
Article QR Code