• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IEEE Advanced Information Management, Communicates, Electronic and Automation Control Conference >Research on Embedded Software Testing Framework Based on Formal Specification
【24h】

Research on Embedded Software Testing Framework Based on Formal Specification

机译：基于形式规范的嵌入式软件测试框架研究

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Focusing on the functional testing of embedded software, this paper studies the formal testing model based on extended finite state machine. Then, the authors summarizes the complete construction process of embedded software testing based on formal specification and design the formal testing framework of embedded software. This framework describes the complete formal test execution flow from formal description of software requirements to the final test report. It solves the problems of the engineering application which is difficult to promote by formal test methods in embedded software. Finally, based on the results of theoretical research, a typical example of embedded application is verified to prove the effectiveness of the method.
机译：本文针对嵌入式软件的功能测试，研究了基于扩展有限状态机的形式化测试模型。然后，作者总结了基于正式规范的嵌入式软件测试的完整构建过程，并设计了嵌入式软件的正式测试框架。该框架描述了从软件需求的正式描述到最终测试报告的完整的正式测试执行流程。解决了嵌入式软件中形式化测试方法难以推广的工程应用问题。最后，基于理论研究的结果，验证了嵌入式应用的典型实例，证明了该方法的有效性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号