英國 LDRA 專業測試認證軟體

2019-05-24

---

公司是軟體品質認證工具與軟體測試技術的領導者，是許多軟體測試技術與方法的首創者，已經發表了超过100篇軟體分析與測試技術的論文。

其主要技術成就包括：

• LDRA 公司于1970年首次提出使用LCSAJ(線性代碼順序及跳轉)覆蓋率，LCSAJ覆蓋率很快成為軟體測試工業標準，成功用於“Eurofighter Aircraft Testing Standard”及“BS7925 Software Component Testing”。
• LDRA 公司是數據流分析技術領導者，數據流分析技術被證明是有效發现軟體錯誤的强有力技術。
• LDRA 公司在數據流分析技術上所擁有的强大優勢，使得其在訊息流分析技術上處於領先地位；訊息流分析是用於研究分析程序中變量間的依赖關係，此技術成為英國國防部軟體測試標準"British Defence Standard 00-55"不可缺少的重要方法。
• LDRA 軟體測試套件是首家用於美國航空軟體測試標準DO-178B進行軟體測試的工具，具有廣泛的客戶使用經驗。
• 1998年，汽車工業軟體可靠性協會MISRA出版MISRA C標準，以在汽車行業推行“Safe C”使用，LDRA軟體測試套件是唯一可同時用於MISRA C標準進行代碼規則驗證、複雜度分析及動態測試分析的工具。

作為要求嚴苛軟體驗證和獲得市場認可的領導者，LDRA 公司及其員工積極参與各種標準組織如MISRA C/C++委員會、DO-178C SC205/WG71委員會、ISO軟體漏洞工作組、“C Secure Coding Rules”工作組及SC 22/WG 14 C語言工作組。通過参與這些組織，LDRA公司得以持續貢獻軟體工程實踐所累積的經驗與先進技術，從而幫助確保更高安全性、高保密性及任務嚴苛的系统。

LDRA 公司自創立之初即嚴格要求軟體產品開發過程與產品質量，具有長時間良好紀錄。其質量管理系统通過BS EN ISO9001:  2000 / TickIT標準。

LDRA 公司提供LDRA軟體測試套件為高安全性、高保密性及任務嚴苛的軟體開發與驗證提供有效的工具，同时提供符合DO-178B/C等標準的LCMS劃定管理系统與服務。