Our Achivements

Home > Achivements > Embedded Sofware Testing

Our Achivements

Project Goals

  • Analysis & Validation of automotive S/W
  • Dynamic & Static source code analysis & modification

Accomplishments

Static Analysis
  • Performing static analysis and fixing issues of MISRA-C or Run-time error.
  • Using commercial or open source analysis tools : Polyspace code prover, CPP-Check, etc...
  • Source code modification, Verification report (based on customer req).
Dynamic Testing
  • Dynamic testing service (UI & IT) with unit test and integration test
  • Source code modification, Verification report (based on customer req).
S/W Quality Assurance
  • Tests for Functional & Nun-functional requirements.
  • Tests for Performance, Security, Compatibility, Usability, etc.
  • Tests for UI, Configuration, Cross-Platform, Localization and Internationalization, Data Migration

Technologies Used

  • Static Analysis: Polyspace Code Prover, CPP-Check, Git, ER Simulation...
  • Unit Testing: Cantata, Visual Studio C/C++ IDE