The Design And Application Of Dynamic Discovery Tool For Likely Metamorphosis Relation

Software testing which runs through the whole life cycle of the software,it is an important mean to ensure and improve the quality of software.Software testing is faced with a challenging problem---Test Oracle,that is to say,it is difficult for a tester to construct the expected output of the program.Therefore,it is impossible to determine whether the actual output of the program is correct.Metamorphic testing technology is an effective way to alleviate the Oracle problem.It is usually necessary to construct several metamorphic relations for the program when using the technology.The existing methods for constructing metamorphic relations include static analysis method and dynamic discovery method.The static analysis method is constructed by mathematical analysis,and the dynamic discovery method is based on a large number of test cases(trajectory data)whose program have been successfully run and it is found that the heuristic information is called the likely metamorphic relation.The dynamic discovery method provides a new way for constructing metamorphic relations.This paper first studies the dynamic method of the likely metamorphic relation,designs the dynamic discovery algorithm,develops the instruments of likely metamorphic relation discovery tool.Then proves the effect of the likely metamorphic relation by a preliminary example,and then further optimizes the tool to improve its efficiency.Finally,the application research in the nuclear power design and analysis software is carried out.Reducing the operational data of the module according to the neutron beam intensity.we can dynamically discover the likely metamorphic relation and provide heuristic information for discovering the metamorphic relation by the tool developed in this paper.