Integer overflow is a common vulnerability in Ethereum Smart Contracts(ESCs)and often causes huge economic losses.Smart contracts cannot be changed once it is deployed on the blockchain and thus demand further testing...Integer overflow is a common vulnerability in Ethereum Smart Contracts(ESCs)and often causes huge economic losses.Smart contracts cannot be changed once it is deployed on the blockchain and thus demand further testing.Mutation testing is a fault-based testing method that can effectively improve the sufficiency of a test for smart contracts.However,existing methods cannot efficiently perform mutation testing specifically for integer overflow in ESCs.Therefore,by analyzing integer overflow in ESCs,we propose five special mutation operators to address such vulnerability in terms of detecting sufficiency in ESC testing.An empirical study on 40 open-source ESCs is conducted to evaluate the effectiveness of the proposed mutation operators.Results show that(1)our proposed mutation operators can reproduce all 179 integer overflow vulnerabilities in 40 smart contracts,and the generated mutants have high compilation pass rate and integer overflow vulnerability generation rate;moreover,(2)the generated mutants can find the shortcomings of existing testing methods for integer overflow vulnerability,thereby providing effective support to improve the sufficiency of the test.展开更多
Huaihe River Basin(HRB) is located in China’s north-south climatic transition zone,which is very sensitive to global climate change.Based on the daily maximum temperature,minimum temperature,and precipitation data of...Huaihe River Basin(HRB) is located in China’s north-south climatic transition zone,which is very sensitive to global climate change.Based on the daily maximum temperature,minimum temperature,and precipitation data of 40 meteorological stations and nine monthly large-scale ocean-atmospheric circulation indices data during 1959–2019,we present an assessment of the spatial and temporal variations of extreme temperature and precipitation events in the HRB using nine extreme climate indices,and analyze the teleconnection relationship between extreme climate indices and large-scale ocean-atmospheric circulation indices.The results show that warm extreme indices show a significant(P < 0.05) increasing trend,while cold extreme indices(except for cold spell duration) and diurnal temperature range(DTR) show a significant decreasing trend.Furthermore,all extreme temperature indices show significant mutations during 1959-2019.Spatially,a stronger warming trend occurs in eastern HRB than western HRB,while maximum 5-d precipitation(Rx5day) and rainstorm days(R25) show an increasing trend in the southern,central,and northwestern regions of HRB.Arctic oscillation(AO),Atlantic multidecadal oscillation(AMO),and East Atlantic/Western Russia(EA/WR) have a stronger correlation with extreme climate indices compared to other circulation indices.AO and AMO(EA/WR) exhibit a significant(P < 0.05) negative(positive)correlation with frost days and diurnal temperature range.Extreme warm events are strongly correlated with the variability of AMO and EA/WR in most parts of HRB,while extreme cold events are closely related to the variability of AO and AMO in eastern HRB.In contrast,AMO,AO,and EA/WR show limited impacts on extreme precipitation events in most parts of HRB.展开更多
<span style="font-family:Verdana;">The advent of technology has opened unprecedented opportunities in health care delivery system as the demand for intelligent and knowledge-based systems has increased...<span style="font-family:Verdana;">The advent of technology has opened unprecedented opportunities in health care delivery system as the demand for intelligent and knowledge-based systems has increased as modern medical practices become more knowledge-intensive. As a result of this, there is greater need to investigate the pervasiveness of software faults in Safety critical medical systems for proper diagnosis. The sheer volume of code in these systems creates significant concerns about the quality of the software. The rate of untimely deaths nowadays is alarming partly due to the medical device used to carry out the diagnosis process. A safety-critical medical (SCM) system is a complex system in which the malfunctioning of software could result in death, injury of the patient or damage to the environment. The malfunctioning of the software could be as a result of the inadequacy in software testing due to test suit problem or oracle problem. Testing a SCM system poses great challenges to software testers. One of these challenges is the need to generate a limited number of test cases of a given regression test suite in a manner that does not compromise its defect detection ability. This paper presents a novel five-stage fault-based testing procedure for SCM, a model-based approach to generate test cases for differential diagnosis of Tuberculosis. We used Prime Path Coverage and Edge-Pair Coverage as coverage criteria to ensure maximum coverage to identify feasible paths. We analyzed the proposed testing procedure with the help of three metrics consisting of Fault Detection Density, Fault Detection Effectiveness and Mutation Adequacy Score. We evaluated the effectiveness of our testing procedure by running the suggested test cases on a sample historical data of tuberculosis patients. The experimental results show that our developed testing procedure has some advantages such as creating mutant graphs and Fuzzy Cognitive Map Engine while resolving the problem of eliminating infeasible test cases for effective decision making.</span>展开更多
Based on the monthly precipitation data in Fuxin from 1951 to 2019,the M-K and Pettitt mutation test,Morlet wavelet analysis,CWT,XWT and WTC methods were used to study the correlation between precipitation and sunspot...Based on the monthly precipitation data in Fuxin from 1951 to 2019,the M-K and Pettitt mutation test,Morlet wavelet analysis,CWT,XWT and WTC methods were used to study the correlation between precipitation and sunspots in Fuxin in the past 69 years.The results show that from 1951 to 2019,only the spring precipitation in Fuxin showed an upward trend,and annual precipitation,the precipitation in the other three seasons and the annual number of sunspots all showed a relatively obvious downward trend.The first main cycles of annual precipitation,the annual number of sunspots,spring,summer,autumn and winter precipitation were quasi-28,quasi-16,quasi-51,quasi-51,quasi-27 and quasi-11 years,respectively.Annual precipitation,the annual number of sunspots,spring,summer,autumn and winter precipitation changed suddenly in 1980,2005,2005,1980,1992 and 1980,respectively.Both annual precipitation and seasonal precipitation had a relatively obvious resonance cycle of 5-15 years with sunspots,indicating that there was a good correlation between the annual number of sunspots and annual precipitation on an interannual scale.展开更多
Although mutation testing is one of the practical ways of enhancing test effectiveness in software testing, it could be sometimes infeasible in practical work for a large scale software so that the mutation testing be...Although mutation testing is one of the practical ways of enhancing test effectiveness in software testing, it could be sometimes infeasible in practical work for a large scale software so that the mutation testing becomes time-consuming and even in prohibited time. Therefore, the number of faults assumed to exist in the software under test should be reduced so as to be able to confine the time complexity of test within a reasonable period of time. This paper utilizes the concept of fault dominance and equivalence, which has long been employed in hardware testing, for revealing a novel way of reducing the number of faults assumed to hide in software systems. Once the number of faults assumed in software is decreased sharply, the effectiveness of mutation testing will be greatly enhanced and become a feasible way of software testing. Examples and experimental results are presented to illustrate the effectiveness and the helpfulness of the technology proposed in the paper.展开更多
基金supported by National Key R&D Program of China(No.2018YFB1403400)the National Natural Science Foundation of China(No.61702544)+1 种基金Natural Science Foundation of Jiangsu Province,China(Nos.BK20160769 and BK20141072)China Postdoctoral Science Foundation(No.2016M603031)。
文摘Integer overflow is a common vulnerability in Ethereum Smart Contracts(ESCs)and often causes huge economic losses.Smart contracts cannot be changed once it is deployed on the blockchain and thus demand further testing.Mutation testing is a fault-based testing method that can effectively improve the sufficiency of a test for smart contracts.However,existing methods cannot efficiently perform mutation testing specifically for integer overflow in ESCs.Therefore,by analyzing integer overflow in ESCs,we propose five special mutation operators to address such vulnerability in terms of detecting sufficiency in ESC testing.An empirical study on 40 open-source ESCs is conducted to evaluate the effectiveness of the proposed mutation operators.Results show that(1)our proposed mutation operators can reproduce all 179 integer overflow vulnerabilities in 40 smart contracts,and the generated mutants have high compilation pass rate and integer overflow vulnerability generation rate;moreover,(2)the generated mutants can find the shortcomings of existing testing methods for integer overflow vulnerability,thereby providing effective support to improve the sufficiency of the test.
基金Under the auspices of National Natural Science Foundation of China(No.52279016,51909106,51879108,42002247,41471160)Natural Science Foundation of Guangdong Province,China(No.2020A1515011038,2020A1515111054)+1 种基金Special Fund for Science and Technology Development in 2016 of Department of Science and Technology of Guangdong Province,China(No.2016A020223007)the Project of Jinan Science and Technology Bureau(No.2021GXRC070)。
文摘Huaihe River Basin(HRB) is located in China’s north-south climatic transition zone,which is very sensitive to global climate change.Based on the daily maximum temperature,minimum temperature,and precipitation data of 40 meteorological stations and nine monthly large-scale ocean-atmospheric circulation indices data during 1959–2019,we present an assessment of the spatial and temporal variations of extreme temperature and precipitation events in the HRB using nine extreme climate indices,and analyze the teleconnection relationship between extreme climate indices and large-scale ocean-atmospheric circulation indices.The results show that warm extreme indices show a significant(P < 0.05) increasing trend,while cold extreme indices(except for cold spell duration) and diurnal temperature range(DTR) show a significant decreasing trend.Furthermore,all extreme temperature indices show significant mutations during 1959-2019.Spatially,a stronger warming trend occurs in eastern HRB than western HRB,while maximum 5-d precipitation(Rx5day) and rainstorm days(R25) show an increasing trend in the southern,central,and northwestern regions of HRB.Arctic oscillation(AO),Atlantic multidecadal oscillation(AMO),and East Atlantic/Western Russia(EA/WR) have a stronger correlation with extreme climate indices compared to other circulation indices.AO and AMO(EA/WR) exhibit a significant(P < 0.05) negative(positive)correlation with frost days and diurnal temperature range.Extreme warm events are strongly correlated with the variability of AMO and EA/WR in most parts of HRB,while extreme cold events are closely related to the variability of AO and AMO in eastern HRB.In contrast,AMO,AO,and EA/WR show limited impacts on extreme precipitation events in most parts of HRB.
文摘<span style="font-family:Verdana;">The advent of technology has opened unprecedented opportunities in health care delivery system as the demand for intelligent and knowledge-based systems has increased as modern medical practices become more knowledge-intensive. As a result of this, there is greater need to investigate the pervasiveness of software faults in Safety critical medical systems for proper diagnosis. The sheer volume of code in these systems creates significant concerns about the quality of the software. The rate of untimely deaths nowadays is alarming partly due to the medical device used to carry out the diagnosis process. A safety-critical medical (SCM) system is a complex system in which the malfunctioning of software could result in death, injury of the patient or damage to the environment. The malfunctioning of the software could be as a result of the inadequacy in software testing due to test suit problem or oracle problem. Testing a SCM system poses great challenges to software testers. One of these challenges is the need to generate a limited number of test cases of a given regression test suite in a manner that does not compromise its defect detection ability. This paper presents a novel five-stage fault-based testing procedure for SCM, a model-based approach to generate test cases for differential diagnosis of Tuberculosis. We used Prime Path Coverage and Edge-Pair Coverage as coverage criteria to ensure maximum coverage to identify feasible paths. We analyzed the proposed testing procedure with the help of three metrics consisting of Fault Detection Density, Fault Detection Effectiveness and Mutation Adequacy Score. We evaluated the effectiveness of our testing procedure by running the suggested test cases on a sample historical data of tuberculosis patients. The experimental results show that our developed testing procedure has some advantages such as creating mutant graphs and Fuzzy Cognitive Map Engine while resolving the problem of eliminating infeasible test cases for effective decision making.</span>
基金Supported by the Scientific Research Project of Liaoning Meteorological Bureau in 2022(ZD202208,ZD202257)。
文摘Based on the monthly precipitation data in Fuxin from 1951 to 2019,the M-K and Pettitt mutation test,Morlet wavelet analysis,CWT,XWT and WTC methods were used to study the correlation between precipitation and sunspots in Fuxin in the past 69 years.The results show that from 1951 to 2019,only the spring precipitation in Fuxin showed an upward trend,and annual precipitation,the precipitation in the other three seasons and the annual number of sunspots all showed a relatively obvious downward trend.The first main cycles of annual precipitation,the annual number of sunspots,spring,summer,autumn and winter precipitation were quasi-28,quasi-16,quasi-51,quasi-51,quasi-27 and quasi-11 years,respectively.Annual precipitation,the annual number of sunspots,spring,summer,autumn and winter precipitation changed suddenly in 1980,2005,2005,1980,1992 and 1980,respectively.Both annual precipitation and seasonal precipitation had a relatively obvious resonance cycle of 5-15 years with sunspots,indicating that there was a good correlation between the annual number of sunspots and annual precipitation on an interannual scale.
基金the National Natural Science Foundation of China (No. 60473033)
文摘Although mutation testing is one of the practical ways of enhancing test effectiveness in software testing, it could be sometimes infeasible in practical work for a large scale software so that the mutation testing becomes time-consuming and even in prohibited time. Therefore, the number of faults assumed to exist in the software under test should be reduced so as to be able to confine the time complexity of test within a reasonable period of time. This paper utilizes the concept of fault dominance and equivalence, which has long been employed in hardware testing, for revealing a novel way of reducing the number of faults assumed to hide in software systems. Once the number of faults assumed in software is decreased sharply, the effectiveness of mutation testing will be greatly enhanced and become a feasible way of software testing. Examples and experimental results are presented to illustrate the effectiveness and the helpfulness of the technology proposed in the paper.