VectorCAST

VectorCAST是领先的专门用于高可靠性和高安全性软件的自动化动态测试工具链,覆盖软件的单元测试、模块测试、集成测试、系统功能测试、回归测试和覆盖率分析等软件全生命周期SDLC的主要测试环节。VectorCAST支持对C, C++和Ada语言的测试,尤其适用于对嵌入式软件应用的测试。用户使用VectorCAST不仅可以显著提高软件的质量、测试效率和完整性,还能有效满足诸如功能安全和适航等多种行业的合规性要求。


VectorCAST软件测试工具经过了国际权威的机构的认证和鉴定,符合多种行业认证的标准,如DO-178B/C, ISO 26262, ASPICE, IEC 61508, En 50128, IEC 62304, IEC 60880等。凭借在行业的认可度、测试的自动化程度、对嵌入式环境完善的支持和测试效率等方面的优势,VectorCAST已经广泛应用于航空电子、国防军工、汽车电子、轨道交通、工业自动化、医疗器械、物联网和电力电子等行业。

ma_b2s1d1dl1.png

核心价值

  • 测试软件的单元、模块和相互集成的可靠性和逻辑正确性

  • 显著提升软件动态测试的效率

  • 验证和改进测试的完整性

  • “一站式”覆盖代码动态测试流程的各个环节

  • 丰富的项目经验和权威认证,能快速满足合规性要求

优势和亮点

  • VectorCAST提供高效的软件图形化动态测试平台–几乎无需编码!

  • 集成第三方商用解析器原生支持超过40种常用编译开发环境

  • 成熟支持Windows和Linux等各种版本的主机环境

  • 支持使用分类树设计测试数据

  • 支持人工分析覆盖和测试覆盖相结合

  • 提供灵活、方便的测试用例管理、回归和复用

  • 集成ALM系统形成需求和测试的可追溯性,如Visure Requirements, DOORs等

  • 完美符合适航或功能安全认证等安全合规要求

  • VectorCAST提供完整的单元测试、集成测试和系统功能测试工具链解决方案

  • VectorCAST全面支持各种C, C++11, C++14, C++17, Ada等开发语言标准

  • VectorCAST内建多种智能的自动化测试用例生成算法

  • 支持统计覆盖软件生命周期的测试覆盖率

  • VectorCAST支持在模拟器和目标板上测试

  • VectorCAST支持对系统测试用例的变更分析

  • VectorCAST提供广泛的第三方集成,如静态分析,Jenkins等工具

  • VectorCAST支持各种行业标准并提供第三方权威工具认证报告和鉴定包,包括DO-178B/C, ISO 26262,ASPICE, IEC 61508, En 50128, IEC 62304和IEC 60880等

主要功能

  • 单元测试

  • 集成测试

  • 系统测试

  • 错误注入测试

  • 覆盖率分析

  • 耦合分析和验证

  • 需求跟踪

  • 质量管理平台

  • 工具的认证和鉴定

  • 单元测试

    VectorCAST支持对每个软件单元进行测试,小到一个函数,大到多个函数组合而成的一个模块,都可以作为单元测试的对象。VectorCAST利用集成的商用解析器,解析被测对象的结构和依赖关系,自动生成测试驱动,和相关依赖资源一起构建成测试环境。用户基于此环境可以利用丰富的智能化的算法自动批量地生成测试用例,迅速提高测试覆盖率;也可以利用VectorCAST便捷的图形化用例编辑器或外部数据源文件,针对性地设计各种复杂参数类型的输入输出值、全局变量和桩函数。根据被测对象环境的不同,测试用例将会在主机平台、嵌入式环境模拟器或者目标机上执行,并在VectorCAST软件中显示测试结果和报告。

    VectorCAST
  • 集成测试

    VectorCAST支持多个函数单元/子模块之间的集成测试,利用鼠标一键拖拉的方式组合VectorCAST已有测试用例,用来创建满足各种需求场景的复杂集成测试用例,包括验证模块接口的输入输出是否符合设计期望,或者验证有相互影响关系的模块之间的逻辑正确有否。VectorCAST支持对测试用例任意设置执行顺序、执行次数或验证点进行设定,以满足多种集成测试的需要。

  • 系统测试

    VectorCAST支持软件的系统测试,并显著提高系统功能测试的效率和质量。VectorCAST利用精简的插装算法,记录测试用例的执行过程和结果,实现:1)从代码覆盖率的角度度量系统功能测试完整性,以避免由于疏忽或者经验不足造成测试盲点;2)精确分析源代码的变更对现有系统功能测试用例库的影响范围,并筛选出变更影响的测试用例,这样不仅避免对回归测试用例的遗漏,还可以有效节省对不相关的测试用例的不必要的回归执行。VectorCAST的系统测试功能可以作为软件测试完整性的有效量化工具,和变更影响分析工具,针对性地提高测试质量,并符合如DO-178B/C对结构覆盖的要求,或者ISO 26262等标准对功能测试覆盖率的要求。

    VectorCAST
  • 错误注入测试

    VectorCAST通过在测试过程中动态插入测试点(Probe Point),对测试过程中的中间变量进行读取、赋值或验证等操作,实现对软件执行逻辑或强行注入错误数据进行测试的目的。VectorCAST的错误注入测试功能解决了仅通过设置输入输出值、桩函数和全局变量等外部接口无法实现的对内部状态进行验证的复杂测试需求,同时又避免了人工修改源代码所需要的代码维护工作和意外引入错误的风险。

    VectorCAST
  • 覆盖率分析

    VectorCAST可以自动统计软件单元、集成和系统功能测试的覆盖率信息,从多个维度报告测试覆盖率情况,包括常用的语句、分支、MC/DC、函数覆盖和函数调用覆盖等。VectorCAST不仅可以统计函数/文件/工程的覆盖率百分比,还可以以标注代码的形式直观地显示每行代码/分支/条件等的详细覆盖细节。利用VectorCAST的覆盖率分析功能,用户还能轻松获得覆盖单元测试、集成测试和系统测试的累加测试覆盖率,获得贯穿软件生命周期的总体测试覆盖率。VectorCAST不仅可以自动统计测试用例执行的覆盖率,还可以针对测试用例难以覆盖的部分,提供人工分析覆盖的功能,便于在VectorCAST累加覆盖率报告中达成满足要求的覆盖率指标。


    VectorCAST
  • 耦合分析和验证

    对于航空电子系统,根据RTCADO-178B/C要求的,安全关键型的航空电子软件研发过程中,必须进行耦合验证。耦合验证的目的是证明软件架构组件之间的控制流和数据流符合设计预期。VectorCAST/Coupling是VectorCAST提供的专门用于适航认证相关软件的工具,支持软件的控制耦合和数据耦合进行分析、验证和覆盖率统计。VectorCAST/Coupling通过静态分析识别代码中的耦合关系,并在应用程序执行过程中对这些耦合关系进行验证和覆盖率分析,满足DO-178B/C不同认证等级对耦合验证的要求。VectorCAST的耦合分析采用基于用户自定义的“组件”作为最小分析对象,显著降低了耦合分析的工作量,并提高了耦合分析结果的有效性。

    VectorCAST
  • 需求跟踪

    VectorCAST支持与常用的需求管理或ALM系统集成,满足“基于需求的测试”所需的可追溯性要求。用户可以在VectorCAST界面上,从诸如Visure Requirements, DOORs等常用的需求管理系统,导入现有的需求条目,然后将测试用例与需求通过鼠标点选操作进行关联,VectorCAST测试用例执行后的测试结果再导出回到需求管理系统,最终实现测试用例和需求之前的双向追溯关系。测试用例所关联的测试需求,最终还会展现在VectorCAST的完整测试报告中。

    VectorCAST
  • 质量管理平台

    VectorCAST为项目的管理者提供综合的管理平台,基于B/S架构利用浏览器展示项目的测试通过率、覆盖度、测试执行时间等统计数据。利用VectorCAST提供的可缩放的热力图,用户可以准确定位到测试进度延后的模块,以便总览VectorCAST测试项目现状并合理调配资源。

    VectorCAST
  • 工具的认证和鉴定

    VectorCAST通过了多种高可靠性和安全性行业的认证和工具鉴定,由国际权威的第三方机构TÜV SÜD基于IEC 61508, ISO 26262, IEC 62304和EN 50128标准对VectorCAST所做的安全认证证书和安全手册,均可以免费提供给VectorCAST的客户使用。对于需要满足适航认证要求的航空电子行业的用户,VectorCAST提供标准更加严格的、满足DO-330标准适用于DO-178B/CA~C级软件的工具适航鉴定包(Qualification Kits),并承诺完全符合适航取证要求。VectorCAST在以上专业领域具有丰富的应用经验和案例,被广大用户和第三方认证机构所认可,可以作为项目测试有效性的有力背书。

    VectorCAST

支持的环境

VectorCAST所支持的主机平台

Windows/Linux/Solaris主流版本

VectorCAST所支持的目标操作系统

十几种常见RTOS,包括Vxworks, QNX, DSP, MontaVista, Green Hills, PikeOS, LynxOS, Embedded Linux等

VectorCAST所支持的C/C++编译器及芯片系列

Analog Devices, VisualDSP 4.x, 5.x

Metaware

ADSP-21xx

Microchip MPLAB

Blackfin

Microsoft Visual Studio v6.0 through 2012

SHARC

NEC 

TigerSHARC

Paradigm C++ Professional

Android SDK/NDK

QNX

ARM

Renesas HEW

Borland C++ 5.x

Rowley CrossWorks

Cosmic Software

TASKING

DDC-I Score C/EC++

Texas Instruments CodeComposer, all versions

FreeScale CodeWarrior

Wind River Tornado and WorkBench

Fujitsu Softune

WindRiver Compiler, all architectures

GNU 2.9 through 4.6

GNU Compiler, all architectures

GNU Cross (no RTOS)

Xilinx

MicroBlaze

Hightec

Zynq

IAR, Embedded Workbench

Keil uVsion

Mercury Systems

VectorCAST所支持的Ada编译器及芯片系列

• AdaCore

GNAT Pro High Integrity Edition (HIE)
Windows Native

GNATPro
PPC Target with VxWorks

Unix Native
PPC Target Bare Board

• Aonix

AdaWorld (Ada83)
68K Target with SMART run-time
Unix Native
x86 Target with Raven run-time

Unix Native
ERC32 Target with SMART run-time
Windows Native

Windows Native
Aonix ObjectAda (Ada95)

PPC Target with Raven run-time

• Concurrent Computer Corp.

MAXAda

• DDC-I

DACS (Ada83)
DDC-I SCORE (Ada95)
x86 Target

Windows Native
Windows Native                                        
PPC Target

x86 Target                                        
Unix Native

• Green Hills

Green Hills (Ada83)
Green Hills (Ada95)
PPC, 68K, MIPS, Bare Board Hardware
PPC target with GMART run-time

Unix Native
Windows Native
PPC INTEGRITY
PPC target with GSTART run-time

NEC850 Simulators
PPC, 68K, MIPS, Simulators
PPC VxWorks
ARM

• OC SYSTEMS

PowerAda



• Rational Apex

Unix Native

PPC Target with Apex Exec

VADS (SunAda)

•XGC

XGC (Ada83)

M1750A


相关资源

  • 白皮书

  • 博客

  • 新闻资讯

  • 使用VectorCAST满足DO-178B-C对航空电子软件耦合验证的要求_白皮书

    点击下载

  • 修复和预防Bug的成本量化对比_白皮书

    点击下载

  • 如何评估嵌入式软件测试工具_白皮书

    点击下载

  • 人工分析覆盖率_白皮书

    点击下载

  • 利用Wind River VxWorks7实现自动化软件测试_白皮书

    点击下载

  • 基于变更的测试_白皮书

    点击下载

  • 故障注入和多维度白盒测试_白皮书

    点击下载

  • 2015软件测试技术报告_白皮书

    点击下载

  • 使用VectorCAST满足医疗器械行业FDA相关软件验证和确认标准_白皮书

    点击下载

  • 使用VectorCAST满足汽车电子行业ISO 26262相关软件验证和确认标准_白皮书

    点击下载

  • 使用VectorCAST满足轨道交通行业EN 50128相关软件验证和确认标准_白皮书

    点击下载

  • 如何满足IEC 61508-3 2010标准相关的软件验证和确认要求_白皮书

    点击下载

  • 利用VectorCAST进行DO-178B-C软件验证_白皮书

    点击下载

RELATED RESOURCES

下载申请

是否需要技术支持

验证码

温馨提示:

我们将通过电子邮件向您发送下载地址,请核对您填写的工作邮箱是否正确。

提 交