An Approach for Automated Safety Testing of Safety-Critical Software System Based on Safety Requirements
Information Technology and Applications, 2009. IFITA '09. International Forum（2009）
摘要
Safety is a very important property for safetycritical software systems. We introduce an approach to test safety-critical software systems based on safety requirement by using model-based testing. The model is extracted from the safety requirement and system under test. In our approach, we use model checking techniques to generate test cases. To find appropriate test cases in less time, we divide the states spaces of model into different subsets. By using the approach, we have designed an automatic testing framework and developed an automatic testing platform, which has been used for testing the safety of high speed train control system in china
更多查看译文
关键词
automatic testing framework,safety requirement,model checking technique,model-based testing,appropriate test case,safety requirements,automatic testing platform,safety-critical software system,safetycritical software system,automated safety testing,different subsets,test case,markov processes,system testing,model checking,software systems,application software,formal verification,china,state space,software testing,system under test,control systems,control system,information technology,testing,model based testing
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要