航空行業(yè)案例：英國(guó)QinetiQ使用Parasoft將問(wèn)題減少了75%

---

QinetiQ Space N.V.是英國(guó)QinetiQ的比利時(shí)航天部門(mén)，該公司專門(mén)從事在航空航天，電力推進(jìn)，微重力研究?jī)x器，機(jī)器人系統(tǒng)，空間安全，太空探索，遙感和小型衛(wèi)星系統(tǒng)等惡劣環(huán)境中部署的高可靠性產(chǎn)品的開(kāi)發(fā)。

挑戰(zhàn)：面臨嚴(yán)酷的太空環(huán)境

QinetiQ Space管理從概念到在軌操作的高可靠性太空產(chǎn)品的開(kāi)發(fā)。為了實(shí)現(xiàn)這一目標(biāo)，電子和軟件工程（ESE）部門(mén)的工程師致力于傾聽(tīng)，理解和響應(yīng)客戶的需求對(duì)于嵌入式軟件開(kāi)發(fā)，團(tuán)隊(duì)成員專門(mén)研究安全關(guān)鍵的軟件應(yīng)用程序，包括引導(dǎo)加載程序，低級(jí)設(shè)備驅(qū)動(dòng)程序，通信協(xié)議，系統(tǒng)服務(wù)和實(shí)時(shí)應(yīng)用程序軟件。

為了管理在惡劣的空間環(huán)境中使用的大量軟件以及部署的這些安全關(guān)鍵系統(tǒng)的復(fù)雜性，管理層確定了對(duì)質(zhì)量控制工具的需求，以防止產(chǎn)品質(zhì)量下降或客戶滿意度下降。該組織選擇Parasoft C / C ++ test來(lái)減輕這些風(fēng)險(xiǎn)，尤其是要執(zhí)行MISRA C / C ++靜態(tài)代碼分析，設(shè)計(jì)和執(zhí)行軟件單元測(cè)試以及衡量測(cè)試覆蓋率。

為什么選擇Parasoft？

與評(píng)估中考慮的其他工具相比，Parasoft的工具套件更加完善。 因?yàn)镃 / C ++ test在單個(gè)應(yīng)用程序中集成了所有必需的功能（避免了使用其他工具的需要），所以QinetiQ軟件開(kāi)發(fā)團(tuán)隊(duì)僅通過(guò)使用一個(gè)用戶界面即可支持確定的問(wèn)題，只需單擊幾下鼠標(biāo)即可受益。

對(duì)于選擇團(tuán)隊(duì)來(lái)說(shuō)，同樣重要的是能夠根據(jù)組織的特定軟件質(zhì)量要求采用編碼規(guī)則，Parasoft為此提供了獨(dú)特的支持。QinetiQ還必須滿足歐洲ECSS-E-ST-40C，ECSS-Q-ST-80C和EN 9100軟件工程和質(zhì)量標(biāo)準(zhǔn)中定義的嚴(yán)格要求，而Parasoft C / C ++ test能夠展示最吸引人的軟件質(zhì)量控制功能與成本比。此外，值得注意的是，該工具套件已被安全性至關(guān)重要的軟件開(kāi)發(fā)社區(qū)廣泛接受，這也為他們選擇的合理性做出了貢獻(xiàn)。

繼續(xù)使用Parasoft C / C ++ test

如今，QinetiQ嵌入式軟件團(tuán)隊(duì)主要使用Parasoft C / C ++ test來(lái)執(zhí)行MISRA C / C ++靜態(tài)代碼分析，設(shè)計(jì)和執(zhí)行軟件單元測(cè)試，測(cè)量測(cè)試覆蓋率，根據(jù)項(xiàng)目需求配置編碼規(guī)則（即軟件重要性）。 ），對(duì)源代碼執(zhí)行指標(biāo)收集，并報(bào)告單元測(cè)試結(jié)果和測(cè)試覆蓋率。
Parasoft C / C ++測(cè)試工具套件已在QinetiQ使用了多年，并已應(yīng)用于嵌入式軟件開(kāi)發(fā)，范圍從用于國(guó)際空間站的盒子大小的科學(xué)儀器到小型自主運(yùn)行的衛(wèi)星。Parasoft C / C ++ test工具套件易于集成并升級(jí)到QinetiQ的現(xiàn)有軟件開(kāi)發(fā)環(huán)境中。

結(jié)果：減少75％的問(wèn)題

QinetiQ軟件團(tuán)隊(duì)提供了高質(zhì)量，可靠且“首次使用”的軟件產(chǎn)品，這意味著該產(chǎn)品必須根據(jù)其規(guī)格在一個(gè)偏遠(yuǎn)的，有時(shí)是無(wú)法進(jìn)入的空間環(huán)境中安全，可靠地運(yùn)行。

在產(chǎn)品開(kāi)發(fā)過(guò)程中應(yīng)用了演化生命周期來(lái)實(shí)現(xiàn)這一目標(biāo)，在后續(xù)項(xiàng)目審查里程碑中，將實(shí)現(xiàn)并展示產(chǎn)品質(zhì)量的提高。 當(dāng)衛(wèi)星硬件位于啟動(dòng)器頂部時(shí)，必須準(zhǔn)備好軟件并進(jìn)行驗(yàn)證。QinetiQ通過(guò)監(jiān)視開(kāi)發(fā)過(guò)程中的軟件問(wèn)題報(bào)告（SPR）的數(shù)量來(lái)衡量使用Parasoft C / C ++ test的價(jià)值。 自從將Parasoft C / C ++ test集成到他們的軟件開(kāi)發(fā)過(guò)程以來(lái)，他們發(fā)現(xiàn)在軟件開(kāi)發(fā)過(guò)程中發(fā)出的SPR大大減少了-降低了大約75％。

自我驗(yàn)證

Parasoft C / C ++ test的集成還使開(kāi)發(fā)團(tuán)隊(duì)能夠自我驗(yàn)證軟件代碼的質(zhì)量。自我驗(yàn)證是一項(xiàng)重要資產(chǎn)，因?yàn)樗[式地利用了軟件質(zhì)量，同時(shí)由于進(jìn)行了中間驗(yàn)證和發(fā)布周期后需要解決的錯(cuò)誤較少，因此需要更少的開(kāi)發(fā)時(shí)間。因此，QinetiQ的總體開(kāi)發(fā)成本得以降低，并且部署后其產(chǎn)品中未發(fā)現(xiàn)任何缺陷，從而提高了產(chǎn)品質(zhì)量。 （請(qǐng)注意，關(guān)鍵的軟件開(kāi)發(fā)要求嚴(yán)格的產(chǎn)品驗(yàn)證，因此“無(wú)缺陷”表示：100％的單元測(cè)試覆蓋率，100％的需求驗(yàn)證覆蓋率，通過(guò)故障注入進(jìn)行的專用軟件安全測(cè)試以及獨(dú)立軟件驗(yàn)證/驗(yàn)證（ISVV）。）

Parasoft C / C ++ test的集成還使產(chǎn)品保證經(jīng)理能夠獲取客觀的軟件過(guò)程指標(biāo)，這對(duì)于向QinetiQ的客戶展示其軟件產(chǎn)品的發(fā)展非常有用。這樣可以建立客戶信心，改善長(zhǎng)期合作關(guān)系，并增強(qiáng)未來(lái)的業(yè)務(wù)實(shí)力。

以上就是Parasoft C / C ++ test在航天領(lǐng)域的實(shí)施案例，除了航天領(lǐng)域，parasoft還在金融、教育、醫(yī)療等等行業(yè)都有應(yīng)用，您是否感興趣呢？如果您有任何疑問(wèn)或需求，請(qǐng)隨時(shí)聯(lián)系慧都客服，我們很高興為您提供查詢和咨詢。

獲取Parasoft資料或申請(qǐng)?jiān)囉每杉観Q：2867205852