Tianiin Automotive Test Center has a test capability as well as a capability of conducting universality techniques research. With fixed assets of around RMB 76.44 million yuan and an architectural area of 11,200 sqm, ...Tianiin Automotive Test Center has a test capability as well as a capability of conducting universality techniques research. With fixed assets of around RMB 76.44 million yuan and an architectural area of 11,200 sqm, test labs mainly include: auto emission test lab, full-scale vehicle crash test lab, auto safety test lab, auto lighting and view field test lab, engine test lab,展开更多
The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliab...The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine (RT-EFSM) model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class (timeCTEC) are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.展开更多
To understand the vortex-ring state and to develop an approach for predicting its boundary, a series of model rotor tests of vertical descent and oblique descent have been conducted on a newly-built test apparatus - t...To understand the vortex-ring state and to develop an approach for predicting its boundary, a series of model rotor tests of vertical descent and oblique descent have been conducted on a newly-built test apparatus - the Whirling Beam. The test results showed some unsteady aerodynamic behavior of the model rotor operating in the vortex-ring state. A very irregular variation of the rotortorque at low rate-of-descent was observed here for the first time. We considered it to be the start of the 'power settling' and determined the critical descent velocity according to this observation. A previous criterion for the vortex-ring state was modified to give a semi-empirical method for predicting the entire vortex-ring state boundary. The computed boundary shows a good correlation with the model test results and the flight experiences.展开更多
The current research about the flow ripple of axial piston pump mainly focuses on the effect of the structure of parts on the flow ripple. Therein, the structure of parts are usually designed and optimized at rated wo...The current research about the flow ripple of axial piston pump mainly focuses on the effect of the structure of parts on the flow ripple. Therein, the structure of parts are usually designed and optimized at rated working conditions. However, the pump usually has to work in large-scale and time-variant working conditions. Therefore, the flow ripple characteristics of pump and analysis for its test accuracy with respect to variant steady-state conditions and transient conditions in a wide range of operating parameters are focused in this paper. First, a simulation model has been constructed, which takes the kinematics of oil film within friction pairs into account for higher accuracy. Afterwards, a test bed which adopts Secondary Source Method is built to verify the model. The simulation and tests results show that the angular position of the piston, corresponding to the position where the peak flow ripple is produced, varies with the different pressure. The pulsating amplitude and pulsation rate of flow ripple increase with the rise of pressure and the variation rate of pressure. For the pump working at a constant speed, the flow pulsation rate decreases dramatically with the increasing speed when the speed is less than 27.78% of the maximum speed, subsequently presents a small decrease tendency with the speed further increasing. With the rise of the variation rate of speed, the pulsating amplitude and pulsation rate of flow ripple increase. As the swash plate angle augments, the pulsating amplitude of flow ripple increases, nevertheless the flow pulsation rate decreases. In contrast with the effect of the variation of pressure, the test accuracy of flow ripple is more sensitive to the variation of speed. It makes the test accuracy above 96.20% available for the pulsating amplitude of pressure deviating within a range of ~6% from the mean pressure. However, with a variation of speed deviating within a range of ±2% from the mean speed, the attainable test accuracy of flow ripple is above 93.07%. The model constructed in this research proposes a method to determine the flow ripple characteristics of pump and its attainable test accuracy under the large-scale and time-variant working conditions. Meanwhile, a discussion about the variation of flow ripple and its obtainable test accuracy with the conditions of the pump working in wide operating ranges is given as well.展开更多
Based on quantitative microscopic examinations of welds and welding rate for different steels(40Cr and T10A) joint,which possess the ultra-fine microstructure after high frequency hardening(HFH) and salt-bath cyclic q...Based on quantitative microscopic examinations of welds and welding rate for different steels(40Cr and T10A) joint,which possess the ultra-fine microstructure after high frequency hardening(HFH) and salt-bath cyclic quenching(SCQ),the suitable defect grey scale threshold value was determined,and the welding rate of superplastic solid-state welding of different steels(40Cr and T10 A steel) was systematically inspected and analyzed by means of self-made ultrasonic imaging inspection system.The experimental results showed that the superplastic solid-state weld of different steels can be inspected more accurately,reliably and quickly by this system,and the results were in good accordance with that of metallographic observation.The welding rate of superplastic welding is in linear relation with tensile strength of joint.展开更多
In this paper we propose procedures to enhance testability by adding transitions of undefined states to state transition tables. In these procedures, transitions about undefined states, which are not described in stat...In this paper we propose procedures to enhance testability by adding transitions of undefined states to state transition tables. In these procedures, transitions about undefined states, which are not described in state transition tables but exist in a synthesized gate level circuit, are added to a state transition table. Experimental results for MCNC benchmarks are shown.展开更多
Due to the particularity of its location algorithm,there are some unique difficulties and features regarding the test of target motion states of multilateration(MLAT)system for airport surface surveillance.This paper ...Due to the particularity of its location algorithm,there are some unique difficulties and features regarding the test of target motion states of multilateration(MLAT)system for airport surface surveillance.This paper proposed a test method applicable for the airport surface surveillance MLAT system,which can effectively determine whether the target is static or moving at a certain speed.Via a normalized test statistic designed in the sliding data window,the proposed method not only eliminates the impact of geometry Dilution of precision(GDOP)effectively,but also transforms the test of different motion states into the test of different probability density functions.Meanwhile,by adjusting the size of the sliding window,it can fulfill different test performance requirements.The method was developed through strict theoretical extrapolation and performance analysis,and simulations results verified its correctness and effectiveness.展开更多
Building high confidence regression test suites to validate new system versions is a challenging problem. A modelbased approach to build a regression test suite from a given test suite is described. The generated test...Building high confidence regression test suites to validate new system versions is a challenging problem. A modelbased approach to build a regression test suite from a given test suite is described. The generated test suite includes every test that will traverse a change performed to produce the new version, and consists of only such tests to reduce the testing costs. Finite state machines extended with typed variables (EFSMs) are used to model systems and system changes are mapped to EFSM transition changes adding/deleting/replacing EFSM transitions and states. Tests are a sequence of input and expected output messages with concrete parameter values over the supported data types. An invariant is formulated to characterize tests whose runtime behavior can be accurately predicted by analyzing their descriptions along with the model. Incremental procedures to efficiently evaluate the invariant and to select tests for regression are developed. Overlaps among the test descriptions are exploited to extend the approach to simultaneously select multiple tests to reduce the test selection costs. Effectiveness of the approach is demonstrated by applying it to several protocols, Web services, and model programs extracted from a popular testing benchmark. Our experimental results show that the proposed approach is economical for regression test selection in all these examples. For all these examples, the proposed approach is able to identify all tests exercising changes more efficiently than brute-force symbolic evaluation.展开更多
文摘Tianiin Automotive Test Center has a test capability as well as a capability of conducting universality techniques research. With fixed assets of around RMB 76.44 million yuan and an architectural area of 11,200 sqm, test labs mainly include: auto emission test lab, full-scale vehicle crash test lab, auto safety test lab, auto lighting and view field test lab, engine test lab,
基金supported by the Aviation Science Foundation of China
文摘The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine (RT-EFSM) model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class (timeCTEC) are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.
文摘To understand the vortex-ring state and to develop an approach for predicting its boundary, a series of model rotor tests of vertical descent and oblique descent have been conducted on a newly-built test apparatus - the Whirling Beam. The test results showed some unsteady aerodynamic behavior of the model rotor operating in the vortex-ring state. A very irregular variation of the rotortorque at low rate-of-descent was observed here for the first time. We considered it to be the start of the 'power settling' and determined the critical descent velocity according to this observation. A previous criterion for the vortex-ring state was modified to give a semi-empirical method for predicting the entire vortex-ring state boundary. The computed boundary shows a good correlation with the model test results and the flight experiences.
基金Supported by National Basic Research Program of China(973 Program,Grant No.2014CB046403)National Key Technology R&D Program of the Twelfth Five-year Plan of China(Grant No.2013BAF07B01)
文摘The current research about the flow ripple of axial piston pump mainly focuses on the effect of the structure of parts on the flow ripple. Therein, the structure of parts are usually designed and optimized at rated working conditions. However, the pump usually has to work in large-scale and time-variant working conditions. Therefore, the flow ripple characteristics of pump and analysis for its test accuracy with respect to variant steady-state conditions and transient conditions in a wide range of operating parameters are focused in this paper. First, a simulation model has been constructed, which takes the kinematics of oil film within friction pairs into account for higher accuracy. Afterwards, a test bed which adopts Secondary Source Method is built to verify the model. The simulation and tests results show that the angular position of the piston, corresponding to the position where the peak flow ripple is produced, varies with the different pressure. The pulsating amplitude and pulsation rate of flow ripple increase with the rise of pressure and the variation rate of pressure. For the pump working at a constant speed, the flow pulsation rate decreases dramatically with the increasing speed when the speed is less than 27.78% of the maximum speed, subsequently presents a small decrease tendency with the speed further increasing. With the rise of the variation rate of speed, the pulsating amplitude and pulsation rate of flow ripple increase. As the swash plate angle augments, the pulsating amplitude of flow ripple increases, nevertheless the flow pulsation rate decreases. In contrast with the effect of the variation of pressure, the test accuracy of flow ripple is more sensitive to the variation of speed. It makes the test accuracy above 96.20% available for the pulsating amplitude of pressure deviating within a range of ~6% from the mean pressure. However, with a variation of speed deviating within a range of ±2% from the mean speed, the attainable test accuracy of flow ripple is above 93.07%. The model constructed in this research proposes a method to determine the flow ripple characteristics of pump and its attainable test accuracy under the large-scale and time-variant working conditions. Meanwhile, a discussion about the variation of flow ripple and its obtainable test accuracy with the conditions of the pump working in wide operating ranges is given as well.
基金Item Sponsored by Provincial Natural Science Foundation of Henan(984040900)State Key Laboratory of Laser Technology([2001]0110)
文摘Based on quantitative microscopic examinations of welds and welding rate for different steels(40Cr and T10A) joint,which possess the ultra-fine microstructure after high frequency hardening(HFH) and salt-bath cyclic quenching(SCQ),the suitable defect grey scale threshold value was determined,and the welding rate of superplastic solid-state welding of different steels(40Cr and T10 A steel) was systematically inspected and analyzed by means of self-made ultrasonic imaging inspection system.The experimental results showed that the superplastic solid-state weld of different steels can be inspected more accurately,reliably and quickly by this system,and the results were in good accordance with that of metallographic observation.The welding rate of superplastic welding is in linear relation with tensile strength of joint.
文摘In this paper we propose procedures to enhance testability by adding transitions of undefined states to state transition tables. In these procedures, transitions about undefined states, which are not described in state transition tables but exist in a synthesized gate level circuit, are added to a state transition table. Experimental results for MCNC benchmarks are shown.
基金supported by the National Science and Technology Pillar Program of China (No.2011BAH24B06)the National Nature Science Foundation of China+1 种基金Chinese Civil Aviation Jointly Funded Foundation Project (No.U1433129)the Sichuan Provincial Department of Education Foundation(No.13ZB0287)
文摘Due to the particularity of its location algorithm,there are some unique difficulties and features regarding the test of target motion states of multilateration(MLAT)system for airport surface surveillance.This paper proposed a test method applicable for the airport surface surveillance MLAT system,which can effectively determine whether the target is static or moving at a certain speed.Via a normalized test statistic designed in the sliding data window,the proposed method not only eliminates the impact of geometry Dilution of precision(GDOP)effectively,but also transforms the test of different motion states into the test of different probability density functions.Meanwhile,by adjusting the size of the sliding window,it can fulfill different test performance requirements.The method was developed through strict theoretical extrapolation and performance analysis,and simulations results verified its correctness and effectiveness.
文摘Building high confidence regression test suites to validate new system versions is a challenging problem. A modelbased approach to build a regression test suite from a given test suite is described. The generated test suite includes every test that will traverse a change performed to produce the new version, and consists of only such tests to reduce the testing costs. Finite state machines extended with typed variables (EFSMs) are used to model systems and system changes are mapped to EFSM transition changes adding/deleting/replacing EFSM transitions and states. Tests are a sequence of input and expected output messages with concrete parameter values over the supported data types. An invariant is formulated to characterize tests whose runtime behavior can be accurately predicted by analyzing their descriptions along with the model. Incremental procedures to efficiently evaluate the invariant and to select tests for regression are developed. Overlaps among the test descriptions are exploited to extend the approach to simultaneously select multiple tests to reduce the test selection costs. Effectiveness of the approach is demonstrated by applying it to several protocols, Web services, and model programs extracted from a popular testing benchmark. Our experimental results show that the proposed approach is economical for regression test selection in all these examples. For all these examples, the proposed approach is able to identify all tests exercising changes more efficiently than brute-force symbolic evaluation.