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. T...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.展开更多
The Wugong Mts. region may have experienced three stages of metamorphism in Early Paleo-zoic, which may be closely related to the generations of regional deformation. The first stage ismedium-pressure metamorphism, th...The Wugong Mts. region may have experienced three stages of metamorphism in Early Paleo-zoic, which may be closely related to the generations of regional deformation. The first stage ismedium-pressure metamorphism, the second medium- and high-pressure one with stress on high-pressure metamorphism, and the third low-pressure and high-temperature metamorphism. Theregion, as a whole, is a Caledonian medium-high pressure metamorphic belt.展开更多
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 deli...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.展开更多
Marble is a metamorphic rock, which is one of the 3 basic rock types (magmatic, sedimentary, metamorphic) forming the earth’s crust. The major characteristic sought after in a rock mass in the field for it to be expo...Marble is a metamorphic rock, which is one of the 3 basic rock types (magmatic, sedimentary, metamorphic) forming the earth’s crust. The major characteristic sought after in a rock mass in the field for it to be exportable and usable as marble is its suitability to be cut in blocks. In the process of producing marble slabs from marble blocks, the blocks are expected not to contain potentially problematic hard or weak zones and their geomechanical and chemical properties should conform to the relevant standards. Ignoring of the geological properties of the rock in the process of deciding for marble production at a marble site and determination of production location, direction and method is the most important parameter that would increase production loss. In order to reduce losses by determination of geological properties of marble, many academic studies have been conducted on the effects of water saturation, temperature, freezing and thawing on its mechanical and fracture properties. There are further studies on crack propagation in marble under stress. However, even those marble blocks that are obtained based on geological parameters may suffer serious cracks or fractures due to stresses caused by their weight and geometry. Therefore, cutting direction is of critical importance in order to minimize marble waste in the process of cutting a marble block which is brought to the inventory or processing site with cracks, cavities or fractures. Certain studies exist within such context, where the geometry of the discontinuity within a block is determined using non-destructive methods, such as ultrasonic testing, in order to determine the appropriate cutting direction. Such studies made use of ultrasonic waves to determine the physical and chemical structures of magmatic and sedimentary rocks by measuring the progress velocity of sonic waves in the rock. Said studies, however, mostly worked on sedimentary and magmatic rock specimens, focusing less on metamorphic rocks such as marble due to their anisotropic properties. Understanding the academic literature studies on marble would provide significant contribution to the reduction of production losses during the processing marble blocks in processing plants and the achievement of production efficiency levels that are within economic limits. Within such scope, this study has reviewed the past academic studies on marble, classified them under 6 categories, and comprehensively analyzed each category based on materials, testing setups, test specimens, test parameters and research techniques.展开更多
基金The National Natural Science Foundation of China(No.60425206,60633010,60773104,60503033)the Excellent Talent Foundation of Teaching and Research of Southeast University
文摘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.
文摘The Wugong Mts. region may have experienced three stages of metamorphism in Early Paleo-zoic, which may be closely related to the generations of regional deformation. The first stage ismedium-pressure metamorphism, the second medium- and high-pressure one with stress on high-pressure metamorphism, and the third low-pressure and high-temperature metamorphism. Theregion, as a whole, is a Caledonian medium-high pressure metamorphic belt.
基金The work was supported by a grant from National Natural Science Foundation of China(No.61772423).
文摘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.
文摘Marble is a metamorphic rock, which is one of the 3 basic rock types (magmatic, sedimentary, metamorphic) forming the earth’s crust. The major characteristic sought after in a rock mass in the field for it to be exportable and usable as marble is its suitability to be cut in blocks. In the process of producing marble slabs from marble blocks, the blocks are expected not to contain potentially problematic hard or weak zones and their geomechanical and chemical properties should conform to the relevant standards. Ignoring of the geological properties of the rock in the process of deciding for marble production at a marble site and determination of production location, direction and method is the most important parameter that would increase production loss. In order to reduce losses by determination of geological properties of marble, many academic studies have been conducted on the effects of water saturation, temperature, freezing and thawing on its mechanical and fracture properties. There are further studies on crack propagation in marble under stress. However, even those marble blocks that are obtained based on geological parameters may suffer serious cracks or fractures due to stresses caused by their weight and geometry. Therefore, cutting direction is of critical importance in order to minimize marble waste in the process of cutting a marble block which is brought to the inventory or processing site with cracks, cavities or fractures. Certain studies exist within such context, where the geometry of the discontinuity within a block is determined using non-destructive methods, such as ultrasonic testing, in order to determine the appropriate cutting direction. Such studies made use of ultrasonic waves to determine the physical and chemical structures of magmatic and sedimentary rocks by measuring the progress velocity of sonic waves in the rock. Said studies, however, mostly worked on sedimentary and magmatic rock specimens, focusing less on metamorphic rocks such as marble due to their anisotropic properties. Understanding the academic literature studies on marble would provide significant contribution to the reduction of production losses during the processing marble blocks in processing plants and the achievement of production efficiency levels that are within economic limits. Within such scope, this study has reviewed the past academic studies on marble, classified them under 6 categories, and comprehensively analyzed each category based on materials, testing setups, test specimens, test parameters and research techniques.
