Research Article
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 | &&&& | &&&& | 1 (1) | 124 (4) | GetLargest | ()&& | ()&& | 5 (1) | 22 (3) | Withdraw | | | 1 (1) | 4 (2) | Subtract | | | 5 (1) | 4 (3) | Multiply | ()&& | ()&& | 9 (3) | 116 (4) | And | | | 9 (4) | 16 (4) |
|
|