Metamorphic testing automation framework with novel algorithms for testing non testable multi precision arithmetic and graph theory applications