Blades are one of the important components on aircraft engines.If they break due to vibration failure,the normal operation of the entire engine will be offected.Therefore,it is necessary to measure their natural frequ...Blades are one of the important components on aircraft engines.If they break due to vibration failure,the normal operation of the entire engine will be offected.Therefore,it is necessary to measure their natural frequency before installing them on the engine to avoid resonance.At present,most blade vibration testing systems require manual operation by operators,which has high requirements for operators and the testing process is also very cumbersome.Therefore,the testing efficiency is low and cannot meet the needs of efficient testing.To solve the current problems of low testing efficiency and high operational requirements,a high-precision and high-efficiency automatic test system is designed.The testing accuracy of this system can reach ±1%,and the testing efficiency is improved by 37% compared to manual testing.Firstly,the influence of compression force and vibration exciter position on natural frequency test is analyzed by amplitude-frequency curve,so as to calibrate servo cylinder and fourdimensional motion platform.Secondly,the sine wave signal is used as the excitation to sweep the blade linearly,and the natural frequency is determined by the amplitude peak in the frequency domain.Finally,the accuracy experiment and efficiency experiment are carried out on the developed test system,whose results verify its high efficiency and high precision.展开更多
Virtual instrument is playing the important role in automatic test system. This paper introduces a composition of a virtual instrument automatic test system and takes the VXIbus based a test software platform which is...Virtual instrument is playing the important role in automatic test system. This paper introduces a composition of a virtual instrument automatic test system and takes the VXIbus based a test software platform which is developed by CAT lab of the UESTC as an example. Then a method to model this system based on Petri net is proposed. Through this method, we can analyze the test task scheduling to prevent the deadlock or resources conflict. At last, this paper analyzes the feasibility of this method.展开更多
This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technol...This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technology of the automatization of software development. According to the model presented in the paper, many different kinds of automatic testing systems can be designed and developed easily. At the end of the paper, the prototype proves the feasibility of the model and design.展开更多
The supreme goal of the Automatic Test case selection techniques is to guarantee systematic coverage, to recognize the usual error forms and to lessen the test of redundancy. It is unfeasible to carry out all the test...The supreme goal of the Automatic Test case selection techniques is to guarantee systematic coverage, to recognize the usual error forms and to lessen the test of redundancy. It is unfeasible to carry out all the test cases consistently. For this reason, the test cases are picked and prioritize it. The major goal of test case prioritization is to prioritize the test case sequence and finds faults as early as possible to improve the efficiency. Regression testing is used to ensure the validity and the enhancement part of the changed software. In this paper, we propose a new path compression technique (PCUA) for both old version and new version of BPEL dataset. In order to analyze the enhancement part of an application and to find an error in an enhancement part of an application, center of the tree has been calculated. Moreover in the comparative analysis, our proposed PCUA- COT technique is compared with the existing XPFG technique in terms of time consuming and error detection in the path of an enhancement part of BPEL dataset. The experimental results have been shown that our proposed work is better than the existing technique in terms of time consuming and error detection.展开更多
Spacecraft automatic test system, a comprehensive spacecraft test information system based on the various spacecraft test specifications formalized as spacecraft test language, is an important means to improve test ef...Spacecraft automatic test system, a comprehensive spacecraft test information system based on the various spacecraft test specifications formalized as spacecraft test language, is an important means to improve test efficiency. With the new require- ments of the multi-spacecraft test in China, the study of the spacecraft test language becomes a new challenge for spacecraft test field. In this article, a high-order spacecraft test language, China aerospace test and operation language (CATOL), is given asso- ciated with the current test requirements; meanwhile, the structure of the language is presented. Then, for characterizing and formalizing the spacecraft processes, the syntax and operational semantics of one of the sub-languages, CATOL-PR, are defined. Finally, the prototype system of this proposed language is presented. This language will improve the specification of spacecraft test work in China and the efficiency of spacecraft testers, and promote the development in spacecraft automatic test.展开更多
Forms enhance both the dynamic and interactive abilities of Web applications and the system complexity. And it is especially important to test forms completely and thoroughly. Therefore, this paper discusses how to ca...Forms enhance both the dynamic and interactive abilities of Web applications and the system complexity. And it is especially important to test forms completely and thoroughly. Therefore, this paper discusses how to carry out the form testing by different methods in the related testing phases. Namely, at first, automatically abstracting forms in the Web pages by parsing the HTML documents; then, ohtai ning the testing data with a certain strategies, such as by requirement specifications, by mining users' hefore input informarion or by recording meehanism; and next executing the testing actions automatically due to the well formed test cases; finally, a case study is given to illustrate the convenient and effective of these methods.展开更多
Purpose Hundreds of digital beam position monitor processors(DBPM)are required to be produced during the construction of projects such as High Energy Photon Source(HEPS)and the upgrade project of the Beijing Electron ...Purpose Hundreds of digital beam position monitor processors(DBPM)are required to be produced during the construction of projects such as High Energy Photon Source(HEPS)and the upgrade project of the Beijing Electron Positron Collider(BEPCII),which brings great challenges to the test work.In order to achieve accurate,fast,and complete mass production tests of DBPMs,an automatic test system(ATS)has been developed in this article.Methods According to the test items of DBPM,the standardized testing softwareflow is designed based on virtual instru-ment program control technology and experimental physics and industrial control system(EPICS),which realize automatic adjustment of test parameters and automatic acquisition of test result data.Results and conclusions The ATS can realize one-button testing of channel coefficients,channel linearity,attenuator linearity,beam current dependence(BCD)and sampling signal-to-noise ratio(SNR),and generate test reports.The total test time is less than 3 minutes,which is significantly more efficient compared to manual testing.More than 90 BEPCII DBPMs has been tested by this ATS in the lab.The test results proved that such a system could automatically recognize defective products and satisfy the requirements of mass testing.展开更多
Aeroengine is a highly complex and repairable multi-component system,and operates over a long time under the harsh conditions of high temperature,high pressure,high speed and high load,and any faults threatening the s...Aeroengine is a highly complex and repairable multi-component system,and operates over a long time under the harsh conditions of high temperature,high pressure,high speed and high load,and any faults threatening the safety of the aircraft.Based on this,through the in-depth analysis of several common automatic fault detection methods used in aeroengines,an automatic test system based on association rules mining technology is proposed to realize automatic test of aeroengine fault.The system used association rule mining algorithm to deal with the database with a large amount of data.By improving the algorithm,the algorithm can reduce the size of the database and the number of programming.The test results show that the hardware design of the automatic test system is reasonable,the signal acquisition is accurate and the error can meet the requirements;the design of the fault detection process is applicable,the search algorithm is fast and accurate,the speed of detection is about twice as high as possible,and the service life of the engine is saved.展开更多
In order to optimize test flow after the default flow is modified by a tester, a new software framework for the radar fault isolation is illustrated. This framework separates all mapping algorithms from test flows so ...In order to optimize test flow after the default flow is modified by a tester, a new software framework for the radar fault isolation is illustrated. This framework separates all mapping algorithms from test flows so as to modify flow and to insert mapping algorithm dynamically in testing process. Based on this framework, a kind of optimization method of test flow is proposed and studied. By defining an objective function, we can evaluate all candidate test flows so as to get an optimized flow. An example explains how to search the flow from candidate flows.展开更多
Separating noise from observed signals was studied.When the small defect in the T-shape laser welding joint was inspected by ultrasonic testing system adopting independent component analysis(ICA) theory to process the...Separating noise from observed signals was studied.When the small defect in the T-shape laser welding joint was inspected by ultrasonic testing system adopting independent component analysis(ICA) theory to process the signals.The principle of automatic ultrasonic testing signals processing and negentropy law of ICA were introduced.The experimental data were processed using relative analysis tools and results showed that the ICA could separate defects signals from noise effectively in laboratory.展开更多
Unified modeling language (UML) is a powerful graphical modeling language with intuitional meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and...Unified modeling language (UML) is a powerful graphical modeling language with intuitional meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and different application layers. UML-based software development and modeling environments have been widely accepted in industry, including areas in which safety is an important issue such as spaceflight, defense, automobile, etc. To ensure and improve software quality becomes a main concern in the field. As one of the key techniques for software quality, software testing can effectively detect system faults. UML based software testing based is an important research direction in software engineering. The key to software testing is the generation of test cases. This dissertation studies an approach to generating test cases from UML statecharts.展开更多
With an advanced foreign hydraulic automatic transmission as the objective,an analytical method for the gear-shifting schedule is proposed.First the demanded maximum gradient of test is estimated.Then a test scheme an...With an advanced foreign hydraulic automatic transmission as the objective,an analytical method for the gear-shifting schedule is proposed.First the demanded maximum gradient of test is estimated.Then a test scheme and analytical procedure is formulated by initial test and hypothetical shift parameters.Finally through gear-shifting tests under different road conditions,load,accelerator pedal position limitation,throttle opening and output shaft speed are found to be the gear-shifting parameters.Under a common road condition,the gear-shifting schedule is a double-parameter schedule.Based on the driver's demands on braking and dynamic performance,different shift schedules are made under downhill,uphill and quick releasing acceleration pedal conditions.The operation criteria of down-shift schedule on abrupt grade are proposed.展开更多
Scientific computing libraries,whether in-house or open-source,have witnessed enormous progress in both engineering and scientific research.Therefore,it is important to ensure that modifications to the source code,pro...Scientific computing libraries,whether in-house or open-source,have witnessed enormous progress in both engineering and scientific research.Therefore,it is important to ensure that modifications to the source code,prompted by bug fixing or new feature development,do not compromise the accuracy and functionality that have been already validated and verified.This paper introduces a method for establishing and implementing an automatic regression test environment,using the open-source multi-physics library SPHinXsys as an illustrative example.Initially,a reference database for each benchmark test is generated from observed data across multiple executions.This comprehensive database encapsulates the maximum variation range of metrics for different strategies,including the time-averaged,ensemble-averaged,and dynamic time warping methods.It accounts for uncertainties arising from parallel computing,particle relaxation,physical instabilities,and more.Subsequently,new results obtained after source code modifications undergo testing based on a curve-similarity comparison against the reference database.Whenever the source code is updated,the regression test is automatically executed for all test cases,providing a comprehensive assessment of the validity of the current results.This regression test environment has been successfully implemented in all dynamic test cases within SPHinXsys,including fluid dynamics,solid mechanics,fluid-structure interaction,thermal and mass diffusion,reaction-diffusion,and their multi-physics couplings,and demonstrates robust capabilities in testing different problems.It is noted that while the current test environment is built and implemented for a particular scientific computing library,its underlying principles are generic and can be easily adapted for use with other libraries,achieving equal effectiveness.展开更多
With the forthcoming large-scale scientific experimental systems, we are looking for ways to construct an open, distributed architecture within the new and the existing automatic test systems. The new standard of Auto...With the forthcoming large-scale scientific experimental systems, we are looking for ways to construct an open, distributed architecture within the new and the existing automatic test systems. The new standard of Automatic Test Markup Language meets our demand for data exchange for this architecture through defining the test routines and resultant data in the XML format. This paper introduces the concept of ATML(Automatic Test Markup Language) and related standards, and the significance of these new standards for a distributed automatic test system. It also describes the implementation of ATML through the integration of this technology among the existing and new test systems.展开更多
A simple,stable and reliable virtual logic analyzer is presented. The logic analyzer had two modules:one was the test pattern generation module,the other was the logic monitoring module. Combining the two modules,one ...A simple,stable and reliable virtual logic analyzer is presented. The logic analyzer had two modules:one was the test pattern generation module,the other was the logic monitoring module. Combining the two modules,one is able to test a digital circuit automatically. The user interface of the logic analyzer was programmed with LabVIEW. Two Arduino UNO boards were used as the hardware targets to input and output the logic signals. The maximum pattern update rate was set to be 20 Hz. The maximum logic sampling rate was set to be 200 Hz. After twelve thousand cycles of exhaustive tests,the logic analyzer had a 100% accuracy. As a tutorial showing how to build virtual instruments with Arduino,the software detail is also explained in this article.展开更多
Cleanroom software engineering has been proven effective in improving software development quality while at the same time increasing reliability. To adapt to large software system development, the paper presents an ex...Cleanroom software engineering has been proven effective in improving software development quality while at the same time increasing reliability. To adapt to large software system development, the paper presents an extended the Cleanroom model, which integrates object-oriented method based on stimulus history, reversed engineering idea, automatic testing and reliability assessment into software development. The paper discusses the architecture and realizing technology of ECM.展开更多
Static compaction methods aim at finding unnecessary test patterns to reduce the size of the test set as a post-process of test generation.Techniques based on partial maximum satisfiability are often used to track man...Static compaction methods aim at finding unnecessary test patterns to reduce the size of the test set as a post-process of test generation.Techniques based on partial maximum satisfiability are often used to track many hard problems in various domains,including artificial intelligence,computational biology,data mining,and machine learning.We observe that part of the test patterns generated by the commercial Automatic Test Pattern Generation(ATPG)tool is redundant,and the relationship between test patterns and faults,as a significant information,can effectively induce the test patterns reduction process.Considering a test pattern can detect one or more faults,we map the problem of static test compaction to a partial maximum satisfiability problem.Experiments on ISCAS89,ISCAS85,and ITC99 benchmarks show that this approach can reduce the initial test set size generated by TetraMAX18 while maintaining fault coverage.展开更多
This paper first establishes a neural network model for logic circuits fromthe truth table by using linear equations theory, presents a kind of ATPG neuralnetwork model, and investigates energy local minima for the ne...This paper first establishes a neural network model for logic circuits fromthe truth table by using linear equations theory, presents a kind of ATPG neuralnetwork model, and investigates energy local minima for the network- And then,it proposes the corresponding techniques to reduce the number of energy localminima as well as some approaches to escaping from local minimum of eliergyFinally, two simulation systems, the binary ATPG neural network and thecontinuous ATPG neural network, are implemented oli SUN 3/260 workstationin C language. The experimental results and their analysis and discussion aregiven. The preliminary experimental results show that this method is feasibleand promising.展开更多
Skin defect inspection is one of the most significant tasks in the conventional process of aircraft inspection.This paper proposes a vision-based method of pixel-level defect detection,which is based on the Mask Scori...Skin defect inspection is one of the most significant tasks in the conventional process of aircraft inspection.This paper proposes a vision-based method of pixel-level defect detection,which is based on the Mask Scoring R-CNN.First,an attention mechanism and a feature fusion module are introduced,to improve feature representation.Second,a new classifier head—consisting of four convolutional layers and a fully connected layer—is proposed,to reduce the influence of information around the area of the defect.Third,to evaluate the proposed method,a dataset of aircraft skin defects was constructed,containing 276 images with a resolution of 960×720 pixels.Experimental results show that the proposed classifier head improves the detection and segmentation accuracy,for aircraft skin defect inspection,more effectively than the attention mechanism and feature fusion module.Compared with the Mask R-CNN and Mask Scoring R-CNN,the proposed method increased the segmentation precision by approximately 21%and 19.59%,respectively.These results demonstrate that the proposed method performs favorably against the other two methods of pixellevel aircraft skin defect detection.展开更多
基金supported by the National Natural Science Foundation of China (No.51975293)Aeronautical Science Foundation of China (No.2019ZD052010)Postgraduate Research & Practice Innovation Program of NUAA (No.xcxjh20230502)。
文摘Blades are one of the important components on aircraft engines.If they break due to vibration failure,the normal operation of the entire engine will be offected.Therefore,it is necessary to measure their natural frequency before installing them on the engine to avoid resonance.At present,most blade vibration testing systems require manual operation by operators,which has high requirements for operators and the testing process is also very cumbersome.Therefore,the testing efficiency is low and cannot meet the needs of efficient testing.To solve the current problems of low testing efficiency and high operational requirements,a high-precision and high-efficiency automatic test system is designed.The testing accuracy of this system can reach ±1%,and the testing efficiency is improved by 37% compared to manual testing.Firstly,the influence of compression force and vibration exciter position on natural frequency test is analyzed by amplitude-frequency curve,so as to calibrate servo cylinder and fourdimensional motion platform.Secondly,the sine wave signal is used as the excitation to sweep the blade linearly,and the natural frequency is determined by the amplitude peak in the frequency domain.Finally,the accuracy experiment and efficiency experiment are carried out on the developed test system,whose results verify its high efficiency and high precision.
基金Supported by the Ministry of Education for Ph. D (20030614006)
文摘Virtual instrument is playing the important role in automatic test system. This paper introduces a composition of a virtual instrument automatic test system and takes the VXIbus based a test software platform which is developed by CAT lab of the UESTC as an example. Then a method to model this system based on Petri net is proposed. Through this method, we can analyze the test task scheduling to prevent the deadlock or resources conflict. At last, this paper analyzes the feasibility of this method.
基金the Defense Advanced research Projects Agency of the Department of Defense (No.15.3.2).
文摘This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technology of the automatization of software development. According to the model presented in the paper, many different kinds of automatic testing systems can be designed and developed easily. At the end of the paper, the prototype proves the feasibility of the model and design.
文摘The supreme goal of the Automatic Test case selection techniques is to guarantee systematic coverage, to recognize the usual error forms and to lessen the test of redundancy. It is unfeasible to carry out all the test cases consistently. For this reason, the test cases are picked and prioritize it. The major goal of test case prioritization is to prioritize the test case sequence and finds faults as early as possible to improve the efficiency. Regression testing is used to ensure the validity and the enhancement part of the changed software. In this paper, we propose a new path compression technique (PCUA) for both old version and new version of BPEL dataset. In order to analyze the enhancement part of an application and to find an error in an enhancement part of an application, center of the tree has been calculated. Moreover in the comparative analysis, our proposed PCUA- COT technique is compared with the existing XPFG technique in terms of time consuming and error detection in the path of an enhancement part of BPEL dataset. The experimental results have been shown that our proposed work is better than the existing technique in terms of time consuming and error detection.
基金National Natural Science Foundation of China (61003016) Supported Project of the State Key Laboratory of Software Development Environment (SKLSDE-2009ZX-13)
文摘Spacecraft automatic test system, a comprehensive spacecraft test information system based on the various spacecraft test specifications formalized as spacecraft test language, is an important means to improve test efficiency. With the new require- ments of the multi-spacecraft test in China, the study of the spacecraft test language becomes a new challenge for spacecraft test field. In this article, a high-order spacecraft test language, China aerospace test and operation language (CATOL), is given asso- ciated with the current test requirements; meanwhile, the structure of the language is presented. Then, for characterizing and formalizing the spacecraft processes, the syntax and operational semantics of one of the sub-languages, CATOL-PR, are defined. Finally, the prototype system of this proposed language is presented. This language will improve the specification of spacecraft test work in China and the efficiency of spacecraft testers, and promote the development in spacecraft automatic test.
基金Supported by the National Natural Science Foun-dation of China (60425206 ,90412003 ,60503033)the National Bas-ic Research Program of China (973 Program 2002CB312000 ) Opening Foundation of State Key Laboratory of Software Engineeringin Wuhan University, High Technology Research Project of JiangsuProvince (BG2005032)
文摘Forms enhance both the dynamic and interactive abilities of Web applications and the system complexity. And it is especially important to test forms completely and thoroughly. Therefore, this paper discusses how to carry out the form testing by different methods in the related testing phases. Namely, at first, automatically abstracting forms in the Web pages by parsing the HTML documents; then, ohtai ning the testing data with a certain strategies, such as by requirement specifications, by mining users' hefore input informarion or by recording meehanism; and next executing the testing actions automatically due to the well formed test cases; finally, a case study is given to illustrate the convenient and effective of these methods.
基金funded by the Foundation ofYouth Innovation Promotion Association,CAS(No.Y202005)the Major achievements cultivation project of major scientific and technological infrastructure,CAS(No.NE01G74Y2)the National Natural Science Foundation of China(No.11805221).
文摘Purpose Hundreds of digital beam position monitor processors(DBPM)are required to be produced during the construction of projects such as High Energy Photon Source(HEPS)and the upgrade project of the Beijing Electron Positron Collider(BEPCII),which brings great challenges to the test work.In order to achieve accurate,fast,and complete mass production tests of DBPMs,an automatic test system(ATS)has been developed in this article.Methods According to the test items of DBPM,the standardized testing softwareflow is designed based on virtual instru-ment program control technology and experimental physics and industrial control system(EPICS),which realize automatic adjustment of test parameters and automatic acquisition of test result data.Results and conclusions The ATS can realize one-button testing of channel coefficients,channel linearity,attenuator linearity,beam current dependence(BCD)and sampling signal-to-noise ratio(SNR),and generate test reports.The total test time is less than 3 minutes,which is significantly more efficient compared to manual testing.More than 90 BEPCII DBPMs has been tested by this ATS in the lab.The test results proved that such a system could automatically recognize defective products and satisfy the requirements of mass testing.
文摘Aeroengine is a highly complex and repairable multi-component system,and operates over a long time under the harsh conditions of high temperature,high pressure,high speed and high load,and any faults threatening the safety of the aircraft.Based on this,through the in-depth analysis of several common automatic fault detection methods used in aeroengines,an automatic test system based on association rules mining technology is proposed to realize automatic test of aeroengine fault.The system used association rule mining algorithm to deal with the database with a large amount of data.By improving the algorithm,the algorithm can reduce the size of the database and the number of programming.The test results show that the hardware design of the automatic test system is reasonable,the signal acquisition is accurate and the error can meet the requirements;the design of the fault detection process is applicable,the search algorithm is fast and accurate,the speed of detection is about twice as high as possible,and the service life of the engine is saved.
文摘In order to optimize test flow after the default flow is modified by a tester, a new software framework for the radar fault isolation is illustrated. This framework separates all mapping algorithms from test flows so as to modify flow and to insert mapping algorithm dynamically in testing process. Based on this framework, a kind of optimization method of test flow is proposed and studied. By defining an objective function, we can evaluate all candidate test flows so as to get an optimized flow. An example explains how to search the flow from candidate flows.
文摘Separating noise from observed signals was studied.When the small defect in the T-shape laser welding joint was inspected by ultrasonic testing system adopting independent component analysis(ICA) theory to process the signals.The principle of automatic ultrasonic testing signals processing and negentropy law of ICA were introduced.The experimental data were processed using relative analysis tools and results showed that the ICA could separate defects signals from noise effectively in laboratory.
文摘Unified modeling language (UML) is a powerful graphical modeling language with intuitional meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and different application layers. UML-based software development and modeling environments have been widely accepted in industry, including areas in which safety is an important issue such as spaceflight, defense, automobile, etc. To ensure and improve software quality becomes a main concern in the field. As one of the key techniques for software quality, software testing can effectively detect system faults. UML based software testing based is an important research direction in software engineering. The key to software testing is the generation of test cases. This dissertation studies an approach to generating test cases from UML statecharts.
基金Supported by the National High Technology Research and Development Program of China(863 Program)(2012AA112101)
文摘With an advanced foreign hydraulic automatic transmission as the objective,an analytical method for the gear-shifting schedule is proposed.First the demanded maximum gradient of test is estimated.Then a test scheme and analytical procedure is formulated by initial test and hypothetical shift parameters.Finally through gear-shifting tests under different road conditions,load,accelerator pedal position limitation,throttle opening and output shaft speed are found to be the gear-shifting parameters.Under a common road condition,the gear-shifting schedule is a double-parameter schedule.Based on the driver's demands on braking and dynamic performance,different shift schedules are made under downhill,uphill and quick releasing acceleration pedal conditions.The operation criteria of down-shift schedule on abrupt grade are proposed.
基金supported by the China Scholarship Council(Grant No.202006230071)the Deutsche Forschungsgemeinschaft(DFG)(Grant No.DFG HU1527/12-4).
文摘Scientific computing libraries,whether in-house or open-source,have witnessed enormous progress in both engineering and scientific research.Therefore,it is important to ensure that modifications to the source code,prompted by bug fixing or new feature development,do not compromise the accuracy and functionality that have been already validated and verified.This paper introduces a method for establishing and implementing an automatic regression test environment,using the open-source multi-physics library SPHinXsys as an illustrative example.Initially,a reference database for each benchmark test is generated from observed data across multiple executions.This comprehensive database encapsulates the maximum variation range of metrics for different strategies,including the time-averaged,ensemble-averaged,and dynamic time warping methods.It accounts for uncertainties arising from parallel computing,particle relaxation,physical instabilities,and more.Subsequently,new results obtained after source code modifications undergo testing based on a curve-similarity comparison against the reference database.Whenever the source code is updated,the regression test is automatically executed for all test cases,providing a comprehensive assessment of the validity of the current results.This regression test environment has been successfully implemented in all dynamic test cases within SPHinXsys,including fluid dynamics,solid mechanics,fluid-structure interaction,thermal and mass diffusion,reaction-diffusion,and their multi-physics couplings,and demonstrates robust capabilities in testing different problems.It is noted that while the current test environment is built and implemented for a particular scientific computing library,its underlying principles are generic and can be easily adapted for use with other libraries,achieving equal effectiveness.
文摘With the forthcoming large-scale scientific experimental systems, we are looking for ways to construct an open, distributed architecture within the new and the existing automatic test systems. The new standard of Automatic Test Markup Language meets our demand for data exchange for this architecture through defining the test routines and resultant data in the XML format. This paper introduces the concept of ATML(Automatic Test Markup Language) and related standards, and the significance of these new standards for a distributed automatic test system. It also describes the implementation of ATML through the integration of this technology among the existing and new test systems.
文摘A simple,stable and reliable virtual logic analyzer is presented. The logic analyzer had two modules:one was the test pattern generation module,the other was the logic monitoring module. Combining the two modules,one is able to test a digital circuit automatically. The user interface of the logic analyzer was programmed with LabVIEW. Two Arduino UNO boards were used as the hardware targets to input and output the logic signals. The maximum pattern update rate was set to be 20 Hz. The maximum logic sampling rate was set to be 200 Hz. After twelve thousand cycles of exhaustive tests,the logic analyzer had a 100% accuracy. As a tutorial showing how to build virtual instruments with Arduino,the software detail is also explained in this article.
文摘Cleanroom software engineering has been proven effective in improving software development quality while at the same time increasing reliability. To adapt to large software system development, the paper presents an extended the Cleanroom model, which integrates object-oriented method based on stimulus history, reversed engineering idea, automatic testing and reliability assessment into software development. The paper discusses the architecture and realizing technology of ECM.
基金supported by the National Natural Science Foundation of China(Nos.61672261 and 61872159)。
文摘Static compaction methods aim at finding unnecessary test patterns to reduce the size of the test set as a post-process of test generation.Techniques based on partial maximum satisfiability are often used to track many hard problems in various domains,including artificial intelligence,computational biology,data mining,and machine learning.We observe that part of the test patterns generated by the commercial Automatic Test Pattern Generation(ATPG)tool is redundant,and the relationship between test patterns and faults,as a significant information,can effectively induce the test patterns reduction process.Considering a test pattern can detect one or more faults,we map the problem of static test compaction to a partial maximum satisfiability problem.Experiments on ISCAS89,ISCAS85,and ITC99 benchmarks show that this approach can reduce the initial test set size generated by TetraMAX18 while maintaining fault coverage.
文摘This paper first establishes a neural network model for logic circuits fromthe truth table by using linear equations theory, presents a kind of ATPG neuralnetwork model, and investigates energy local minima for the network- And then,it proposes the corresponding techniques to reduce the number of energy localminima as well as some approaches to escaping from local minimum of eliergyFinally, two simulation systems, the binary ATPG neural network and thecontinuous ATPG neural network, are implemented oli SUN 3/260 workstationin C language. The experimental results and their analysis and discussion aregiven. The preliminary experimental results show that this method is feasibleand promising.
基金National Natural Science Foundation of China(Nos.U2033201 and U1633105)。
文摘Skin defect inspection is one of the most significant tasks in the conventional process of aircraft inspection.This paper proposes a vision-based method of pixel-level defect detection,which is based on the Mask Scoring R-CNN.First,an attention mechanism and a feature fusion module are introduced,to improve feature representation.Second,a new classifier head—consisting of four convolutional layers and a fully connected layer—is proposed,to reduce the influence of information around the area of the defect.Third,to evaluate the proposed method,a dataset of aircraft skin defects was constructed,containing 276 images with a resolution of 960×720 pixels.Experimental results show that the proposed classifier head improves the detection and segmentation accuracy,for aircraft skin defect inspection,more effectively than the attention mechanism and feature fusion module.Compared with the Mask R-CNN and Mask Scoring R-CNN,the proposed method increased the segmentation precision by approximately 21%and 19.59%,respectively.These results demonstrate that the proposed method performs favorably against the other two methods of pixellevel aircraft skin defect detection.