Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and emb...Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and embedded real-time software testing method, the process of simulation testing modeling is studied first. And then, the supporting environment of simulation testing modeling is put forward. Furthermore, an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing （SUT）, test case, testing scheduling, and testing system service is brought forward. Finally, the formalized description and execution system of testing models are given, with which we can realize real-time, closed loop, mad automated system testing for embedded real-time software.展开更多
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.展开更多
In this study,the micro-failure process and failure mechanism of a typical brittle rock under uniaxial compression are investigated via continuous real-time measurement of wave velocities.The experimental results indi...In this study,the micro-failure process and failure mechanism of a typical brittle rock under uniaxial compression are investigated via continuous real-time measurement of wave velocities.The experimental results indicate that the evolutions of wave velocities became progressively anisotropic under uniaxial loading due to the direction-dependent development of micro-damage.A wave velocity model considering the inner anisotropic crack evolution is proposed to accurately describe the variations of wave velocities during uniaxial compression testing.Based on which,the effective elastic parameters are inferred by a transverse isotropic constitutive model,and the evolutions of the crack density are inversed using a self-consistent damage model.It is found that the propagation of axial cracks dominates the failure process of brittle rock under uniaxial loading and oblique shear cracks develop with the appearance of macrocrack.展开更多
文摘Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and embedded real-time software testing method, the process of simulation testing modeling is studied first. And then, the supporting environment of simulation testing modeling is put forward. Furthermore, an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing （SUT）, test case, testing scheduling, and testing system service is brought forward. Finally, the formalized description and execution system of testing models are given, with which we can realize real-time, closed loop, mad automated system testing for embedded real-time software.
基金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.
基金Projects(41502283,41772309)supported by the National Natural Science Foundation of ChinaProject(2017YFC1501302)supported by the National Key Research and Development Program of ChinaProject(2017ACA102)supported by the Major Program of Technological Innovation of Hubei Province,China。
文摘In this study,the micro-failure process and failure mechanism of a typical brittle rock under uniaxial compression are investigated via continuous real-time measurement of wave velocities.The experimental results indicate that the evolutions of wave velocities became progressively anisotropic under uniaxial loading due to the direction-dependent development of micro-damage.A wave velocity model considering the inner anisotropic crack evolution is proposed to accurately describe the variations of wave velocities during uniaxial compression testing.Based on which,the effective elastic parameters are inferred by a transverse isotropic constitutive model,and the evolutions of the crack density are inversed using a self-consistent damage model.It is found that the propagation of axial cracks dominates the failure process of brittle rock under uniaxial loading and oblique shear cracks develop with the appearance of macrocrack.
