• 主题
高级搜索  >
历史搜索 清空历史
首页> 中文期刊> 《系统工程与电子技术：英文版》 >Real-time embedded software testing method based on extended finite state machine

Real-time embedded software testing method based on extended finite state machine

         
页面导航
  • 摘要
  • 著录项
  • 相关主题

摘要

The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded system,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 realtime 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.

著录项

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号