An Approach of Vulnerability Testing for Third-Party Component Based on Condition and Parameter Mutation

Algorithm 1

PCMA.

Stipulation:𝐸={Exp₁₁&&𝐸𝑥𝑝₁₂…&&𝐸𝑥𝑝_1𝑠,…,𝐸𝑥𝑝_𝑚1&&𝐸𝑥𝑝_𝑚2…&&𝐸𝑥𝑝_𝑚𝑡},

𝐸_𝑖=𝐸𝑥𝑝_𝑖1&&𝐸𝑥𝑝_𝑖𝑗…&&𝐸𝑥𝑝_𝑖𝑛, 𝐸_𝑖𝑗=𝐸𝑥𝑝_𝑖𝑗, 𝑇 is the mutant set of pre-conditions

Input:𝐸

Output: T

(01) 𝑆=MSA (𝐸₀);

(02) 𝑇=Φ;

(03) for(𝑖=1; 𝑖<𝑚; ++i)

(04) {

(05)  𝑇=Φ;

(06)  for(each 𝑥 in 𝑆)

(07)    for(each 𝑦 in MSA(𝐸_𝑖)

(08)    if (!IsExclusive(x && y)

(09)     𝑇=𝑇∪(x && y );

(10)    𝑆=𝑇;

(11)  }

(12) return 𝑇;