Modeling and Safety test of Safety-critical Software
Safety is an important character of safety-critical software system. In order to validate the safety of safety-critical software system, people will use the method of testing. The key factor of the method is to model the system safety requirements and interaction constraints among components. This paper addresses a new approach to model the safety requirements by safety behavior model and perform safety test of safety-critical system based on it. By using the method, we have developed an automatic testing platform for train control system safety test.
safety behaviour model test case saftey test
Gang Yu Zhong wei Xu Gang Yu Jing Xiong
School of Electronics & Information Engineering Tong Ji University Shanghai University Shanghai, Chi Sydney Institute of Language & Commerce Shanghai University College of Air Transportation, Shanghai
国际会议
厦门
英文
580-583
2010-10-29（万方平台首次上网日期，不代表论文的发表时间）