搜索
搜索
支持
联系
资源
EN
DE
IT
FR
中文
产品中心
静态分析
Helix QAC/C++
深入分析工业规模的C/C++代码
MISRA/AUTOSAR/CERT
代码标准合规性和安全性
动态测试
CANTATA
C/C++代码的自动化单元和集成测试
Cantata Hybrid
Google Test套件安全标准合规性
Cantata TEAM REPORTING
测试状态管理仪表盘插件
AdaTEST 95
Ada代码的自动化单元和集成测试
获取演示
为什么要为单元测试工具付费
解决方案
行业
汽车
能源
医疗设备
工业自动化
铁路
航空航天与国防
业务关键
安全标准
ISO 26262
IEC 60880
IEC 62304
IEC 61508
EN 50128
DO-178B和DO-178C
MISRA
AUTOSAR
CERT
获取演示
开始试用
关于我们
关于我们
新闻
获取演示
资源中心
产品中心
Helix QAC/C++
MISRA/AUTOSAR/CERT
CANTATA
Cantata Hybrid
Cantata TEAM REPORTING
AdaTEST 95
解决方案
汽车
能源
医疗设备
工业自动化
铁路
航空航天与国防
业务关键
ISO 26262
IEC 60880
IEC 62304
IEC 61508
EN 50128
DO-178B和DO-178C
MISRA
AUTOSAR
CERT
关于我们
关于我们
新闻
资源中心
全站搜索
技术支持
联系我们
资源中心
资源中心
首页
>
资源中心
资源区提供有关我们软件测试工具所有的信息，请浏览工具相关的视频和文档，我们会定期添加新的资源，保持资源区的更新。
资源类型
技术手册
视频
客户案例
功能简介
白皮书
技术备注
版本说明
安全关键系统介绍
本文旨在为刚接触安全关键系统软件的开发人员提供指导，讨论所涉及的问题，介绍一些开发人员可用的技术，并概述如何在流程中使用Cantata。
单元测试的组织方法
本文描述单元测试三种组织方法：自顶向下、自底向上和隔离。它们是单元测试策略和计划的关键因素。
设计单元测试用例
本文给出了开发单元测试规范的一般过程，并描述了一些设计单元测试用例的具体设计技术。它为刚接触正式软件测试的开发人员提供教程，并提醒有经验的软件测试人员注意一些更细微的地方。
使用哪些代码覆盖度量
本文描述和讨论了基于控制流分析的结构覆盖度量的选择，观察了它们在实际软件开发中的实用性。
设计可测试性Ada
本文提供了设计可测试Ada软件的指导思想。在设计时兼顾可测试性，在测试时要容易得多。
Ada 95的测试技术
本文讨论了Ada标准对安全相关系统可测试性的影响，并描述了可用于提高测试成功的可能性的技术。
Cantata标准简报ISO 26262:2011
本文旨在作为参考，说明Cantata是如何满足国际标准ISO 26262:2011《道路车辆 – 功能安全》的验证和确认要求的。
Cantata标准简报
本标准简报旨在作为参考，说明Cantata是如何满足国际标准NATO AOP-52（版本1） - 《弹药相关计算系统软件安全设计和评估指南》的验证和确认要求的。
Cantata标准简报IEC 61508:2010
本标准简报旨在作为参考，说明Cantata是如何满足国际标准IEC 61508:2010 《电气/电子/可编程电子安全相关系统的功能安全》的验证和确认要求的。
◀
1
2
3
▶
共3页
本网站使用cookies来帮助改善您的体验。
请点击链接以后了解有关cookies的更多信息。
了解更多
我明白
×
