3.3.4 基于實時擴展UML與RT-EFSM的測試用例生成過程
- 嵌入式軟件系統測試:基于形式化方法的自動化測試解決方案
- 殷永峰 姜博編著
- 5696字
- 2021-02-22 15:46:23
上QQ閱讀APP看后續精彩內容
登錄訂閱本章 >
推薦閱讀
- Mastering OpenLayers 3
- JavaScript+DHTML語法與范例詳解詞典
- Java 9 Concurrency Cookbook(Second Edition)
- FFmpeg入門詳解:音視頻流媒體播放器原理及應用
- Java開發入行真功夫
- 薛定宇教授大講堂(卷Ⅳ):MATLAB最優化計算
- 軟件項目管理實用教程
- Mastering RStudio:Develop,Communicate,and Collaborate with R
- C語言程序設計同步訓練與上機指導(第三版)
- C#程序設計教程(第3版)
- Essential C++(中文版)
- Spring MVC+MyBatis開發從入門到項目實踐(超值版)
- 深入實踐Kotlin元編程
- Java EE 7 with GlassFish 4 Application Server
- 你真的會寫代碼嗎