Being different from testing for popular GUI software, the “instruction-category” approach is proposed for testing embedded system. This approach is constructed by three steps including refining items, drawing instr...Being different from testing for popular GUI software, the “instruction-category” approach is proposed for testing embedded system. This approach is constructed by three steps including refining items, drawing instruction-brief and instruction-category, and constructing test suite. Consequently, this approach is adopted to test oven embedded system, and detail process is deeply discussed. As a result, the factual result indicates that the “instruction-category” approach can be effectively applied in embedded system testing as a black-box method for conformity testing.展开更多
Both unit and integration testing are incredibly crucial for almost any software application because each of them operates a distinct process to examine the product.Due to resource constraints,when software is subject...Both unit and integration testing are incredibly crucial for almost any software application because each of them operates a distinct process to examine the product.Due to resource constraints,when software is subjected to modifications,the drastic increase in the count of test cases forces the testers to opt for a test optimization strategy.One such strategy is test case prioritization(TCP).Existing works have propounded various methodologies that re-order the system-level test cases intending to boost either the fault detection capabilities or the coverage efficacy at the earliest.Nonetheless,singularity in objective functions and the lack of dissimilitude among the re-ordered test sequences have degraded the cogency of their approaches.Considering such gaps and scenarios when the meteoric and continuous updations in the software make the intensive unit and integration testing process more fragile,this study has introduced a memetics-inspired methodology for TCP.The proposed structure is first embedded with diverse parameters,and then traditional steps of the shuffled-frog-leaping approach(SFLA)are followed to prioritize the test cases at unit and integration levels.On 5 standard test functions,a comparative analysis is conducted between the established algorithms and the proposed approach,where the latter enhances the coverage rate and fault detection of re-ordered test sets.Investigation results related to the mean average percentage of fault detection(APFD)confirmed that the proposed approach exceeds the memetic,basic multi-walk,PSO,and optimized multi-walk by 21.7%,13.99%,12.24%,and 11.51%,respectively.展开更多
Aspect-oriented programs have received much attention from software testing researchers. Various testing techniques and approaches have been proposed to tackle issues and challenges when testing aspect-oriented progra...Aspect-oriented programs have received much attention from software testing researchers. Various testing techniques and approaches have been proposed to tackle issues and challenges when testing aspect-oriented programs including traditional mutation testing. In traditional mutation testing of aspect-oriented programs, mutants are generated by making small changes to the syntax of the aspect-oriented language. Recently, a new approach known as semantic mutation testing has been proposed. This approach mutates the semantics of the language in which the program is written. The mutants generated misunderstandings of the language which are different classes of faults. Aspect-oriented programming presents itself with different properties that can be further explored with respect to semantic mutation testing. This paper describes various possible scenarios that semantic mutation testing strategy might have particular value in testing aspect-oriented programs.展开更多
Soil tensile strength is a critical parameter governing the initiation and propagation of tensile cracking.This study proposes an eco-friendly approach to improve the tensile behavior and crack resistance of clayey so...Soil tensile strength is a critical parameter governing the initiation and propagation of tensile cracking.This study proposes an eco-friendly approach to improve the tensile behavior and crack resistance of clayey soils.To validate the feasibility and efficacy of the proposed approach,direct tensile tests were employed to determine the tensile strength of the compacted soil with different W-OH treatment concentrations and water contents.Desiccation tests were also performed to evaluate the effectiveness of W-OH treatment in enhancing soil tensile cracking resistance.During this period,the effects of W-OH treatment concentration and water content on tensile properties,soil suction and microstructure were investigated.The tensile tests reveal that W-OH treatment has a significant impact on the tensile strength and failure mode of the soil,which not only effectively enhances the tensile strength and failure displacement,but also changes the brittle failure behavior into a more ductile quasi-brittle failure behavior.The suction measurements and mercury intrusion porosimetry(MIP)tests show that W-OH treatment can slightly reduce soil suction by affecting skeleton structure and increasing macropores.Combined with the microstructural analysis,it becomes evident that the significant improvement in soil tensile behavior through W-OH treatment is mainly attributed to the W-OH gel's ability to provide additional binding force for bridging and encapsulating the soil particles.Moreover,desiccation tests demonstrate that W-OH treatment can significantly reduce or even inhibit the formation of soil tensile cracking.With the increase of W-OH treatment concentration,the surface crack ratio and total crack length are significantly reduced.This study enhances a fundamental understanding of eco-polymer impacts on soil mechanical properties and provides valuable insight into their potential application for improving soil crack resistance.展开更多
In this paper, the test suite construction for GUI (Graphical User Interface) software may be executed centered on grey-box approach with the prior test design of window access controls for unit testing, including fro...In this paper, the test suite construction for GUI (Graphical User Interface) software may be executed centered on grey-box approach with the prior test design of window access controls for unit testing, including front-end method of white box and follow-up black box method for integration testing. Moreover, two key opinions are proposed for the test suite construction for GUI software, the first one is that the “Triple-step method” should be used for unit testing with the prior disposing of data boundary value testing of input controls, and another one is that the “Grey-box approach” should be applied in integration testing for GUI software with necessary testing preparation in the precondition. At the same time, the testing of baseline version and the incremental testing should be considered for the test case construction to coordinate with the whole evolution of software product today. Additionally, all our opinion and thought are verified and tested with a typical case of GUI software—PQMS (Product Quality Monitoring Software/System), and results indicate that these methods and specific disposing are practical and effective.展开更多
In this paper, by means of effective testing practices, main strategies of integration testing for GUI software, including differentiating strategy for distinguished system, strategy of personnel organization, increme...In this paper, by means of effective testing practices, main strategies of integration testing for GUI software, including differentiating strategy for distinguished system, strategy of personnel organization, incremental testing strategy based on baseline version, testing strategy of circulating loop through the whole life, and the strategy of test suite construction, were briefly investigated. Moreover, for the code analysis, the FTA (Fault Tree analysis) is proposed to deal with the software change in regression testing. For test suite constructing, the constructing methods for baseline version and the incremental change are deeply discussed, in which main points focus on the testing strategy based on “Sheet/Form”, the “Grey-box approach” for integration testing process, and the application of the improved STD (State Transform Diagram) in state testing. At the same time, the suite construction of integration testing for two types, including small scale program and large scale software, is analyzed and discussed in detail. For testing execution, the specific method based on “Cross-testing” is investigated. Concurrently, by a lot of examples, all results of testing activity indicate that these strategies and methods are useful and fitted to integration testing for GUI software.展开更多
A unit testing approach for AspectJ programs is proposed to separately test aspect units which have their own states. In the approach, aspects under test are converted to classes before execution of unit testing. In t...A unit testing approach for AspectJ programs is proposed to separately test aspect units which have their own states. In the approach, aspects under test are converted to classes before execution of unit testing. In the conversion process, the context information passed through pointcut is transformed into advices, then the advices are converted to class member methods, and conflicts in the conversion result, if any, are resolved finally. The unit testing process consists of generating test cases, executing test cases and checking results.展开更多
The methodology to obtain the non-linear roll damping from decay tests is very old. It has been proposed by Froude in the 19th century and used from then on. Behind it there is a quadratic model [θ|θ|] for the dam...The methodology to obtain the non-linear roll damping from decay tests is very old. It has been proposed by Froude in the 19th century and used from then on. Behind it there is a quadratic model [θ|θ|] for the damping and a subsequent equivalent linearization. Probably all model basin in the world follows this approach to assess the damping from a methods to get the P1-P2 coefficients. This is very applied to any kind of hull. However, it has become decay test. This is well documented and so is the general in the sense that in principle, it could be clear that for hull with a flat bottom such as a very large crude carrier (VLCC), this approach may lead to confusing results such as negative P2. Faced with this, the work presents a completely new idea. Avoiding the polynomial approximation, the basic attitude is to devise two regions from the decaying test response. The first, called the large amplitude response region yields a larger damping, probably due to the large bilge keel vortices that are attracted to the hull flat bottom. The second is the small amplitude response region where the vortices are not attracted to the bottom but travels approximately 45° sidewise. These observations has led to a new approach called the bi-linear approach as discussed in the work after analyzing several (many) model test results. In fact, a new modified bi-linear approach is ultimately proposed after the understanding of a transition region instead of a transition angle.展开更多
Next generation sequencing is currently a cornerstone of genetic testing in routine diagnostics,allowing for the detection of sequence variants with so far unprecedented large scale,mainly in genetically heterogenous ...Next generation sequencing is currently a cornerstone of genetic testing in routine diagnostics,allowing for the detection of sequence variants with so far unprecedented large scale,mainly in genetically heterogenous diseases,such as neurological disorders.It is a fast-moving field,where new wet enrichment protocols and bioinformatics tools are constantly being developed to overcome initial limitations.Despite the as yet undiscussed advantages,however,there are still some challenges in data analysis and the interpretation of variants.In this review,we address the current state of next generation sequencing diagnostic testing for inherited human disorders,particularly giving an overview of the available high-throughput sequencing approaches;including targeted,whole-exome and whole-genome sequencing;and discussing the main critical aspects of the bioinformatic process,from raw data analysis to molecular diagnosis.展开更多
One of the most devastating effects of earthquakes in the seismic regions is liquefaction. Many research works have been done in this field and at present different methods are available for the liquefaction potential...One of the most devastating effects of earthquakes in the seismic regions is liquefaction. Many research works have been done in this field and at present different methods are available for the liquefaction potential assessment. The liquefaction is a very significant phenomenon in clayey silty soils, silty sands and also sands. The high potential of liquefaction is generally recognized when these type of soils are laid under the hydrostatic water table. This paper make an overview of two different methods for the evaluation of liquefaction potential, and a case study is presented. Two methods presented here are the Deterministic Approach proposed by Robertson and Wride (1998), and the Probabilistic Approach proposed by Moss and co-workers. Case study of the liquefaction potential evaluation is done for the Golem area, where geotechnical data from CPTU test were collected. The results of analysis in the Golem area show that liquefaction has medium susceptibly to occur. From the analyses, it is shown that the Probabilistic Approach gives more accurate information about the risk of liquefaction than the Deterministic Approach.展开更多
The sloping seabed affects the bearing capacity and failure mechanism of soil,which may compromise the stability and safety of offshore structures such as jack-up platforms.This paper employs a coupled model combining...The sloping seabed affects the bearing capacity and failure mechanism of soil,which may compromise the stability and safety of offshore structures such as jack-up platforms.This paper employs a coupled model combining the material point method and finite element method(MPM-FEM)to analyze the impact of sloping seabeds on the three-dimensional soil-spudcan interaction.The MPM-FEM model implements the B¯approach to solve the challenge of volumetric locking due to the incompressibility constraints imposed by yield criterion.It is validated against the centrifuge results.The effects of sloping seabeds on penetration resistance,soil flow pattern,lateral response,stress distribution,and failure mechanism are discussed.The soil mainly undergoes overall failure when the ratio of penetration depth to spudcan diameter(i.e.D P/D)is between 0 and 0.25.As the slope angle increases,the soil on the side of lower slope is expelled further,resulting in an asymmetric stress distribution and a larger horizontal sliding force of soil.When D P/D increases to 0.75,the soil transitions to localized plastic flow failure,and the range of soil flow affected by the spudcan penetration decreases.The results show that,when the slope angle increases,the lateral displacement and stress distribution on the lower slope of a sloping seabed is significantly larger than that of a horizontal seabed,impacting the spudcan and surrounding soil behavior.The study suggests that the seabed slope significantly affects the range of soil flow and failure at shallow penetration,indicating that the slope angle should be taken into account in the design and installation of offshore jack-up rigs,particularly in areas with sloping seabeds.展开更多
以无人驾驶小巴为代表的客运自动驾驶工具在公交微循环中发挥着重要作用,为实现无人驾驶技术的商业化规模运用,除了传统的车辆性能测试外,还需评估其在复杂场景下的表现。由于测试数据缺乏,评价模型适用场景单一和评价方法主观等问题,...以无人驾驶小巴为代表的客运自动驾驶工具在公交微循环中发挥着重要作用,为实现无人驾驶技术的商业化规模运用,除了传统的车辆性能测试外,还需评估其在复杂场景下的表现。由于测试数据缺乏,评价模型适用场景单一和评价方法主观等问题,导致以往评价偏差较大。本文针对无人驾驶小巴的表现构建综合评价体系,并在实测数据的基础上,采用博弈论组合赋权的优劣解距离法(Technique for Order Preference by Similarity to Ideal Solution,TOPSIS)模型,对车辆在复杂场景下的表现进行综合评价。选取驾驶安全性、乘坐舒适性、车辆智能性及车辆高效性这4个评价维度,并细分为12个客观评价指标。首先,通过实地测试采集无人驾驶小巴在运行场景中的数据;其次,利用基于博弈论的组合赋权法,对层次分析法和熵权法获得的权重进行组合;最后,为验证模型的有效性,运用TOPSIS模型对3条具有不同复杂度的测试路线进行综合评价值的计算。结果显示,无人驾驶小巴表现评价中,准则层的重要程度排序为车辆智能性、驾驶安全性、乘坐舒适性、车辆高效性,指标层敏感指标则为自动驾驶状态、平均角速度。基于博弈论组合赋权的TOPSIS模型对不同场景复杂度路线进行的无人驾驶小巴表现评价结果与实际运行情况一致,展示了方法的有效性。展开更多
文摘Being different from testing for popular GUI software, the “instruction-category” approach is proposed for testing embedded system. This approach is constructed by three steps including refining items, drawing instruction-brief and instruction-category, and constructing test suite. Consequently, this approach is adopted to test oven embedded system, and detail process is deeply discussed. As a result, the factual result indicates that the “instruction-category” approach can be effectively applied in embedded system testing as a black-box method for conformity testing.
文摘Both unit and integration testing are incredibly crucial for almost any software application because each of them operates a distinct process to examine the product.Due to resource constraints,when software is subjected to modifications,the drastic increase in the count of test cases forces the testers to opt for a test optimization strategy.One such strategy is test case prioritization(TCP).Existing works have propounded various methodologies that re-order the system-level test cases intending to boost either the fault detection capabilities or the coverage efficacy at the earliest.Nonetheless,singularity in objective functions and the lack of dissimilitude among the re-ordered test sequences have degraded the cogency of their approaches.Considering such gaps and scenarios when the meteoric and continuous updations in the software make the intensive unit and integration testing process more fragile,this study has introduced a memetics-inspired methodology for TCP.The proposed structure is first embedded with diverse parameters,and then traditional steps of the shuffled-frog-leaping approach(SFLA)are followed to prioritize the test cases at unit and integration levels.On 5 standard test functions,a comparative analysis is conducted between the established algorithms and the proposed approach,where the latter enhances the coverage rate and fault detection of re-ordered test sets.Investigation results related to the mean average percentage of fault detection(APFD)confirmed that the proposed approach exceeds the memetic,basic multi-walk,PSO,and optimized multi-walk by 21.7%,13.99%,12.24%,and 11.51%,respectively.
文摘Aspect-oriented programs have received much attention from software testing researchers. Various testing techniques and approaches have been proposed to tackle issues and challenges when testing aspect-oriented programs including traditional mutation testing. In traditional mutation testing of aspect-oriented programs, mutants are generated by making small changes to the syntax of the aspect-oriented language. Recently, a new approach known as semantic mutation testing has been proposed. This approach mutates the semantics of the language in which the program is written. The mutants generated misunderstandings of the language which are different classes of faults. Aspect-oriented programming presents itself with different properties that can be further explored with respect to semantic mutation testing. This paper describes various possible scenarios that semantic mutation testing strategy might have particular value in testing aspect-oriented programs.
基金supported by the National Natural Science Foundation of China(Grant Nos.41925012,42230710)Key Laboratory Cooperation Special Project of Western Cross Team of Western Light,Chinese Academy of Sciences(Grant No.xbzg-zdsys-202107).
文摘Soil tensile strength is a critical parameter governing the initiation and propagation of tensile cracking.This study proposes an eco-friendly approach to improve the tensile behavior and crack resistance of clayey soils.To validate the feasibility and efficacy of the proposed approach,direct tensile tests were employed to determine the tensile strength of the compacted soil with different W-OH treatment concentrations and water contents.Desiccation tests were also performed to evaluate the effectiveness of W-OH treatment in enhancing soil tensile cracking resistance.During this period,the effects of W-OH treatment concentration and water content on tensile properties,soil suction and microstructure were investigated.The tensile tests reveal that W-OH treatment has a significant impact on the tensile strength and failure mode of the soil,which not only effectively enhances the tensile strength and failure displacement,but also changes the brittle failure behavior into a more ductile quasi-brittle failure behavior.The suction measurements and mercury intrusion porosimetry(MIP)tests show that W-OH treatment can slightly reduce soil suction by affecting skeleton structure and increasing macropores.Combined with the microstructural analysis,it becomes evident that the significant improvement in soil tensile behavior through W-OH treatment is mainly attributed to the W-OH gel's ability to provide additional binding force for bridging and encapsulating the soil particles.Moreover,desiccation tests demonstrate that W-OH treatment can significantly reduce or even inhibit the formation of soil tensile cracking.With the increase of W-OH treatment concentration,the surface crack ratio and total crack length are significantly reduced.This study enhances a fundamental understanding of eco-polymer impacts on soil mechanical properties and provides valuable insight into their potential application for improving soil crack resistance.
文摘In this paper, the test suite construction for GUI (Graphical User Interface) software may be executed centered on grey-box approach with the prior test design of window access controls for unit testing, including front-end method of white box and follow-up black box method for integration testing. Moreover, two key opinions are proposed for the test suite construction for GUI software, the first one is that the “Triple-step method” should be used for unit testing with the prior disposing of data boundary value testing of input controls, and another one is that the “Grey-box approach” should be applied in integration testing for GUI software with necessary testing preparation in the precondition. At the same time, the testing of baseline version and the incremental testing should be considered for the test case construction to coordinate with the whole evolution of software product today. Additionally, all our opinion and thought are verified and tested with a typical case of GUI software—PQMS (Product Quality Monitoring Software/System), and results indicate that these methods and specific disposing are practical and effective.
文摘In this paper, by means of effective testing practices, main strategies of integration testing for GUI software, including differentiating strategy for distinguished system, strategy of personnel organization, incremental testing strategy based on baseline version, testing strategy of circulating loop through the whole life, and the strategy of test suite construction, were briefly investigated. Moreover, for the code analysis, the FTA (Fault Tree analysis) is proposed to deal with the software change in regression testing. For test suite constructing, the constructing methods for baseline version and the incremental change are deeply discussed, in which main points focus on the testing strategy based on “Sheet/Form”, the “Grey-box approach” for integration testing process, and the application of the improved STD (State Transform Diagram) in state testing. At the same time, the suite construction of integration testing for two types, including small scale program and large scale software, is analyzed and discussed in detail. For testing execution, the specific method based on “Cross-testing” is investigated. Concurrently, by a lot of examples, all results of testing activity indicate that these strategies and methods are useful and fitted to integration testing for GUI software.
文摘A unit testing approach for AspectJ programs is proposed to separately test aspect units which have their own states. In the approach, aspects under test are converted to classes before execution of unit testing. In the conversion process, the context information passed through pointcut is transformed into advices, then the advices are converted to class member methods, and conflicts in the conversion result, if any, are resolved finally. The unit testing process consists of generating test cases, executing test cases and checking results.
基金Supported by PETROBRAS, LabOceano/COPPE/UFRJ and CNPq
文摘The methodology to obtain the non-linear roll damping from decay tests is very old. It has been proposed by Froude in the 19th century and used from then on. Behind it there is a quadratic model [θ|θ|] for the damping and a subsequent equivalent linearization. Probably all model basin in the world follows this approach to assess the damping from a methods to get the P1-P2 coefficients. This is very applied to any kind of hull. However, it has become decay test. This is well documented and so is the general in the sense that in principle, it could be clear that for hull with a flat bottom such as a very large crude carrier (VLCC), this approach may lead to confusing results such as negative P2. Faced with this, the work presents a completely new idea. Avoiding the polynomial approximation, the basic attitude is to devise two regions from the decaying test response. The first, called the large amplitude response region yields a larger damping, probably due to the large bilge keel vortices that are attracted to the hull flat bottom. The second is the small amplitude response region where the vortices are not attracted to the bottom but travels approximately 45° sidewise. These observations has led to a new approach called the bi-linear approach as discussed in the work after analyzing several (many) model test results. In fact, a new modified bi-linear approach is ultimately proposed after the understanding of a transition region instead of a transition angle.
文摘Next generation sequencing is currently a cornerstone of genetic testing in routine diagnostics,allowing for the detection of sequence variants with so far unprecedented large scale,mainly in genetically heterogenous diseases,such as neurological disorders.It is a fast-moving field,where new wet enrichment protocols and bioinformatics tools are constantly being developed to overcome initial limitations.Despite the as yet undiscussed advantages,however,there are still some challenges in data analysis and the interpretation of variants.In this review,we address the current state of next generation sequencing diagnostic testing for inherited human disorders,particularly giving an overview of the available high-throughput sequencing approaches;including targeted,whole-exome and whole-genome sequencing;and discussing the main critical aspects of the bioinformatic process,from raw data analysis to molecular diagnosis.
文摘One of the most devastating effects of earthquakes in the seismic regions is liquefaction. Many research works have been done in this field and at present different methods are available for the liquefaction potential assessment. The liquefaction is a very significant phenomenon in clayey silty soils, silty sands and also sands. The high potential of liquefaction is generally recognized when these type of soils are laid under the hydrostatic water table. This paper make an overview of two different methods for the evaluation of liquefaction potential, and a case study is presented. Two methods presented here are the Deterministic Approach proposed by Robertson and Wride (1998), and the Probabilistic Approach proposed by Moss and co-workers. Case study of the liquefaction potential evaluation is done for the Golem area, where geotechnical data from CPTU test were collected. The results of analysis in the Golem area show that liquefaction has medium susceptibly to occur. From the analyses, it is shown that the Probabilistic Approach gives more accurate information about the risk of liquefaction than the Deterministic Approach.
基金supported by the start-up funding from Tsinghua University(Grant No.100005014).
文摘The sloping seabed affects the bearing capacity and failure mechanism of soil,which may compromise the stability and safety of offshore structures such as jack-up platforms.This paper employs a coupled model combining the material point method and finite element method(MPM-FEM)to analyze the impact of sloping seabeds on the three-dimensional soil-spudcan interaction.The MPM-FEM model implements the B¯approach to solve the challenge of volumetric locking due to the incompressibility constraints imposed by yield criterion.It is validated against the centrifuge results.The effects of sloping seabeds on penetration resistance,soil flow pattern,lateral response,stress distribution,and failure mechanism are discussed.The soil mainly undergoes overall failure when the ratio of penetration depth to spudcan diameter(i.e.D P/D)is between 0 and 0.25.As the slope angle increases,the soil on the side of lower slope is expelled further,resulting in an asymmetric stress distribution and a larger horizontal sliding force of soil.When D P/D increases to 0.75,the soil transitions to localized plastic flow failure,and the range of soil flow affected by the spudcan penetration decreases.The results show that,when the slope angle increases,the lateral displacement and stress distribution on the lower slope of a sloping seabed is significantly larger than that of a horizontal seabed,impacting the spudcan and surrounding soil behavior.The study suggests that the seabed slope significantly affects the range of soil flow and failure at shallow penetration,indicating that the slope angle should be taken into account in the design and installation of offshore jack-up rigs,particularly in areas with sloping seabeds.
文摘以无人驾驶小巴为代表的客运自动驾驶工具在公交微循环中发挥着重要作用,为实现无人驾驶技术的商业化规模运用,除了传统的车辆性能测试外,还需评估其在复杂场景下的表现。由于测试数据缺乏,评价模型适用场景单一和评价方法主观等问题,导致以往评价偏差较大。本文针对无人驾驶小巴的表现构建综合评价体系,并在实测数据的基础上,采用博弈论组合赋权的优劣解距离法(Technique for Order Preference by Similarity to Ideal Solution,TOPSIS)模型,对车辆在复杂场景下的表现进行综合评价。选取驾驶安全性、乘坐舒适性、车辆智能性及车辆高效性这4个评价维度,并细分为12个客观评价指标。首先,通过实地测试采集无人驾驶小巴在运行场景中的数据;其次,利用基于博弈论的组合赋权法,对层次分析法和熵权法获得的权重进行组合;最后,为验证模型的有效性,运用TOPSIS模型对3条具有不同复杂度的测试路线进行综合评价值的计算。结果显示,无人驾驶小巴表现评价中,准则层的重要程度排序为车辆智能性、驾驶安全性、乘坐舒适性、车辆高效性,指标层敏感指标则为自动驾驶状态、平均角速度。基于博弈论组合赋权的TOPSIS模型对不同场景复杂度路线进行的无人驾驶小巴表现评价结果与实际运行情况一致,展示了方法的有效性。