合作信息
實時嵌入式軟件分析與測試工具——ATRES
發(fā)布單位：廈門大學
所屬行業(yè)：電子信息
合作信息類型：意向合作
機構(gòu)類型：高等院校
供求關(guān)系：供應(yīng)
合作信息期限：2015-12
參考價格：面議
0
收藏數(shù)
合作信息簡介
成果名稱：實時嵌入式軟件分析與測試工具——ATRES
成果擁有單位：廈門大學
成果簡介：
實時嵌入式系統(tǒng)是一個具有實時與并發(fā)特性的系統(tǒng)，其系統(tǒng)運行的不確定性給開發(fā)人員的調(diào)試與測試帶來很大的障礙。針對這個問題，本項目旨在開發(fā)一套實時嵌入式軟件的分析與測試工具(Analysis and Testing of Real-time Embedded System: ATRES)，方便用戶進行實時嵌入式系統(tǒng)的開發(fā)。ATRES主要有以下幾個特點：1. 能夠?qū)崟r嵌入式系統(tǒng)的運行進行追蹤(Traceability);2. 能夠重現(xiàn)實時嵌入式系統(tǒng)的歷史運行記錄(Reproducibility);3. 能夠分析系統(tǒng)中的競態(tài)條件(Race Condition Analysis);4. 能夠?qū)崟r嵌入式軟件進行覆蓋測試(Software Testing);5. 支持VxWorks和uC/OS II等實時操作系統(tǒng)。我們從2005年就開始進行軟件測試方面的研究，并公派研究人員赴美國知名大學參與實時嵌入式系統(tǒng)分析與測試的相關(guān)項目，取得成功。目前，我們已實現(xiàn)一套針對C/C++程序的軟件覆蓋測試工具SAT，并已掌握實時嵌入式軟件的追蹤/重演、競態(tài)條件分析等關(guān)鍵技術(shù)?？捎糜诜治雠c測試基于VxWorks和uC/OS II等實時操作系統(tǒng)開發(fā)的實時嵌入式軟件。隨著信息化技術(shù)的發(fā)展和數(shù)字化產(chǎn)品的普及，以計算機技術(shù)、芯片技術(shù)和軟件技術(shù)為核心的嵌入式系統(tǒng)成為當前研究和應(yīng)用的熱點，中國嵌入式系統(tǒng)產(chǎn)業(yè)發(fā)展迅猛，正在成為帶動IT產(chǎn)業(yè)發(fā)展新的增長點。2007年1月-10月，中國嵌入式系統(tǒng)軟件產(chǎn)業(yè)收入已達942億元，同比增長28%。據(jù)預測，2010年之前，中國嵌入式產(chǎn)業(yè)仍將保持快速增長，年均復合增長率將達25.8%。同時，實時嵌入式系統(tǒng)在工業(yè)、建筑、醫(yī)療、國防業(yè)的廣泛應(yīng)用，使得實時嵌入式系統(tǒng)的可靠性、穩(wěn)定性顯得尤為重要，嵌入式軟件的測試也開始備受關(guān)注。據(jù)了解，在軟件業(yè)發(fā)達的國家，軟件測試早已成為軟件開發(fā)的一個有機組成部分，在整個軟件開發(fā)周期中占有相當大比重。國外優(yōu)秀的軟件開發(fā)機構(gòu)把40%的工作花在軟件測試上，軟件測試費用占軟件開發(fā)總費用的30%至50%，對于一些要求高可靠性、高安全性的軟件，測試費用則相當于整個軟件項目開發(fā)所有費用的3至5倍。
合作方式：具體協(xié)商。
聯(lián)系方式：
聯(lián) 系 人：郭東輝、李曉潮、王云峰 電話：0592-2580135
成果擁有單位：廈門大學
成果簡介：
實時嵌入式系統(tǒng)是一個具有實時與并發(fā)特性的系統(tǒng)，其系統(tǒng)運行的不確定性給開發(fā)人員的調(diào)試與測試帶來很大的障礙。針對這個問題，本項目旨在開發(fā)一套實時嵌入式軟件的分析與測試工具(Analysis and Testing of Real-time Embedded System: ATRES)，方便用戶進行實時嵌入式系統(tǒng)的開發(fā)。ATRES主要有以下幾個特點：1. 能夠?qū)崟r嵌入式系統(tǒng)的運行進行追蹤(Traceability);2. 能夠重現(xiàn)實時嵌入式系統(tǒng)的歷史運行記錄(Reproducibility);3. 能夠分析系統(tǒng)中的競態(tài)條件(Race Condition Analysis);4. 能夠?qū)崟r嵌入式軟件進行覆蓋測試(Software Testing);5. 支持VxWorks和uC/OS II等實時操作系統(tǒng)。我們從2005年就開始進行軟件測試方面的研究，并公派研究人員赴美國知名大學參與實時嵌入式系統(tǒng)分析與測試的相關(guān)項目，取得成功。目前，我們已實現(xiàn)一套針對C/C++程序的軟件覆蓋測試工具SAT，并已掌握實時嵌入式軟件的追蹤/重演、競態(tài)條件分析等關(guān)鍵技術(shù)?？捎糜诜治雠c測試基于VxWorks和uC/OS II等實時操作系統(tǒng)開發(fā)的實時嵌入式軟件。隨著信息化技術(shù)的發(fā)展和數(shù)字化產(chǎn)品的普及，以計算機技術(shù)、芯片技術(shù)和軟件技術(shù)為核心的嵌入式系統(tǒng)成為當前研究和應(yīng)用的熱點，中國嵌入式系統(tǒng)產(chǎn)業(yè)發(fā)展迅猛，正在成為帶動IT產(chǎn)業(yè)發(fā)展新的增長點。2007年1月-10月，中國嵌入式系統(tǒng)軟件產(chǎn)業(yè)收入已達942億元，同比增長28%。據(jù)預測，2010年之前，中國嵌入式產(chǎn)業(yè)仍將保持快速增長，年均復合增長率將達25.8%。同時，實時嵌入式系統(tǒng)在工業(yè)、建筑、醫(yī)療、國防業(yè)的廣泛應(yīng)用，使得實時嵌入式系統(tǒng)的可靠性、穩(wěn)定性顯得尤為重要，嵌入式軟件的測試也開始備受關(guān)注。據(jù)了解，在軟件業(yè)發(fā)達的國家，軟件測試早已成為軟件開發(fā)的一個有機組成部分，在整個軟件開發(fā)周期中占有相當大比重。國外優(yōu)秀的軟件開發(fā)機構(gòu)把40%的工作花在軟件測試上，軟件測試費用占軟件開發(fā)總費用的30%至50%，對于一些要求高可靠性、高安全性的軟件，測試費用則相當于整個軟件項目開發(fā)所有費用的3至5倍。
合作方式：具體協(xié)商。
聯(lián)系方式：
聯(lián) 系 人：郭東輝、李曉潮、王云峰 電話：0592-2580135
