成果名稱：實時嵌入式軟件分析與測試工具——ATRES

成果擁有單位：廈門大學

成果簡介：

實時嵌入式系統是一個具有實時與并發特性的系統，其系統運行的不確定性給開發人員的調試與測試帶來很大的障礙。針對這個問題，本項目旨在開發一套實時嵌入式軟件的分析與測試工具(Analysis and Testing of Real-time Embedded System: ATRES)，方便用戶進行實時嵌入式系統的開發。ATRES主要有以下幾個特點：1. 能夠對實時嵌入式系統的運行進行追蹤(Traceability);2. 能夠重現實時嵌入式系統的歷史運行記錄(Reproducibility);3. 能夠分析系統中的競態條件(Race Condition Analysis);4. 能夠對實時嵌入式軟件進行覆蓋測試(Software Testing);5. 支持VxWorks和uC/OS II等實時操作系統。我們從2005年就開始進行軟件測試方面的研究，并公派研究人員赴美國知名大學參與實時嵌入式系統分析與測試的相關項目，取得成功。目前，我們已實現一套針對C/C++程序的軟件覆蓋測試工具SAT，并已掌握實時嵌入式軟件的追蹤/重演、競態條件分析等關鍵技術。可用于分析與測試基于VxWorks和uC/OS II等實時操作系統開發的實時嵌入式軟件。隨著信息化技術的發展和數字化產品的普及，以計算機技術、芯片技術和軟件技術為核心的嵌入式系統成為當前研究和應用的熱點，中國嵌入式系統產業發展迅猛，正在成為帶動IT產業發展新的增長點。2007年1月-10月，中國嵌入式系統軟件產業收入已達942億元，同比增長28%。據預測，2010年之前，中國嵌入式產業仍將保持快速增長，年均復合增長率將達25.8%。同時，實時嵌入式系統在工業、建筑、醫療、國防業的廣泛應用，使得實時嵌入式系統的可靠性、穩定性顯得尤為重要，嵌入式軟件的測試也開始備受關注。據了解，在軟件業發達的國家，軟件測試早已成為軟件開發的一個有機組成部分，在整個軟件開發周期中占有相當大比重。國外優秀的軟件開發機構把40%的工作花在軟件測試上，軟件測試費用占軟件開發總費用的30%至50%，對于一些要求高可靠性、高安全性的軟件，測試費用則相當于整個軟件項目開發所有費用的3至5倍。

合作方式：具體協商。

聯系方式：

聯 系 人：郭東輝、李曉潮、王云峰 電話：0592-2580135