At the heart of the LDRA tool suite is LDRA Testbed, providing the core static and dynamic analysis engines for both host and target-based software. LDRA Testbed enforces compliance with code standards and provides clear visibility of software flaws that might typically pass through the standard build and test process to become latent problems. In addition, extensive 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.
TBvision ® - Increases Visibility for Industry Standards Compliance, Security Vulnerabilities and Defect and Fault Detection
TBvision presents code standard violations and software flaws in the context of the original source code. The interactive environment allows switching between reported violations; the original source code and any of the LDRA Testbed supported coding standards. In so doing TBvision clarifies to the user why an issue is being reported and what remedial action is required. In addition, software integrity can be measured and reported in terms of quality, security, or simply the presence of defects (including dynamic memory errors).TBvision presents the software flaws identified by static analysis from any of these perspectives and identifies the issues that need to be addressed to ensure that a software project meets its objectives.
TBrun ® - Automated unit testing and integration testing
TBrun is LDRA's automated unit testing tool, providing a GUI driven interface for creating unit and module test cases for either host or target-based software. Test harnesses are automatically generated by TBrun, which also supports the creation of stubs for code that is outside the scope of the tests. Structural coverage analysis can also be included in the test harness, helping to ensure that the defined test cases execute 100% of the code under test. Formal test reports can be produced and, once generated, the test harnesses then serve as a regression test environment for future development phases.
For requirements driven projects TBreq supports the tracing of requirements through the entire software development lifecycle. With TBreq, high level requirements captured in standard office documents or third party RTM solutions such as DOORS or Requisite Pro can be traced through lower level documents to the code itself, and also to the associated verification activities and artifacts produced by the LDRA tool suite. The end result is a Requirements Traceability Matrix document that captures how each high level requirement was traced to the final software product, including the associated verification activities and results.
Wind River Test Management is a test execution optimization system for embedded devices. It enables unprecedented run-time visibility into devices while under test. The system provides the operational feedback that test teams and their management need to achieve the highest possible quality in the least amount of time.
Wind River Test Management is a scalable system that adds value to your existing test and development environments to enhance automation, control, traceability, and feedback. It leverages unique, dynamic instrumentation technology to measure test coverage, map test-to-code traceability, profile performance, enable white-box access, and speed diagnostics of complex devices-all at run-time:
Perforce, the /fast /Software Configuration Management (SCM) System, reduces time-to-market for new and existing embedded systems development projects.
Perforce tracks and manages all digital assets (including source code, documents, graphics and CAD drawings). It enables collaboration between hardware and software development teams.
Atomic transactions help to link collections of file revisions with work
orders, eCos, or program specifications. This means that bug fixing is quicker, allowing you to spend more time creating your product. Our Inter-File Branching and merging also helps manage multiple releases or variants, which can reduce your development effort.
More than 270,000 developers at 4,700 organisations worldwide use the Perforce SCM System. Perforce provides support for the concurrent development of hardware, firmware and software for leading edge companies. Some of our customers include nVidia, Harman/Becker, TTPCom, TomTom, Palm and National Instruments.
Knowledge management and effective document collaboration is critical for R&D companies, and CogniDox is the ideal proven solution for the Semiconductor, Consumer Electronics and Embedded Systems sector.
It enables you to maintain an easy-to-use, web-based document respository for all your projects. Our state-of-the-art enterprise search facility based on Lucene/Solr will save you time and help you see what others have contributed. Design reviews are easier to manage with our configurable review and approval workflow process. A document control procedure based on CogniDox satsifies Quality acceditation requirements such as ISO 9001 and ISO 13485.
We offer plug-ins for tools such as CVS, Subversion and Perforce SCM to improve Product release managment. Our plug-ins for SugarCRM and Salesforce enables end-to-end management of customers from Prospect to Licensee, and our "instant Extranet" web template offers a quick and effective way to support customer downloads and problem tracking. Last but not least, our commercial open source business model gives peace of mind that you won't be locked-in to proprietary formats and makes the cost of our solution affordable for even startups and small companies.
Parasoft Embedded, a division of Parasoft Corporation, develops and markets embedded development tools and solutions that leverage proven software verification methods to achieve greater productivity, shorter time to market, and significantly fewer software defects. We help developers code smarter and test faster by capturing human intelligence and converting it into repeatable processes.
Parasoft C++test helps development teams realize code quality throughout the development lifecycle. This integrated toolkit for C and C++ development automates a broad range of best practices proven to improve software development team productivity and software quality. Parasoft C++test automates C and C++ static analysis, peer code review, and unit and component testing on host and target with comprehensive code coverage supporting multiple levels of DO-178B.
IPL's testing tools have been at the forefront of software verification since their introduction in the early 1990's. They have become a central pillar of the development strategy of high-profile projects in many sectors, including: telecommunications, medical devices, avionics, space, rail transportation, automotive, financial and broadcasting.
Cantata++ and AdaTEST 95 have been designed around the requirements of the C/C++ and Ada languages to produce tools which allow developers to efficiently perform unit and integration testing. They offer high productivity and a unique set of testing, coverage analysis and static analysis features:
Unit, integration and automated regression testing of all mission and business-critical systems, including real-time embedded software
Advanced Wrapping and Stubbing: to simulate and control external interfaces
Rapita Systems Ltd. is a specialist in real-time systems analysis, its innovative RapiTime product makes Rapita Systems the leader in measurement based worst-case execution time analysis solutions. RapiTime provides a practical performance analysis that works for complex embedded software running on the latest generation of advanced microprocessors.
RapiTime from Rapita is a software toolkit that provides a unique solution to the problem of worst-case execution time analysis and performance profiling, a solution that works for complex software running on advanced embedded microprocessors. www.sdcsystems.com
THE PROGRAMMING RESEARCH GROUP pioneered the application of language-based analysis technology to automatically enforce coding standards-so you can build better software. Established in 1986, we're recognized as "the coding standard experts" by leading software developers, industry experts, and standards organizations worldwide.
We're known as the thought leaders for developing and implementing best practices in today's demanding software development environment-PRQA's proven expertise in coding standard development, automated coding standard enforcement, automated code review & software inspection, and source code analysis is simply unmatched. Our products include QA·C™, QA·C++™, QA·J™, QA·MISRA™, QA·JSF++™, QA·HICPP™ (HIGH·INTEGRITY C++™) and VectorCAST Testing Tools which can be found wherever software quality is paramount, coding standard compliance is mandated, high-integrity code is essential, developer productivity is key, and project success rates are critical. PRQA has corporate offices in the UK, USA, India, Ireland, and The Netherlands, complemented by a worldwide distribution network. Find out more at www.programmingresearch.com
