代理產品

MENU

LDRA 軟體測試套件


公司簡介

LDRA(Liverpool Data Research Associates)公司成立於1975年,是專業軟體品質認證工具與軟體測試技術、諮詢服務的提供者,具有豐富的軟體品質認證工具與軟體測試經驗。總部設立於英國利物浦,在美國,法國、澳大利亞設有分公司,並於全球十多個國家和地區有代理商 祥寶科技股份有限公司 MICTEK 為其在台灣的獨家代理商。

LDRA 公司是軟體品質認證工具與軟體測試技術的領導者,是許多軟體測試技術與方法的首創者,已經發表了超过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軟體測試套件和LDRA 界定服務提供完整解决方案以滿足當今世界基於需求驅動的開發與驗證對可追踪性與證據性要求。

LDRA 軟體測試套件自發布以來已具有40年歷史,在軟體質量市場絕無僅有。LDRA軟體測試套件提供完整的功能並具有開放性與擴展性,幫助客户實現對需求到部署等各個階段購建高质量軟體。通過將LDRA軟體測試套件整合到軟體開發過程中使得嚴苛的軟體開發實現嚴格行業標準的界定與批准諸如航空DO-178B/C、工業IEC61508、汽車ISO26262、鐵路運輸EN50128及醫療IEC62304等。

LDRA 提供的技術與服務已成功地應用於多個領域數百個項目,加速了嚴苛的軟體開發、驗證和界定。LDRA軟體測試套件可貫穿於整個軟體開發生命周期並支持整個軟體项目團隊成员包括项目經理、系统工程師、軟體開發工程師、QA工程師、測試和維護工程師等日常使用。

LDRA 軟體測試套件功能强大、全面、易於使用,不僅適合於主機平台軟體質量保證和軟體測試,同時適合於嵌入式軟體的軟體质量保證和軟體測試,已成功地應用於國内、國外各大研究機構、軟體測試部門。

LDRA 為軟體開發人員、測試人員以及項目管理人提出了革命性的新方法 “零缺陷軟體開發(ZDSD)”。LDRA軟體測試套件能够對如下八大活動實現全面的自動化的支援:

  • 代碼審核
  • 編碼規則符合性檢查
  • 代碼質量審核
  • 單元測試
  • 目標機測試
  • 代碼覆蓋率分析
  • 測試管理
  • 需求管理與追踪

LDRA 軟體測試套件主要包括 Testbed、TBrun、TBvision、TBmanager 模塊及針對 DO-178B 標準中的A级要求提供目標碼測試模塊 TBobject。

 

往右滑動來顯示產品類別