2015 Software

KABU: Dynamic Inference Tool of Metamorphic Properties

Su, Fang-Hsiang

Metamorphic testing is an advanced technique to test programs without a true test oracle such as machine learning applications. Because these programs have no general oracle to identify their correctness, traditional testing techniques such as unit testing may not be helpful for developers to detect potential bugs. KABU uses pre-defined input adapters, transformers and checkers to infer metamorphic properties from programs.