Connecting to DB Micetek-最新消息

最新消息

英國 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劃定管理系统與服務。

LDRA 專業測試認證軟體