Formal Testing Applied in Embedded Software

摘要：

Embedded systems have the features of being driven by events,concurrency,high safety,high reliability and so on. Considering the system states transference,real-time concurrence and schedule strategies,it is necessary and suitable to use formal methods to software testing.This paper laid out the induction of the dependable attributes of embedded software and focused on the modeling and validation on models in a formal view.Meanwhile,we put forward an integrated framework to test embedded software with formal validation and automated test cases generation.Using this framework and according to the collected failure mode base,we can improve the efficiency of testing by generating corresponding and various test cases automatically.In the end the framework was proven to be practical with an example,which expanded the formal description of state charts and generated test cases on interface automatically.

关键词： Software Testing Formal Model Checking Failure mode Test case.

作者: Li Zhen Liu Bin Ma Ning Yin Yongfeng

作者单位: Dept.of System Engineering of Engineering Technology Beihang University No.37 Xueyuan Road,Beijing,China,100191

会议类型: 国际会议

会议名称: 2009 8th International Conference on Reliability,Maintainability and Safety(第八届中国国际可靠性、维修性、安全性会议)

会议地点: 成都

会议语种:英文

页码: 697-702

在线出版日期: 2009-08-24（万方平台首次上网日期，不代表论文的发表时间）