Experimental Evaluation of FSM-Based Testing Cost for Time-Delay Systems

Algorithm 1

MinTSByWeight.

Inputs:

FSM

𝑇: A set of initial test set

𝐾: A coverage criterion

Output:

𝑇^′: The minimum test suite satisfy the criterion 𝐾

Process:

(1)    Set 𝑇^′=∅;

(2)    Initial TR_𝐾(𝑀); //test requirement set satisfy

                  //criterion 𝐾.

(3)    Initial test coverage info TS by calculating covering

            weight (𝑤(𝑡))/|TR_𝐾(𝑀)| of 𝑇.

(4)    While TS_𝐾(𝑀,𝑇^′)≠TS_𝐾(𝑀,𝑇) do

(5)     If 𝐾in(SC||TC||IF) and NOT the 1st time

(6)      Re-adjust covering weights of the remaining

              sequences;

(7)     Select the minimum weight from the weights of all sequences in 𝑇;

(8)     For each 𝑡 in 𝑇

(9)      If (TS_𝐾(𝑀,𝑇^′+{𝑡}))/(TS_𝐾(𝑀,𝑇^′))≠∅

               𝑇^′=𝑇^′+{𝑡}

(10) End of While

(11)  return 𝑇^′