konveyor / tackle-test-generator-core

Apache License 2.0
28 stars 21 forks source link

Extend combinatorial coverage measurement to support interfaces with compound types #104

Open rachelt44 opened 3 years ago

rachelt44 commented 3 years ago

Is your feature request related to a problem? Please describe.

Currently combinatorial coverage of generated test cases is computed for methods with no compound types in their interfaces.

Describe the solution you'd like

Extend current combinatorial coverage measurement to support compound types. This will require collecting combinatorial coverage of randoop and evosuite generated test cases (probably using dynamic analysis), and creating a cross product of all element combinations for the combinatorial model.

Describe alternatives you've considered

A clear and concise description of any alternative solutions or features you've considered.

Additional context

Add any other context or screenshots about the feature request here.