Case studies on testing with compositional metamorphic relations

Some metamorphic relations （MR） are not good at detecting faults in metamorphic testing. In this paper, the method of making compositional MR （CMR） based on the speculative law of proposition logic is presented. This method constructs new MRs by composing existing MRs in a pairwise way. Because CMR contains all the advantages of the MRs that form it, its fault detection performance is wonderful. On the other hand, the number of relations will decrease greatly after composing, so a program can be tested with much fewer test cases when CMRs are used. In order to research the characteristics of a CMR, two case studies are analyzed. The experimental results show that the CMR＇s performance is mostly determined by the central MRs forming it and the sequence of composition. Testing efficiency is improved greatly when CMRs are used.

AN EVALUATION APPROACH FOR THE PROGRAM OF ASSOCIATION RULES ALGORITHM BASED ON METAMORPHIC RELATIONS

As data mining more and more popular applied in computer system,the quality as-surance test of its software would be get more and more attention.However,because of the ex-istence of the 'oracle' problem,the traditional test method is not ease fit for the application program in the field of the data mining.In this paper,based on metamorphic testing,a software testing method is proposed in the field of the data mining,makes an association rules algorithm as the specific case,and constructs the metamorphic relation on the algorithm.Experiences show that the method can achieve the testing target and is feasible to apply to other domain.

METARO^(3):Metamorphic Relation Group for Automatic Program Repair

The application of metamorphic testing(MT)on automatic program repair(APR-MT)is used to generate a patch without test oracles by examining whether the input metamorphic relation(MR)is satisfied or not.However,the delivered patch is plausible since it may satisfy the input MR but violate other MRs.This inspires us to propose an improved approach to enhance the effectiveness of APR-MT with metamorphic relation group.Ourapproach involves three major steps.First,we formally define the repair process of APR-MT by building the model of automatic program repair and metamorphic testing separately.Then,we propose the advanced model of automatic program repair based on metamorphic relation group,named METARO^(3),which takes several MRs as input while only one MR is used in APR-MT.We additionally present two kinds of selection strategies to rank MRs in descending order of the fault detection capability,which helps shorten the repair time of finding a patch.To demonstrate the feasibility and procedure of our approach,an illustration example was conducted.The results show that METARO^(3) can improve the effectiveness of APR-MT significantly.

Life Prediction Model of Machine Tool based on Deep Learning

In view of the shortage of traditional life prediction methods for machine tools,such as low accuracy of life prediction and few samples basis attributes,a life prediction model of machine tools combined with machine tool attributes is proposed.The life prediction model of machine tool adopts KL dispersion distribution theory,uses modal superposition method to carry out machine tool life analysis,calculates the theoretical life of machine tool,and then carries on the simulation,obtains the machine tool life prediction value.Compared with the traditional method of machine tool life prediction,the model is based on the application life fatigue damage model,which superimposes the service times and maintenance cycle of the machine tool,derives the influence factor of machine tool life,and obtains the linear relationship between the influence factor of machine tool life and the life of machine tool.The influence factor of machine tool life is introduced as the life prediction parameter of machine tool.The data transformation relationship of HT300 parts is constructed.The original part data is enhanced.The effective training set is obtained.The life prediction model of machine tool based on deep learning is completed.The quantitative analysis of machine tool life is carried out.The experiment of machine tool life prediction using training data set proves the validity of the model.Regression test was carried out on the training data set to reflect the robustness of the model.The prediction accuracy of the model is further verified by Weibull test.