航空行業案例：英國QinetiQ使用Parasoft將問題減少了75%

---

QinetiQ Space N.V.是英國QinetiQ的比利時航天部門，該公司專門從事在航空航天，電力推進，微重力研究儀器，機器人系統，空間安全，太空探索，遙感和小型衛星系統等惡劣環境中部署的高可靠性產品的開發。

挑戰：面臨嚴酷的太空環境

QinetiQ Space管理從概念到在軌操作的高可靠性太空產品的開發。為了實現這一目標，電子和軟件工程（ESE）部門的工程師致力于傾聽，理解和響應客戶的需求對于嵌入式軟件開發，團隊成員專門研究安全關鍵的軟件應用程序，包括引導加載程序，低級設備驅動程序，通信協議，系統服務和實時應用程序軟件。

為了管理在惡劣的空間環境中使用的大量軟件以及部署的這些安全關鍵系統的復雜性，管理層確定了對質量控制工具的需求，以防止產品質量下降或客戶滿意度下降。該組織選擇Parasoft C / C ++ test來減輕這些風險，尤其是要執行MISRA C / C ++靜態代碼分析，設計和執行軟件單元測試以及衡量測試覆蓋率。

為什么選擇Parasoft？

與評估中考慮的其他工具相比，Parasoft的工具套件更加完善。 因為C / C ++ test在單個應用程序中集成了所有必需的功能（避免了使用其他工具的需要），所以QinetiQ軟件開發團隊僅通過使用一個用戶界面即可支持確定的問題，只需單擊幾下鼠標即可受益。

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

繼續使用Parasoft C / C ++ test

如今，QinetiQ嵌入式軟件團隊主要使用Parasoft C / C ++ test來執行MISRA C / C ++靜態代碼分析，設計和執行軟件單元測試，測量測試覆蓋率，根據項目需求配置編碼規則（即軟件重要性）。 ），對源代碼執行指標收集，并報告單元測試結果和測試覆蓋率。
Parasoft C / C ++測試工具套件已在QinetiQ使用了多年，并已應用于嵌入式軟件開發，范圍從用于國際空間站的盒子大小的科學儀器到小型自主運行的衛星。Parasoft C / C ++ test工具套件易于集成并升級到QinetiQ的現有軟件開發環境中。

結果：減少75％的問題

QinetiQ軟件團隊提供了高質量，可靠且“首次使用”的軟件產品，這意味著該產品必須根據其規格在一個偏遠的，有時是無法進入的空間環境中安全，可靠地運行。

在產品開發過程中應用了演化生命周期來實現這一目標，在后續項目審查里程碑中，將實現并展示產品質量的提高。 當衛星硬件位于啟動器頂部時，必須準備好軟件并進行驗證。QinetiQ通過監視開發過程中的軟件問題報告（SPR）的數量來衡量使用Parasoft C / C ++ test的價值。 自從將Parasoft C / C ++ test集成到他們的軟件開發過程以來，他們發現在軟件開發過程中發出的SPR大大減少了-降低了大約75％。

自我驗證

Parasoft C / C ++ test的集成還使開發團隊能夠自我驗證軟件代碼的質量。自我驗證是一項重要資產，因為它隱式地利用了軟件質量，同時由于進行了中間驗證和發布周期后需要解決的錯誤較少，因此需要更少的開發時間。因此，QinetiQ的總體開發成本得以降低，并且部署后其產品中未發現任何缺陷，從而提高了產品質量。 （請注意，關鍵的軟件開發要求嚴格的產品驗證，因此“無缺陷”表示：100％的單元測試覆蓋率，100％的需求驗證覆蓋率，通過故障注入進行的專用軟件安全測試以及獨立軟件驗證/驗證（ISVV）。）

Parasoft C / C ++ test的集成還使產品保證經理能夠獲取客觀的軟件過程指標，這對于向QinetiQ的客戶展示其軟件產品的發展非常有用。這樣可以建立客戶信心，改善長期合作關系，并增強未來的業務實力。

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

獲取Parasoft資料或申請試用可加QQ：2867205852