"Parasoft delivers an AI‑powered software testing platform that helps organizations continuously release high‑quality software. Our solutions support embedded and enterprise teams by integrating code analysis, testing, virtualization, and coverage into the delivery pipeline to improve security, reliability, and compliance while reducing cost and effort.
Parasoft C/C++test provides static analysis, unit testing, code coverage, and requirements traceability for C and C++ applications. It integrates with Eclipse and Visual Studio, supports CI/CD automation, and is TÜV‑certified for safety‑ and security‑critical systems.
Parasoft C/C++test CT is a scalable, compliance‑ready solution for C and C++ teams. It integrates into CI/CD workflows, supports open‑source unit testing frameworks, containers, VS Code, Bazel build systems, eliminates IDE dependencies, and is TÜV‑certified for safety‑ and security‑critical development."
Learn more
SPEC Innovations’ flagship model-based systems engineering solution can help your team reduce time-to-market, cost, and risk on even some of the most complex systems. This cloud or on-premise application uses a modern web browser, with an intuitive graphical user interface.
Innoslate’s full lifecycle capabilities include:
• Requirements Management
• Documents Management
• Modeling
• Discrete Event Simulator
• Monte Carlo Simulator
• DoDAF Models and Views
• Database Management
• Test Management with full reports, status updates, results, and more.
• Real Time Collaboration
Learn more
Visure Requirements
Visure Solutions, Inc. is a leading provider of requirements management tool suites offering a comprehensive collaborative ALM Platform for system engineering industries. Visure’s value proposition is nothing less than the total innovative technology in key functions: standard compliance for safety-critical and business-critical systems.
- Requirements and Traceability Management
- Test Management
- Bug & Issue Tracking
- Risk Management
- Collaboration Management - Centralized data base, Review/Approval process
- Certification Management (Support of many Standard Templates ISO26262, IEC62304, IEC61508, CENELEC50128, DO178/C, FMEA, GAMP5, SPICE, CMMI, etc. + Tool Qualification Package)
- Configuration Management, Baselining, History Tracking, Requirements Versioning
- Dashboards + Report Customization
- Integrated with DOORS, Jama, Siemens Polarion, PTC, Perforce, JIRA, Enterprise Architect, HP ALM, Microfocus ALM, PTC, TFS, Word, Excel, Test RT, RTRT, VectorCAST, LDRA, etc.
Learn more