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 wheel–rail adhesion studies,most of the test rigs used are simplified designs such as a single wheel or wheelset,but the results may not be accurate.Alternatively,representing the complex system by using a full ve...In wheel–rail adhesion studies,most of the test rigs used are simplified designs such as a single wheel or wheelset,but the results may not be accurate.Alternatively,representing the complex system by using a full vehicle model provides accurate results but may incur complexity in design.To trade off accuracy over complexity,a bogie model can be the optimum selection.Furthermore,only a real-time model can replicate its physical counterpart in the time domain.Developing such a model requires broad expertise and appropriate software and hardware.A few published works are available which deal with real-time modeling.However,the influence of the control system has not been included in those works.To address these issues,a real-time scaled bogie test rig including the control system is essential.Therefore,a 1:4 scaled bogie roller rig is developed to study the adhesion between wheel and roller contact.To compare the performances obtained from the scaled bogie test rig and to expand the test applications,a numerical simulation model of that scaled bogie test rig is developed using Gensys multibody software.This model is the complete model of the test rig which delivers more precise results.To exactly represent the physical counterpart system in the time domain,a real-time scaled bogie test rig(RT-SBTR)is developed after four consecutive stages.Then,to simulate the RT-SBTR to solve the internal state equations and functions representing the physical counterpart system in rigs used are simplified designs such as a single wheel or wheelset,but the results may not be accurate.Alternatively,representing the complex system by using a full vehicle model provides accurate results but may incur complexity in design.To trade off accuracy over complexity,a bogie model can be the optimum selection.Furthermore,only a real-time model can replicate its physical counterpart in the time domain.Developing such a model requires broad expertise and appropriate software and hardware.A few published works are available which deal with real-time modeling.However,the influence of the control system has not been included in those works.To address these issues,a real-time scaled bogie test rig including the control system is essential.Therefore,a 1:4 scaled bogie roller rig is developed to study the adhesion between wheel and roller contact.To compare the performances obtained from the scaled bogie test rig and to expand the test applications,a numerical simulation model of that scaled bogie test rig is developed using Gensys multibody software.This model is the complete model of the test rig which delivers more precise results.To exactly represent the physical counterpart system in the time domain,a real-time scaled bogie test rig(RT-SBTR)is developed after four consecutive stages.Then,to simulate the RT-SBTR to solve the internal state equations and functions representing the physical counterpart system in equal or less than actual time,the real-time simulation environment is prepared in two stages.To such end,the computational time improved from 4 times slower than real time to 2 times faster than real time.Finally,the real-time scaled bogie model is also incorporated with the braking control system which slightly reduces the computational performances without affecting real-time capability.展开更多
Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness t...Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems. It is a system-level black-box testing approach in which the fault behaviors of embedded software is triggered with the aid of modelbased fault injection by the support of an executable model-driven hardware-in-loop (HIL) testing environment. The prototype implementation of the robustness testing environment based on the proposed approach is experimentally discussed and illustrated by industrial case studies based on several avionics-embedded software systems. The results show that our proposed and implemented robustness testing method and environment are effective to find more bugs, and reduce burdens of testing engineers to enhance efficiency of testing tasks, especially for testing complex embedded systems.展开更多
文摘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.
基金The authors greatly appreciate the financial support from the Rail Manufacturing Cooperative Research Centre(funded jointly by participating rail organizations and the Australian Federal Government’s Business Cooperative Research Centres Program)through Project R1.7.1-“Estimation of adhesion conditions between wheels and rails for the development of advanced braking control systems.”Tim McSweeney,Adjunct Research Fellow,Centre for Railway Engineering is thankfully acknowledged for his assistance with proofreading.
文摘In wheel–rail adhesion studies,most of the test rigs used are simplified designs such as a single wheel or wheelset,but the results may not be accurate.Alternatively,representing the complex system by using a full vehicle model provides accurate results but may incur complexity in design.To trade off accuracy over complexity,a bogie model can be the optimum selection.Furthermore,only a real-time model can replicate its physical counterpart in the time domain.Developing such a model requires broad expertise and appropriate software and hardware.A few published works are available which deal with real-time modeling.However,the influence of the control system has not been included in those works.To address these issues,a real-time scaled bogie test rig including the control system is essential.Therefore,a 1:4 scaled bogie roller rig is developed to study the adhesion between wheel and roller contact.To compare the performances obtained from the scaled bogie test rig and to expand the test applications,a numerical simulation model of that scaled bogie test rig is developed using Gensys multibody software.This model is the complete model of the test rig which delivers more precise results.To exactly represent the physical counterpart system in the time domain,a real-time scaled bogie test rig(RT-SBTR)is developed after four consecutive stages.Then,to simulate the RT-SBTR to solve the internal state equations and functions representing the physical counterpart system in rigs used are simplified designs such as a single wheel or wheelset,but the results may not be accurate.Alternatively,representing the complex system by using a full vehicle model provides accurate results but may incur complexity in design.To trade off accuracy over complexity,a bogie model can be the optimum selection.Furthermore,only a real-time model can replicate its physical counterpart in the time domain.Developing such a model requires broad expertise and appropriate software and hardware.A few published works are available which deal with real-time modeling.However,the influence of the control system has not been included in those works.To address these issues,a real-time scaled bogie test rig including the control system is essential.Therefore,a 1:4 scaled bogie roller rig is developed to study the adhesion between wheel and roller contact.To compare the performances obtained from the scaled bogie test rig and to expand the test applications,a numerical simulation model of that scaled bogie test rig is developed using Gensys multibody software.This model is the complete model of the test rig which delivers more precise results.To exactly represent the physical counterpart system in the time domain,a real-time scaled bogie test rig(RT-SBTR)is developed after four consecutive stages.Then,to simulate the RT-SBTR to solve the internal state equations and functions representing the physical counterpart system in equal or less than actual time,the real-time simulation environment is prepared in two stages.To such end,the computational time improved from 4 times slower than real time to 2 times faster than real time.Finally,the real-time scaled bogie model is also incorporated with the braking control system which slightly reduces the computational performances without affecting real-time capability.
基金the Aeronautics Science Foundation of China(No.2011ZD51055)Science and Technology on Reliability&Environmental Engineering Laboratory(No.302367)the National Pre-Research Foundation of China(No.51319080201)
文摘Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems. It is a system-level black-box testing approach in which the fault behaviors of embedded software is triggered with the aid of modelbased fault injection by the support of an executable model-driven hardware-in-loop (HIL) testing environment. The prototype implementation of the robustness testing environment based on the proposed approach is experimentally discussed and illustrated by industrial case studies based on several avionics-embedded software systems. The results show that our proposed and implemented robustness testing method and environment are effective to find more bugs, and reduce burdens of testing engineers to enhance efficiency of testing tasks, especially for testing complex embedded systems.