MC-Verifier is an integrated test tool for performing model-based development Back-to-Back testing. Debug and verify consistency between model, software, and target code implementation at a variety of development phases.
MC-Verifier can perform B2B testing with models (MIL), software (SIL), & target code (PIL). Evaluate B2B test results to detect and report error locations. Import test cases created from other MBD tools for B2B testing.
The output values of all model subsystem signals, and all code variables are recorded during testing. After testing, the model signal and code variable output values can be analyzed over time in order to locate errors.
The acceptable error range can be specified by percent. Subsystems that exceed the acceptable error range will be highlighted on the Simulink model in order to efficiently locate and correct errors. This feature for locating errors even works for models that include feedbacks.
Code debugging features included with the MPU simulator can be used to analyze errors for model-to-target-code tests. Set breakpoints in the code, verifying changes in variable values, register values, memory values, etc.
Code coverage (statement, Branch, MC/DC) can be measured for model-to-target-code tests. Detect code structure issues through code coverage testing and fulfill ISO 26262 code coverage requirements.
Leider gibt es für diesen Aussteller kein deutsches Firmenprofil.
GAIO TECHNOLOGY was founded in 1980 as an original cross compiler developer for embedded systems. At present we provide embedded development and test tools based on our own microprocessor code analysis and simulation technologies. In addition, our solutions have expanded to include engineering services such as model-based development, test process construction and tool installation support for automobile companies and parts suppliers.
GAIO’s embedded software unit test tool CoverageMaster has become the standard in the automotive industry in Japan. CoverageMaster includes a built in microprocessor simulator to perform unit tests on actual target code. CoverageMaster has many users, particularly in the automotive industry that requires high-reliability high-quality tests. CoverageMaster and code analysis tool CasePlayer2 have both been certified as automotive safety standard ISO 26262 compliant tools in order to provide added assurance to our customers in meeting functional safety requirements.