Get the latest critical update information for Log4j vulnerability. See how to address the issue with Parasoft guidance. Learn More >>
Parasoft’s automated testing tools help the modern warfighter by ensuring that software used in all missions is secure, safe, and performs even under high levels of stress. We are unique in providing software testing solutions that extend from embedded applications to enterprise software. Build safe and secure embedded applications by employing our static analysis, unit testing, code coverage, and more. For enterprise software, perform scriptless REST and SOAP API, UI , load/performance, and security testing. That includes creating, deploying, and managing virtual test environments — anytime, anywhere.
Parasoft takes a test-early-and-often approach to military software testing to ensure software quality, security, reliability, and on-time delivery while reducing the risks associated with complex and interconnected mission-critical systems. We offer tooling to ensure that application code bases are free of security weaknesses and vulnerabilities. And enforce compliance to security and safety guidelines such as CWE, CERT, OWASP, MISRA, AUTOSAR, DISA-ASD-STIG, and process standards like DO-178B/C and UL 2900.
Military projects can achieve compliance with coding standards to improve code quality with the most comprehensive support for these standards than any other tool. Parasoft C/C++test provides a set of built-in static analysis checkers for verifying compliance with safety and security standards like CERT, CWE, OWASP, MISRA C 2012, MISRA C++ 2008, AUTOSAR C++14, and more. Our comprehensive static analysis guidelines integrate into DevSecOps environments that work with development languages in C/C++, Java, C#, and .NET.
“MISRA”, “MISRA C” and the triangle logo are registered trademarks of The MISRA Consortium Limited. ©The MISRA Consortium Limited, 2021. All rights reserved.
Well-established in the embedded safety- and security-critical market, Parasoft’s unified testing tools offer static analysis, automated unit testing, code coverage (statement, branch, MC/DC, and assembly code), automated test case generation, and more. For easy adoption, C/C++test integrates into the most popular IDEs, like Eclipse, VS Code, ARM DS-5, IAR Workbench, Wind River Workbench, and others.
A vast number of compilers and hardware platforms are also supported, including Keil, ARM, IAR, Wind River, Green Hills, GNU, Clang, Freescale, Intel, TI, Renesas, Cosmic Microchip, and the list continues.
In support of the entire SDLC and military software testing to requirements, integrations with ALM tools like Polarion, codeBeamer, and others are available. For continuous integration (CI) and continuous delivery (CD), integrations with Jenkins, Bamboo, and Azure DevOps are also available.
Reach compliance with DO-178A, DO-178B, and DO-178C for software levels A-D. Development teams can automate software testing techniques and verification processes required by the standard with help from Parasoft C/C++test. Integrations with application lifecycle management (ALM), source control management (SCM), and reporting solutions help achieve certification.
At first glance, the DISA STIG for Application Security and Development (DISA-ASD-STIG) can be intimidating. With almost 300 items to check, you might be wondering how you are ever going to be compliant, let alone where to start.
You can achieve DISA-ASD-STIG compliance with help from Parasoft testing solutions, which identify security flaws required by the standard. The ASD-STIG outlines ways to verify compliance with requirements like application scanning, manual review, and functional security testing. Our tool suite offers application scanning. It includes static code analysis — specifically for the ASD-STIG requirement for OWASP Top 10 — and identifies overflows, race conditions, and error handling.
Learn more about DISA-ASD-STIG
Parasoft’s Assembly Coverage Tool (ASMTool) satisfies the Executable Object Code recommendations set out by DO-178B/C Level A. With little effort, ASMTool can generate structural coverage reports from Executable Object Code. Structural Coverage is reported with easily reviewable insight into compiler generated code that is not directly traceable to Source Code statements. It also tracks switch statements, providing full insight into the test execution paths at the machine language instruction level.
ASMTool also supports collecting Structural Coverage from both the software integration process (target hardware testing), and desktop development environment (Parasoft C/C++test for Unit Testing).
Use Parasoft testing solutions for development of Internet of Military Things (IoMT) or Internet of Battlefield Things (IoBT). Teams can thoroughly test their APIs across a wide array of message formats and protocols (including HTTP(S), MQTT, WebSockets, and AMQP/RabbitMQ) to validate message integrity, performance timing, and security vulnerabilities with Parasoft C/C++test. This enables IoT API developers to find and quickly fix vulnerabilities earlier in the development process. Take control of the testing challenges of today’s connected military platforms with Parasoft C/C++test’s seamless integration with Parasoft SOAtest and Parasoft Virtualize. It combines API testing with runtime application coverage and simulated virtual test beds.
Tool qualification is mandated for developing software for safety-critical applications compliant with DO-178B/C. This standard requires that organizations provide evidence that the software tools used for verification are suitable for use in the development of safety-critical applications.
Automate the process of creating the supporting documentation required for tool qualification of static analysis, unit testing, and coverage requirements. Parasoft’s Tool Qualification Kit for Parasoft C/C++test reduces the potential for human error and the time it takes to perform tool qualification.
Parasoft supports DO-178B, DO-178C, and DO-330 for all software levels with our conformant qualification process and automated tool qualification kit.
For over 30 years, Parasoft has been providing innovative tools that reduce the time, effort, and cost of delivering secure, reliable, and compliant software. Our solutions in static and runtime analysis; unit, functional, and API testing; and service virtualization are flexible and can integrate into a wide array of systems. They can also be deployed in the cloud or on prem and used in isolation for classified environments. We enable military and defense organizations to succeed in today’s most complex development ecosystems and initiatives — real-time, safety-critical, secure, Agile, continuous testing, and DevSecOps.
Learn how we can help you improve your software quality. Let’s have a conversation.Contact Us Today