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