LDRA Testbed

LDRA Testbed

LDRA Testbed provides static code analysis, as well as code, quality and design reviews and test verification for code coverage and the product was developed by LDRA.

It makes use of static analysis and dynamic analysis technology to assist software developers and test engineers with the areas of process improvement, software testing and software maintenance achieve their software goals.

Current product list

* LDRA Testbed provides static code analysis, as well as code, quality and design reviews, test verification for code coverage
**TBrun is an automated unit testing tool
**TBreq for requirements traceability
**TBmanager extends TBreq
**TBevolve supports software baseline management
**TBsafe for DO-178B certification
**TBpublish for publishing HTML indexes
**TBaudit for Microsoft Word reports
**DO-178B Tool Qualification

LDRA Testbed partially supports the Programming Research High Integrity C++ standard. [ [http://www.codingstandard.com/HICPPCM/index.html HIC++ Standard] ]

Most products run on Windows, Linux and several other varieties of Unix like Solaris, HP-UX, etc.

References

* [http://www.ldra.co.uk/nologindownload.asp?id=99 A revised proposal for IEC 61508. This paper was presented at the Embedded Systems Show 2006 in Birmingham, UK]

External links

* [http://www.ldra.com LDRA Home Page]
* [http://www.ldra.co.uk/testbed.asp LDRA Testbed site]


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • LDRA — Logo de LDRA Création 1975 Fondateurs Professeur Michael Hennell …   Wikipédia en Français

  • Code coverage — is a measure used in software testing. It describes the degree to which the source code of a program has been tested. It is a form of testing that inspects the code directly and is therefore a form of white box testing.[1] Code coverage was among …   Wikipedia

  • List of tools for static code analysis — This is a list of significant tools for static code analysis.Historical products* Lint the original static code analyzer of C code.Open source or Noncommercial products .NET (C#, VB.NET and all .NET compatible languages) *… …   Wikipedia

  • Testabdeckung — Als Testabdeckung bezeichnet man das Verhältnis an tatsächlich getroffenen Aussagen eines Tests gegenüber den theoretisch möglich treffbaren Aussagen bzw. der Menge der gewünschten treffbaren Aussagen. Die Testabdeckung spielt als Metrik zur… …   Deutsch Wikipedia

  • MISRA C++ — is a software development standard for the C++ programming language developed by MISRA. Its aims are to facilitate reliability in the context of embedded systems, specifically those systems programmed in C++. There is also a set of guidelines… …   Wikipedia

  • Michael Hennell — Professor Michael A. Hennell (born 09 Sep 1940) is a British computer scientist who has made leading contributions in the field of in software testing.[1][2] Michael Hennell is Professor Emeritus of Mathematical Sciences, University of Liverpool… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”