Verification test process of numerical calculation program in Nuclear power design analysis software,focus on the correctness of the numerical algorithms execution. But it has Oracle problems,namely the testers are difficult to construct or get program expected output to verify the calculation results are correct. Metamorphic testing without expected output to verify the results has been applied in the field of software testing. Its key point is metamorphic relations. This paper introduces Metamorphic testing technology to address the above problems as mentioned. This technology deduces metamo...
