嵌入式系統開發工具發展(11)

中航一集團軟件可靠性管理與測評中心主任 劉斌教授

　　嵌入式系統的廣泛應用引發了對嵌入式軟件質量的深入討論。目前，軟件測試仍然是保證質量與可靠性的最有力手段。

　　測試越來越重要

　　2002年的歐洲阿麗亞娜5火箭的第一次鑒定發射失敗是由于軟件故障引起。美國F16 由于軟件問題導致首航時間耽誤了一年。今年2月，12架美國F-22戰斗機在飛向日本沖繩時，由于過了國際日期變更線，導航系統出現紊亂，不得不返回到夏威夷空軍基地?；貋戆l現是軟件缺陷導致。國外某軍艦運行了850個小時，故障120多次，軟件故障占70%；致命故障12次，其中軟件原因占70%。

　　因此，隨著軟件在系統中的比例加大，軟件缺陷不是孤立問題，是故障引起的主要來源。因為軟件在整個系統中承擔的任務越來越多，同時軟件是人腦智慧的思維產物，容易出現缺陷。詳細地說，軟件缺陷產生的原因，從軟件需求分析看，對軟件認識不充分占整個軟件的20%；設計缺陷占30%；編碼類缺陷占35%；其他來自軟件文檔。

　　但是與GESTE同類的、專用于武器裝備軟件測試的國外技術對中國是封鎖的。CATC（中航一集團計算機軟件可靠性管理與測評中心）1996年成立，當時是95國家重點課題，2001年研制成果工程化，2003年該中心的GESTE研制成功，目前推出的GESTE2.0面向多個國家重點型號，并且向民用發展。

　　軟件開發的門道

　　寫了25萬行代碼，除了Web編碼外都是自己寫的。CATC的優勢是依托學校，每年由碩士、博士在相關領域研究。主要采用三級研發體制，老師做基礎預研，然后是本中心進行工程化、商品化。學生做的東西好，但質量難以保證。工程化后使可靠性大大提高。這個過程花了6年時間。

　　在主持開發測試軟件的過程中，有兩點時刻提醒著我。IBM的工程師布魯克斯所寫的《人月神化》，堪稱軟件工程的經典圖書。在《人月神話》中，作者認為一個產品變成商品至少要花9倍的工作量，第二個時刻提醒我，設計師都希望把所有的好東西積壓在新產品里面，但也可能導致大量的質量問題，因此要注重把只有工程化的東西放進去，如果想法好但沒有經過三級認證，堅決不放進去。工程化這個步驟一定不能省。
集成軟件工程師經常失敗，是因為軟件工程不是簡單的多少人月就可以做出來。

　　提倡在人們重視硬件的同時，軟件絕不能偏廢。很多人對軟件有誤解，認為軟件什么人都能編，大學畢業生就可以了。但是我相信人的思想是最難把握，思想改變人的命運。就像共產主義信仰改變人一樣，而不是火車、飛機改變我們。做一個軟件不難，但是穩定、安全、可靠，并有大量的支持很難。

　　GESTE2.0

　　由于嵌入式軟件具有軟硬件結合密切、實時性較強以及接口復雜等特點，針對嵌入式系統的軟件測試更側重于利用仿真原理進行的系統測試。GESTE（通用嵌入式軟件仿真測試環境）產品基于半實物仿真測試原理，提供了對嵌入式軟件進行系統測試的全套解決方案，并具有良好的通用性、實時性、可擴展性以及易用性。

　　GESTE2.0在如下領域實現了更大突破：仿真測試環境的構建與測試環境集成；測試的執行效率進一步提高；加強了測試過程的管理；改進數據收集融合算法；進一步提高可擴展性。

　　GESTE的面市打破了國外對我國在相關領域的技術壟斷和封鎖，填補了我國實時嵌入式軟件缺乏通用仿真測試環境的空白，對于相關領域之快速定制需求亦具有革新意義。目前，除去航空、航天、船舶、兵器和電子等相關領域的成功實踐，CATC亦在積極拓展尋求與更廣泛領域軟件企業的合作，2008年北京奧林匹克運動會即是新近成功涉足之成功案例之一，未來，還將面向汽車、通信、民航業，以及所有有大型嵌入式軟件應用的地方。