| 词条 | LDRA Testbed |
| 释义 |
| name = LDRA Testbed | logo = | type = Private | foundation = 1975 | location_city = Wirral, Merseyside | location_country = England | area_served = Worldwide | key_people = CEO and President: Michael Hennell | num_employees = 127 (April 2017) | industry = Software testing | products = LDRA Testbed | revenue = N/A | homepage = {{URL|www.ldra.com}} }} LDRA Testbed provides the core static and dynamic analysis engines for both host and embedded software. LDRA Testbed provides the means to enforce compliance with coding standards such as MISRA, JSF++ AV, CERT C, CWE and provides visibility of software flaws that might typically pass through the standard build and test process to become latent problems. In addition, test effectiveness feedback is provided through structural coverage analysis reporting facilities which support the requirements of the DO-178B standard up to and including Level-A. HistoryLiverpool Data Research Associates (LDRA) was founded in 1975 by Professor Michael Hennell to commercialize a software test-bed created to perform quality assessments on the mathematical libraries on which his Nuclear physics research at the University of Liverpool depended.[1]LDRA Testbed is a proprietary software analysis tool providing static code analysis, and also provides code coverage analysis, code, quality and design reviews. It is a commercial implementation of the software test-bed created by Hennell as part of his university research. It was the first commercial product to include support for the Linear Code Sequence and Jump software analysis method, which resulted from the same research. It is used primarily where software is required to be reliable, rugged, and as error-free as possible, such as in safety critical aerospace electronics or avionics.[2] It has also been used in the detection and removal of security vulnerabilities. LDRA Testbed is a part of a tool suite from LDRA, and some of the capabilities of LDRA Testbed include the following. Static analysisStatic analysis initiates LDRA Testbed activity by undertaking lexical and syntactic analysis of the source code for a single file or a complete system. Programming standards checkingThe enforcement of programming standards (or coding standards) is commonly regarded as good practice. The adherence to such standards can be automatically checked by products like LDRA Testbed. Main Static Analysis searches the source code for any programming standards violations, by checking the source files against the superset supplied with LDRA Testbed. This system can be configured for:
LDRA Testbed reports violations of the chosen set of standards in both textual reports and as annotations to graphical displays Dynamic coverage analysisDynamic coverage analysis explores the semantics of the program-under-test via test data selection. It uses control and data flow models and compares them with the actual control and data flow as the program executes. Dynamic Analysis, therefore, forces the selection of test data which explores the structure of the source code. The LDRA tool suite includes a dynamic coverage amodule. It is used to beneficial effect on software robustness and reliability during both development and maintenance cycles. Quality reportQuality metrics such as Halstead complexity measures, cyclomatic complexity, Knots metric are designed to verify that code is clear, maintainable and testable. The quality report in the LDRA tool suite presents both a summary and detailed breakdown of quality metrics which are deduced during static analysis. AlternativesA selection of LDRA's partners in the software testing market include: MathWorks who have integrated their Simulink tools,[3] as well as IBM Rational Rose,[4] Rational Rhapsody, IAR Embedded Workbench, Wind River[5] and VxWorks. LDRA's rivals include AdaTEST, Cantata++, Coverity, Klocwork, Parasoft and VectorCAST. References1. ^{{cite web| first = Michael| last = Hennell| title = Experimental testbed for numerical software| url = http://www.spaceref.com/news/viewpr.html?pid=29711| publisher = The Computer Journal| year = 1978| accessdate = 16 October 2011}} 2. ^M. A. Hennell and D. Hedley, An experimental testbed for numerical software. {II}. {ALGOL 68}, The Computer Journal 22(1):53--56, @feb 1979 3. ^{{cite web| first = Janice| last = Hughes| title = LDRA Ltd and MathWorks Join Forces to Integrate Product to Provide Independent Verification & Lowers Embedded Development Costs| url = http://investing.businessweek.com/research/stocks/private/snapshot.asp?privcapId=7884620| publisher = LDRA| year = 2011| accessdate = 13 October 2009}} 4. ^{{cite web |first = Toni |last = Mcconnel |title = LDRA integrates tool suite with IBM Rational Rose RealTime MDDE |url = http://www.mathworks.com/company/newsletters/news_notes/clevescorner/win03_cleve.html |publisher = EE Times |location = Wirral, UK |year = 2008 |accessdate = 12 November 2011 |deadurl = yes |archiveurl = https://web.archive.org/web/20110828151917/http://www.mathworks.com/company/newsletters/news_notes/clevescorner/win03_cleve.html |archivedate = 28 August 2011 |df = dmy-all}} 5. ^{{cite web| title = LDRA integrates tool suite with IBM Rational Rose RealTime MDDE| url = http://www.windriver.com/alliances/newdirectory/company.html?id=1541| publisher = WindRiver| accessdate = 14 November 2011}} 2 : Software testing|Static program analysis tools |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。