Verocel公司创建于1999年，专注于RTCA/DO-178B/C、DO-254、IEC61508、ISO 26262、EN50128和IEC 62304等安全关键标准的研究，提供量身定做的工具与解决方案，帮助用户开发的软硬件满足安全法规及标准要求。Verocel在软件、复杂电子硬件、分区等方面具有专长，已经帮助数十家国外用户通过审定。

VerOCode  源代码与目标代码追踪分析工具

1.  概要介绍

VerOCode是一个用于进行源代码与目标代码的追踪性分析的工具，能够满足DO-178B/C Level A和ISO26262 SIL4关于目标代码追踪至源代码的目标要求，并通过了DO-330 TQL-5工具鉴定。

2.  主要功能

VerOCode能够在基于需求的功能测试中自动捕获、分析覆盖率，并且不需要对代码进行插桩。VerOCode能够记录、显示在一个特定测试中被执行的语句；针对条件语句，能够记录和显示每一次执行的条件的状态。VerOCode所获得的覆盖率是在可执行文件层面获得的目标码对源代码覆盖率，其结果是通过注释形式显示目标码与源代码的差别。

3.  工具鉴定

VerOCode还提供了配套的鉴定数据包，可以用于支持DO-178B A级别验证工具鉴定、或者DO-178C/DO-330 TQL-5工具鉴定，工具输出的追踪结果可以提供Level A适航信用。

VeroSource 判定覆盖和语句覆盖分析工具

1.  概要介绍

VeroSource能够自动标记代码语句覆盖和判断覆盖的语句执行情况，以满足DO-178B/C Level B和Level C以及ISO26262 SIL4关于结构覆盖的目标要求，并通过了DO-330 TQL-5工具鉴定。

2.  主要功能

VeroSource能够记录被测程序中所有被执行的语句，以及程序中所有执行过的判断的结果。VeroSource能够对源代码进行标记，以显示覆盖结果，并且提供了对未覆盖代码进行评审和注释的功能。

VeroSource需要对被测代码进行插桩，但是它使用的是与基于需求的功能测试相同的测试（用例和执行）来获取覆盖率。通过使用相同的测试，就能够验证插桩不会影响代码的功能行为，所以无需担心插桩对代码的影响。

3.  工具鉴定

VeroSource还提供了配套的鉴定数据包，可以用于支持DO-178B B级别和C级别验证工具鉴定、或者DO-178C/DO-330 TQL-5工具鉴定，工具输出的覆盖结果可以提供Level B或Level C适航信用。

VeroSource-A MC/DC覆盖分析工具

1.  概要介绍

VeroSource-A能够满足ISO26262, SIL4 and DO-178B/C Level A MC/DC的覆盖要求目标，并通过了DO-330 TQL-5工具鉴定。

2.  主要功能

VeroSource-A可以完全重复使用基于需求的功能测试（测试用例、测试执行等）来自动获取和分析结构覆盖率。其原理是通过对被测代码进行插桩。通过使用与功能测试相同的测试用例，VeroSource-A可以验证插桩不会影响代码的功能/行为，所以无需担心插桩对代码的影响。

3.  工具鉴定

VeroSource-A还提供了配套的鉴定数据包，可以用于支持DO-178B A级别验证工具鉴定、或者DO-178C/DO-330 TQL-5工具鉴定，工具输出的覆盖结果可以提供Level A适航信用。

VerOLink 控制耦合分析工具

1.  概要介绍

DO-178B/C的表A-7目标8要求进行控制耦合分析。VerOLink能够通过确保连接图的一致性，来表明每个软件功能都按预期被调用，从而帮助客户满足DO-178的控制耦合目标。VerOLink通过例如多个标准的鉴定，包括DO-330, IEC 61508 and ISO 26262。

2.  主要功能

控制耦合分析了多个独立编译的目标文件是否被正确链接成为一个单独的可执行镜像。在实际工程中，即使验证人员对集成后的可执行镜像执行了所有基于需求的测试，并且在目标码级别评估了覆盖率，仍然可能存在链接器错误连接函数的情况。VerOLink就是用来进行这一最后的检查。VerOLink能够自动实现代码集成，并分析可执行镜像，找到所有函数、函数调用及其在目标文件中的位置，验证链接器在组合目标文件时是否在可执行镜像中的建立了正确的函数调用关系。使用VerOLink能够帮助验证人员确定软件功能能够按照预期触发，避免链接器错误。

3.  工具鉴定

VerOLink还提供了配套的鉴定数据包，用于支持DO-178C A级别验证工具鉴定、或者DO-178C/DO-330 TQL-5工具鉴定，工具输出结果可以提供Level A适航信用。

VeroStack 堆栈分析工具

1.  概要介绍

最坏堆栈分析能够确认软件内存使用的充分性，从而不会导致不确定的行为。VerOStack通过检查软件应用的镜像，分析出“所有”任务和“所有”执行路径，评估和计算一个应用软件的最坏堆栈使用情况。VerOStack依赖于所使用的操作系统。VerOStack通过了多个标准的鉴定，包括DO-330, IEC 61508 and ISO 26262。

2.  主要功能

VerOStack能够通过检查软件的可执行镜像，静态检查一个软件的最大或最坏堆栈使用场景。这是一个精确的测试技术，而不受特定的动态测试执行、以及特定测试路径的偏差的影响。此外，VerOStack不单单考虑当前程序，还会考虑其他将会同时在该目标机上执行的程序，例如在一个RTOS中运行的其他应用以及RTOS自身。这样就可以提供对目标机内存需求的真正有意义的数据。VerOStack同时支持Ada, C, C++和汇编语言。

3.  工具鉴定

VerOStack还提供了配套的工具鉴定包，以满足DO-178B/C的鉴定要求。VeroOStack曾应用于波音B787项目。

PICSim PIC系列单片机仿真器

1.  概要介绍

该仿真器能够模拟PIC系列单片机。由于PIC系列单片机缺乏存储信息或支持测试数据插桩的资源，这一问题催生了该仿真器的问世。通过使用一个鉴定过的仿真器，可以使开发人员更容易满足DO-178关于测试结果和测试覆盖相关的目标。该套仿真器工具还包括一个覆盖率分析工具、一个测试管理工具，并通过了多个标准的鉴定，包括DO-330, IEC 61508 and ISO 26262。

2.  主要功能

测试人员使用C语言开发基于需求的测试，并将PICSIM仿真器作为一个库进行连接，同时向仿真器加载被测程序，并执行测试。测试人员可以直接调用被测软件的所有函数，监控所有内存访问（读和写），动态修改取到的或存储的数据，并可以收集测试中的结构覆盖率。被测软件在测试中不需要被修改。

目前，Verocel公司已经成功完成对PIC18F4321, PIC18F442, PIC18F8720, PIC18F6622, PIC18F4520, 和 PIC18F8722单片机的支持，完成了相关的适航支持工作。