Adaptive Random Testing with Combinatorial Input Domain

Algorithm 2

The algorithm of FSCS-CID.

Input: A test profile, TP(𝑘,|𝑉₁||𝑉₂|⋯|𝑉_𝑘|).

Output: The size of the executed set 𝐸 and the first failure-causing input when meeting the StopCon1 (or the size of 𝐸 when meeting the StopCon2).

(1) Set 𝐸={}, and 𝑙=10;

(2) Randomly generate a test case 𝑡_𝑐, according to TP(𝑘,|𝑉₁||𝑉₂|⋯|𝑉_𝑘|) by the uniform distribution;

(3) Run the program with 𝑡_𝑐, and 𝐸=𝐸⋃{𝑡_𝑐};

(4) while (The StopCon1 (or StopCon2) is not satisfied)

(5) Randomly generate 𝑙 candidates from TP(𝑘,|𝑉₁||𝑉₂|⋯|𝑉_𝑘|), according to uniform distribution to form the candidate set 𝐶={𝑐₁,𝑐₂,…,𝑐_𝑙};

(6) Set 𝑡_𝑐=BTES(𝐶,𝐸);

(7) Run the program with 𝑡_𝑐, and 𝐸=𝐸⋃{𝑡_𝑐};

(8) end  while

(9) return  |𝐸| and 𝑡_𝑐 for the StopCon1 (or |𝐸| for the StopCon2).