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