璧水师徒H,红酒灌阴然后吸出来

log in immediately

If you already have an account on this site, you can log in directly.

注册新会员 * Register new members for required fields

  • log-in name: *
  • login password: *
  • Repeat password: *
  • Name: *
  • company name: *
  • Position:
  • contact number: *
  • e-mail: *
  • Verification code: *

log in immediately

If you already have an account on this site, you can log in directly.

找回密码 * Retrieve password for required fields

  • register e-mail:

    The verification code will be sent to your mailbox by email!

  • Verification code: *
  • Please enter a new password: *

Safety critical software integrated development environment ASIDE

Provide comprehensive support for the development, management and approval of software throughout its life cycle

contact us

021-61680661

VerOCode source code and target code tracking and analysis tool

首页 > 产品中心 > VerOCode源代码与目标代码追踪分析工具 Your location: Home > Products > VerOCode source code and target code tracking analysis tool

VerOCode source code and target code tracking and analysis tool


▌Summary


VerOCode is a tool for analyzing the traceability of source code and target code, which can meet the DO-178B / C standard

A级软件、ISO26262标准SIL4级软件对于目标代码追踪至源代码的目标要求,并通过 Quasi- A level software, ISO26262 standard SIL4 level software for target code tracking to the target requirements of the source code, and passed

         DO-330 TQL-5 tool identification.


▌Main function


VerOCode can automatically capture and analyze coverage during functional testing based on requirements, and there is no need to instrument the code. VerOCode can record and display the statements executed in a specific test; for conditional statements, it can record and display the status of each executed condition. The coverage obtained by VerOCode is the coverage of the target code to the source code obtained at the executable file level, and the result is to show the difference between the target code and the source code in the form of comments.




▌Tool identification


VerOCode can provide TQL-5 level tool qualification certification packages that comply with DO-178C / DO-330 standards, and can support DO-178B / C standard A level software verification.




COPYRIGHT © 2017SHAVIATION Shanghai Aiweixun Information Technology Co., Ltd. All rights reserved. 沪 ICP 备 13019901 号 -1 COPYRIGHT © 2017SHAVIATION Postcode: 201203