關(guān)于我們
書單推薦
新書推薦

嵌入式實(shí)時(shí)操作系統(tǒng)測試?yán)碚摵头椒?/p>

嵌入式實(shí)時(shí)操作系統(tǒng)測試?yán)碚摵头椒? name=

定  價(jià):48 元

        

  • 作者:張明杰 雷迅 楊云 王林 宋恒 李強(qiáng) 張軍
  • 出版時(shí)間:2014/7/30
  • ISBN:9787516504994
  • 出 版 社:中航出版?zhèn)髅?/span>
  • 中圖法分類:H31 
  • 頁碼:239
  • 紙張:
  • 版次:
  • 開本:16K
9
7
5
8
0
7
4
5
9
1
9
6
4
《嵌入式實(shí)時(shí)操作系統(tǒng)測試?yán)碚摵头椒ā芬岳碚摓橹笇?dǎo),提出了操作系統(tǒng)測試需要解決的問題,證明了基于有限狀態(tài)機(jī)測試策略的正確性,使用動(dòng)態(tài)代碼走查方法提高代碼走查的效率和效果,使用地址監(jiān)控方法解決臨界保護(hù)正確性測試問題。每種測試方法都以理論為指導(dǎo),測試充分性得到有效保證!肚度胧綄(shí)時(shí)操作系統(tǒng)測試?yán)碚摵头椒ā愤m合于從事嵌入式操作系統(tǒng)設(shè)計(jì)和測試的科研人員參考和使用。
 你還可能感興趣
 我要評論
  驗(yàn)證碼:圖片看不清?點(diǎn)擊重新得到驗(yàn)證碼
留言內(nèi)容