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

Table 4

Testing result for TestCondiDll1 using condition mutation.

Method name	Pre-condition(Prc)	Mutated Prc(Prc′)	Type-number of Test cases that meet Prc	Type-number of Test cases that violate Prc
JudgeTriangle	50>𝑎>0&&50>𝑏>0&&50>𝑐>0	50>𝑎≥0&&50≥𝑏>0&&𝑐>50	1 (1)	124 (4)
GetLargest	(𝑎>100‖𝑏<100)&&𝑐>0	(𝑎<100‖𝑏≤100)&&𝑐>0	5 (1)	22 (3)
Withdraw	0<𝑎<100	𝑎≥100	1 (1)	4 (2)
Subtract	𝑎>𝑏‖𝑏>𝑐	𝑎≥𝑏‖𝑏<𝑐	5 (1)	4 (3)
Multiply	(0<𝑎<400‖100<𝑏<800)&&100>𝑐>0	(0<𝑎≤400‖𝑏=800)&&100>𝑐>0	9 (3)	116 (4)
And	0<𝑎<400‖100<𝑏<800	0<𝑎<400‖𝑏>800	9 (4)	16 (4)