下载掌阅APP，畅读海量书库

立即打开

畅读海量书库

扫码下载掌阅APP

第3章

基于形式化方法的嵌入式软件系统测试技术

基于形式化方法的嵌入式软件自动化系统测试理论是本书最重要的内容之一，这源于形式化方法的诸多优点，本章将从形式化测试方法入手，提出实时扩展有限状态机模型，并基于该模型探讨嵌入式软件系统测试自动化技术。

点击中间区域
呼出菜单

购买书籍时，会优先扣除您的代金券，再扣除阅饼；当您的余额不足时，可使用微信或支付宝支付，补足差价；
连载书籍勾选自动购买下一章后，会自动扣费，已购章节不会重复扣费；
书籍购买记录请至我的—购书记录中查询

上一章

目录

下一章

×