Test Tools
Ensure Embedded SW Quality with a "Static Analysis Tool of Unique Technology"
Various analysis functions provided on a single platform.
Efficiently perform real-time performance prediction, race condition detection, and stack analysis.
Various analysis functions provided on a single platform. Efficiently perform real-time performance prediction, race condition detection, and stack analysis.
Why You Need This
Facing These Challenges in Embedded SW Analysis?
Are errors occurring in actual environments that didn't occur in test environments?
In real-time systems, timing, race conditions, stack overflow, and other hard-to-predict problems occur. Static analysis can predict these issues before execution.
Is it difficult to identify which modules are affected every time you modify code?
In complex embedded code, it's difficult to manually identify the scope of change impact. Automated dependency analysis is needed.
Is the license cost of global static analysis tools burdensome?
HKSAT, a domestic solution, provides essential functions at a reasonable price. Technical support can also be received directly in Korea.
Product Introduction
HKSAT - Embedded SW Analysis Tool
HKSAT provides various static analysis techniques on a single platform.
From code structure analysis to real-time performance prediction, it integrates the analysis functions needed for embedded development.
Integrated Analysis
Syntax analysis, data flow analysis, control flow analysis, timing analysis, and more performed on a single platform.
Intuitive Visualization
Analysis results expressed visually through graphs, diagrams, etc. Complex code structures can be understood at a glance.
Automatic Report Generation
Analysis results are documented and automatically generated as reports. Can be used for assessment response or quality evidence.
Domestic Technical Support
As a domestic solution, technical support can be received directly in Korea.
Key Functions
Code Structure Analysis
Source Code Syntax and Structure Extraction
- Function/Variable/Type information extraction
- Call graph generation
- Control flow graph generation
- Code dependency analysis
Real-time Performance Analysis
Real-time Software Performance Prediction
- WCET (Worst Case Execution Time) analysis
- Time constraint compliance verification
- Timing diagram generation
- Bottleneck identification
Coding Rule Check
Coding Standard Compliance Verification
- API usage rule check
- Global variable initialization verification
- Naming convention check
- Code style verification
Potential Risk Detection
Runtime Error Prediction
| Analysis Item | Description |
|---|---|
| Race Condition | Multi-task environment concurrent access problem detection |
| Recursive Call | Infinite recursion and deep recursion detection |
| Maximum Stack Usage | Stack overflow risk prediction |
| Duplicate Code | Maintenance risk code identification |
| Initialization Error | Uninitialized variable usage detection |
Change Impact Analysis
Identify Retest Scope on Code Changes
- Changed module dependency analysis
- Affected test case identification
- Regression test scope optimization
- Change history tracking
User Interface
Intuitive GUI Environment
- Menu bar/Toolbar-based easy operation
- Multiple view simultaneous display
- View layout customization
- Project/Module/Analysis information linked display
Analysis Result Visualization
- Call graph visualization
- Dependency diagrams
- Timing charts
- Code highlighting
Expected Benefits
Practical Benefits
- Runtime Error Prediction
- Race conditions and stack overflows that didn't occur in test environments are big problems when they occur in production environments. Static analysis discovers these risks in advance before execution.
- Change Impact Identification
- Automatically analyze which modules are affected when modifying code. Optimize regression test scope to perform only necessary tests.
- Reasonable Cost
- Domestic solution provides reasonable license costs compared to foreign tools. Essential functions can be secured at reasonable cost.
- Domestic Technical Support
- As a domestic solution, technical support and training can be received directly in Korea. Quick response without contacting overseas headquarters.
Implementation Support
SeonENS, as an HKSAT partner, provides the following services:
- Implementation Consulting : Propose utilization methods suited to your environment
- Installation and Setup : Development environment integration and initial configuration
- User Training : Function-specific utilization training
Domestic Static Analysis Tool, HKSAT
Domestic Static Analysis Tool,
HKSAT
Secure embedded software quality at reasonable cost.
Through implementation consulting, we’ll guide you on utilization methods suited to your environment.
Secure embedded software quality at reasonable cost. Through implementation consulting, we’ll guide you on utilization methods suited to your environment.