Korean : Japanese : Contact : Sitemap
 
Static Analysis  
Unit/Integration/System Test  
Embedded Firmware Test  
Reverse Engineering&FP  
License Type  
Static Analysis

C, C++ Firmware Test

 C/C++ Firmware Test is an embedded testing tool that can verify embedded software in the target of MCU (Micro Controller Unit) firmware software. Unlike software(black-box) test tools that only test embedded software in the host development environment, this is the optimal test tool to perform embedded integration testing in MCU processor combining software and hardware. The MCU is used in an expanded role from a controller for simple signal control to the role of the brain of a small terminal.

Firmware Test Benefits
  • Test Program Execution: System (Whole Program)
  • UART protocol scenario-based UI Test
  • Embedded Target Environment
        -Software(exe) + HW(MCU/ECU board) + UART

    Main Features of Firmware Test
  • Firmware Test using Communication Protocol on Target Board
        -Analysis of Statement, Branch, MC/DC Coverage based on CPU operation
  • Verification of SW and HW Safety

    MBD based Path Verification
  • MBD(Model-Based Design)-based Path Verification
        -(program path verification) Comparison of paths of tested Statement/Branch and MC/DC
        -(test-to-graph) Identification of path of bug based on MBD of expanded Control Flow Graph
        -(test-to-code) Visualization of the coverage type (Statement(S), Branch(T, F)) of the tested code

    Supported Compilers
  • C/C++ test supports all compiler families based on big-bang technique
       -IAR, ARM, Borland, Cosmic, GNU, Green Hills, Intel, Keil, Green Hills, Intel, IAR, Microsoft, QNX, Wind River, etc.

    Software Test Requirements Compliance
  • ISO 26262 (Automotive), DO-178 (Aerospace)
  • IEC 61508 (Industrial), IEC 62304 (Medical), EN 50128 & 50657 (Railway), etc.

    Advantages of Automated Path Testing
  • Verification of safety and reliability of target-based embedded software
  • It helps to achieve high-quality code coverage quickly
  • It reduces software testing time by more than 100x compared to manual simulation testing
       -Test Generation: Manual(Suppose one test case takes 10 minutes to complete the full testing) vs. Automation
  • It helps to fasten the time to market their software products

    Main Practices
  • Embedded SW testing based on ISO 26262 (semiconductor)
       -MCU firmware Test in target execution environment based on IAR Workbench in target
       -11,116 LOC/272 Functions: 100% Statement Coverage by performing a total of 12 days
  • Embedded SW testing based on ISO 61508 (Subway)
       -MCU firmware Test in target execution environment based on IAR Workbench in target
       -1,946 LOC/111 Functions: 100% Statement Coverage by performing a total of 3 days


  • Head Office: 3F, KAITS, 34, Seoun-ro 1-gil, Seocho-gu, Seoul 06732, KOREA
    Tel +82-2-553-9464, info@soft4soft.com
    Copyright¨Ï2016 Soft4Soft, All rights reserved. Designed by Meettech.