Real-Time Extended Interface Automata for Software Testing Cases Generation

Algorithm 1

  Begin:

  𝑉₀ = ENTRY, 𝑖=𝑗=𝑘=1  𝐶𝑜𝑣=0; //𝑗 denotes all the controllable operating segments that

have been searched already, 𝐼 denotes the current segments, 𝑘 denotes the produced test cases,

Cov denotes the coverage.

  While (𝑗≤𝑚 and Cov<100%)

  {

  If (find a unmarked 𝐸𝑥𝑒𝑐(𝑗) and ℎ𝑒𝑎𝑑𝐸𝑥𝑒𝑐𝑗==𝑉₀ and 𝑖>0)

      {

      Record 𝐸𝑥𝑒𝑐(𝑗) and mark it;

      If (𝑡𝑎𝑖𝑙𝐸𝑥𝑒𝑐𝑗==𝐸𝑁𝐷)

        {

        Record these execution 𝐶𝑎𝑠𝑒(𝑘)=𝐸𝑥𝑒𝑐(𝐸𝑁𝑇𝑅𝑌…)……𝐸𝑥𝑒𝑐(…𝐸𝑁𝐷);

         𝑘=𝑘+1;

        Run 𝐶𝑎𝑠𝑒(𝐾) and refresh Cov;

        }

      𝑉₀=𝑡𝑎𝑖𝑙𝐸𝑥𝑒𝑐𝑗;

      𝑗=𝑗+1;

      𝑖=𝑗

      }

  𝑉₀=ℎ𝑒𝑎𝑑𝐸𝑥𝑒𝑐𝑗;

  𝐼=𝑖−1;

  }

  End.