written like an advertisement . please help improve it by removing promotional content and inappropriate external links and by adding encyclopedic content written from a neutral point of view . march 2015 learn how and when to remove this template message ldra testbed type private industry software testing founded 1975 headquarters wirral merseyside england area served worldwide key people ceo and president michael hennell products ldra testbed revenue n a number of employees 73 dec 2011 website 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. contents 1 history 2 static analysis 3 programming standards checking 4 dynamic coverage analysis 5 quality report 6 alternatives 7 references history edit liverpool 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 analysis edit static 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 checking edit the 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 file s against the superset supplied with ldra testbed this system can be configured for user definable filters switch standards on or off change standards from mandatory to optional or vice versa . use annotations to switch off standards for specific instances of violations . ldra testbed reports violations of the chosen set of standards in both textual reports and as annotations to graphical displays dynamic coverage analysis edit dynamic 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 analysis module . it is used to beneficial effect on software robustness and reliability during both development and maintenance cycles . quality report edit quality 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 . alternatives edit a 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 . references edit hennell michael 1978 . experimental testbed for numerical software . the computer journal . retrieved october 16 2011 . m. a. hennell and d. hedley an experimental testbed for numerical software . ii . algol 68 the computer journal 22 1 53 56 feb 1979 hughes janice 2011 . ldra ltd and mathworks join forces to integrate product to provide independent verification & lowers embedded development costs . ldra . retrieved october 13 2009 . mcconnel toni 2008 . ldra integrates tool suite with ibm rational rose realtime mdde . wirral uk ee times . retrieved november 12 2011 . ldra integrates tool suite with ibm rational rose realtime mdde . windriver . retrieved november 14 2011 . retrieved from https en.wikipedia.org w index.php title ldra testbed & oldid 733817352 categories software testingstatic program analysis toolshidden categories articles with a promotional tone from march 2015all articles with a promotional tonepages using infobox company with unsupported parameters navigation menu personal tools not logged intalkcontributionscreate accountlog in namespaces article talk variants views read edit view history more search navigation main pagecontentsfeatured contentcurrent eventsrandom articledonate to wikipediawikipedia store interaction helpabout wikipediacommunity portalrecent changescontact page tools what links hererelated changesupload filespecial pagespermanent linkpage informationwikidata itemcite this page print export create a bookdownload as pdfprintable version languages add links this page was last modified on 10 august 2016 at 08 51 . text is available under the creative commons attribution sharealike license ; additional terms may apply . by using this site you agree to the terms of use and privacy policy . wikipedia is a registered trademark of the wikimedia foundation inc. a non profit organization . privacy policy about wikipedia disclaimers contact wikipedia developers cookie statement mobile view