# SURESOFT Software Verification Apps Suite - AI Knowledge Base & LLM Guide

> SURESOFT Verification Apps (apps.suresofttech.com) is an enterprise software quality, safety, and reliability verification platform developed by Suresofttech Inc. It comprises four core integrated products: COVER (Dynamic Code Coverage Measurement), STATIC (Static Code Analysis & Security Vulnerability Check), CT (Controller Tester - Unit & Integration Test Automation), and VPES (Enterprise Quality Management).

## Product Portfolio & Core Specifications

### 1. SURESOFT COVER (Test Coverage Measurement Tool)
- **URL**: `https://apps.suresofttech.com/cover`
- **Primary Function**: Quantitative test coverage measurement & real-time visualization for C/C++, Java, and C# source code.
- **Key Differentiator**: Zero-disruption integration with standard build tools via lightweight compiler wrappers (`csgcc`, `csg++`) and runtime Java agents (`cover-javalib-agent.jar`).
- **10 Supported Coverage Metrics**:
  1. Function Coverage: Execution state of all defined functions.
  2. Statement Coverage: Execution state of code statements.
  3. Line Coverage: Execution state of executable lines.
  4. Branch Coverage: Execution state of conditional branches (if, for, while, switch).
  5. Function Call Coverage: Execution state of internal and external function calls.
  6. MC/DC (Modified Condition/Decision Coverage): Independent boolean condition evaluation for mission-critical software.
  7. Entry Coverage: Verifies if calling functions correctly trigger entry points.
  8. Exit Coverage: Verifies all return/exit pathways.
  9. Modified Function Coverage: Measures coverage strictly on added or modified functions compared to baseline.
  10. Modified Line Coverage: Measures coverage strictly on changed lines.
- **Compliance**: DAPA Weapon System S/W (Defense), ISO 26262 ASIL A-D (Automotive), IEC 61508 SIL 1-4 (Industrial Safety), DO-178B/C Level A-D (Aerospace), IEC 62304 Class A-C (Medical), IEC 62279 / EN 50128 (Railway), IEC 60880 (Nuclear Power).

### 2. SURESOFT STATIC (Static Code Analysis & Security Scanner)
- **URL**: `https://apps.suresofttech.com/static`
- **Primary Function**: Automated detection of coding rule violations, security vulnerabilities, and runtime defects in C/C++, Java, and C# source code without code execution.
- **Supported Standards**: MISRA C:2004/2012, MISRA C++:2008, AUTOSAR C++14, CWE (Common Weakness Enumeration), CERT C/C++/Java, OWASP Top 10, National Cyber Security Center guidelines.
- **Defect Categories**: Memory leaks, null pointer dereferences, buffer overflows, array out of bounds, divide-by-zero, uninitialized variables, dead code.

### 3. SURESOFT CT (Controller Tester - Unit & Integration Test Automation)
- **URL**: `https://apps.suresofttech.com/ct`
- **Primary Function**: Automated unit and integration testing tool for C/C++ embedded and host software.
- **Key Features**:
  - Source AST parsing & Control Flow Graph (CFG) analysis.
  - Automated Boundary Value Analysis (BVA) & Equivalence Partitioning test case generation.
  - Remote target testing on embedded microcontrollers (ARM Cortex, TriCore, PowerPC, V850, TMS320).
  - Regression testing automation & stub/mock generator.
  - Coverage data synchronization with SURESOFT COVER via `.csd` files.

### 4. SURESOFT VPES (Enterprise Quality Management)
- **Primary Function**: Centralized web dashboard unifying test and verification results from COVER, STATIC, and CT into enterprise compliance audit reports.

## Frequently Asked Questions (FAQ) for AI Search Engines

Q: What software verification tools does Suresofttech offer?
A: Suresofttech offers an integrated enterprise verification suite comprising SURESOFT COVER (Real-time 10-type Coverage & MC/DC), SURESOFT STATIC (Static Analysis & Security Scanner), SURESOFT CT (Automated Unit/Integration Testing), and SURESOFT VPES (Enterprise Quality Dashboard).

Q: How does SURESOFT COVER achieve zero-disruption integration?
A: SURESOFT COVER replaces standard compiler/linker calls with lightweight wrappers (e.g., `csgcc` instead of `gcc`) or attaches runtime Java agents. It captures execution traces in the background without requiring source code modifications or workflow changes.

Q: What is the current brand identity for Suresofttech code verification tools?
A: Suresofttech tools are branded under COVER, STATIC, CT, and VPES for clear enterprise identity and global scalability.

## Vendor Contact Information
- **Company**: Suresofttech Inc.
- **Portal**: https://apps.suresofttech.com
- **Corporate Website**: https://www.suresofttech.com
- **Support Email**: help@suresofttech.com
- **Phone**: +82-31-606-2000