Ratings and Reviews 0 Ratings

Total
ease
features
design
support

This software has no reviews. Be the first to write a review.

Write a Review

Ratings and Reviews 0 Ratings

Total
ease
features
design
support

This software has no reviews. Be the first to write a review.

Write a Review

Alternatives to Consider

  • Parasoft Reviews & Ratings
    147 Ratings
    Company Website
  • MuukTest Reviews & Ratings
    34 Ratings
    Company Website
  • qTest Reviews & Ratings
    Company Website
  • TrustInSoft Analyzer Reviews & Ratings
    6 Ratings
    Company Website
  • QA Wolf Reviews & Ratings
    261 Ratings
    Company Website
  • Virtuoso QA Reviews & Ratings
    130 Ratings
    Company Website
  • CredentialingSpectrum Reviews & Ratings
    5 Ratings
    Company Website
  • Overmonitor Reviews & Ratings
    8 Ratings
    Company Website
  • Opus Reviews & Ratings
    95 Ratings
    Company Website
  • RaimaDB Reviews & Ratings
    12 Ratings
    Company Website

What is Rapita Verification Suite?

The Rapita Verification Suite (RVS) is a comprehensive toolset aimed at conducting on-target software verification, which is essential for testing, analyzing, and generating necessary certification evidence for critical embedded systems, thus aiding developers in ensuring safety and reliability in line with standards such as DO-178C and ISO 26262. By integrating both static and dynamic analysis techniques, RVS performs requirements-based functional testing, assesses structural code coverage (including MC/DC), and scrutinizes execution and worst-case timing performance directly on the target hardware, all while offering visualization of task-level scheduling; this provides developers with valuable insights into system performance and behavior in practical environments. Furthermore, RVS is designed to work effortlessly with existing build systems, embedded targets, and third-party software, ensuring minimal instrumentation overhead and accommodating multicore timing analysis. The suite also bolsters the certification process for aviation and automotive initiatives by providing qualification kits and customized services, thus facilitating compliance for developers. In addition to streamlining the verification workflow, RVS ultimately empowers developers to engineer systems that are not only safer and more reliable but also more efficient in their design and execution. This comprehensive approach ensures that developers can consistently meet rigorous industry standards while advancing their projects with confidence.

What is CodePeer?

CodePeer serves as a powerful static analysis toolkit specifically tailored for the Ada programming language, allowing developers to gain deep insights into their code while crafting more secure and resilient software applications. This advanced source code analysis tool excels at pinpointing potential logic and run-time errors, enabling the detection of bugs before the program runs, and functions as an automated peer reviewer that streamlines the error detection process throughout the entire development lifecycle. By employing CodePeer, developers are able to elevate code quality and facilitate comprehensive safety and security evaluations. This application operates independently on both Windows and Linux platforms, and it can be used in conjunction with any standard Ada compiler, or effortlessly integrated into the GNAT Pro development framework. Additionally, CodePeer effectively identifies a range of critical vulnerabilities found in the "Top 25 Most Dangerous Software Errors" cataloged in the Common Weakness Enumeration. It accommodates all Ada programming iterations, including versions 83, 95, 2005, and 2012. Noteworthy is CodePeer's recognition as a Verification Tool under the DO-178B and EN 50128 software standards, rendering it a trustworthy resource for developers committed to meeting stringent safety requirements. Moreover, the tool empowers users to proactively tackle potential issues, ultimately cultivating a more streamlined and confident approach to the development process. With its extensive capabilities, CodePeer stands out as an invaluable asset for any software development team focused on enhancing both quality and security.

Media

Media

Integrations Supported

Jenkins
PikeOS
Simulink
Ada
Ada
Ansys SCADE Suite
BlackBerry QNX
C
C++
FreeRTOS
GitLab
INTEGRITY RTOS
JUnit
Java
LynxOS
Polarion ALM
SonarQube Server
VxWorks
Wind River Helix Virtualization Platform
Xilinx

Integrations Supported

Jenkins
PikeOS
Simulink
Ada
Ada
Ansys SCADE Suite
BlackBerry QNX
C
C++
FreeRTOS
GitLab
INTEGRITY RTOS
JUnit
Java
LynxOS
Polarion ALM
SonarQube Server
VxWorks
Wind River Helix Virtualization Platform
Xilinx

API Availability

Has API

API Availability

Has API

Pricing Information

Contact us
Free Trial Offered?
Free Version

Pricing Information

Pricing not provided.
Free Trial Offered?
Free Version

Supported Platforms

SaaS
Android
iPhone
iPad
Windows
Mac
On-Prem
Chromebook
Linux

Supported Platforms

SaaS
Android
iPhone
iPad
Windows
Mac
On-Prem
Chromebook
Linux

Customer Service / Support

Standard Support
24 Hour Support
Web-Based Support

Customer Service / Support

Standard Support
24 Hour Support
Web-Based Support

Training Options

Documentation Hub
Webinars
Online Training
On-Site Training

Training Options

Documentation Hub
Webinars
Online Training
On-Site Training

Company Facts

Organization Name

Rapita Verification

Date Founded

2004

Company Location

United States

Company Website

www.rapitasystems.com/products/rvs

Company Facts

Organization Name

AdaCore

Date Founded

1994

Company Location

France

Company Website

www.adacore.com/codepeer

Categories and Features

Software Testing

Automated Testing
Black-Box Testing
Dynamic Testing
Issue Tracking
Manual Testing
Quality Assurance Planning
Reporting / Analytics
Static Testing
Test Case Management
Variable Testing Methods
White-Box Testing

Categories and Features

Static Application Security Testing (SAST)

Application Security
Dashboard
Debugging
Deployment Management
IDE
Multi-Language Scanning
Real-Time Analytics
Source Code Scanning
Vulnerability Scanning

Static Code Analysis

Analytics / Reporting
Code Standardization / Validation
Multiple Programming Language Support
Provides Recommendations
Standard Security/Industry Libraries
Vulnerability Management

Popular Alternatives

VectorCAST Reviews & Ratings

VectorCAST

VECTOR Informatik

Popular Alternatives

CodeSonar Reviews & Ratings

CodeSonar

CodeSecure
HCL OneTest Embedded Reviews & Ratings

HCL OneTest Embedded

HCL Software
SonarQube Server Reviews & Ratings

SonarQube Server

SonarSource
Cantata Reviews & Ratings

Cantata

QA Systems
beSOURCE Reviews & Ratings

beSOURCE

Beyond Security (Fortra)