- 博客(22)
- 收藏
- 关注
RSS订阅
原创 静态分析软件(QAC、Klocwork，Coverity，Polyspace等)，单元测试软件集成测试软件 (VectorCAST、testbed、tessy、c++test等)下载安装使用试用
静态分析软件(QAC、Klocwork，Coverity，Polyspace等)，单元测试软件集成测试软件 (VectorCAST、testbed、tessy、c++test等)...
2022-03-29 22:00:02
5302
原创 parasoft jtest2023下载安装使用试用购买
通过分析代码, 它帮助您从头开始创建有价值的测试用例, 同时对现有的测试用例进行修改，以确保测试用例的质量和对单元测试标准的遵从性。Parasoft 的单元测试助手 (UTA) 是一个全新的单元测试解决方案，它有助于创建、评估和增强对单个方法的单元测试 . 它能够帮您减少创建和维护测试用例所需 的时间和学习曲线, 同时在您将代码检入到持续集成测试工作流之前即可完成对测试问题的识别和修复。应用一系列全面的更佳实践，减少测试所需的时间和工作量，并显著降低 QA阶段的缺陷数量。» 以较少的资源做更多的事。
2024-02-21 15:32:38
908
原创 ECU-TEST下载安装使用试用购买
比如控制器的版本号，可以设置一个全局常量vertion(1.0/2.0/3.0等)，每一个版本号对应一个不同的Tbc&&Tcf文件，编写一套测试用例，不同的版本对应不同的用例，通过SwitchDef实现版本的切换（根据version值进行版本切换）1、Test configuration(Tcf):添加需要的文件，包括*.a2l、*.dbc、*.mdl等文件，具体需要添加的文件由Tbc中添加的工具决定；2、通用的测试步骤（Test Step），比如，时间等待，If-Then条件判断、分支选择、循环等；
2024-02-21 15:27:00
752
原创 IBM rhapsody 9.0.2下载安装使用试用购买
#商业软件如需下载安装使用试用，可以点下面，通过简介添加最近配置系统建模实验课的环境，在 IBM Rhapsody 配置上遇到一些问题，以下记录解决方法。
2023-06-25 15:57:50
1496
1
原创 preevision 10.6.0下载安装使用试用购买
PREEvision功能强大，可支持开展电子/电气架构的设计、评估和优化，面向信号和面向服务的架构开发，需求工程管理，AUTOSAR系统和软件设计，AUTOSAR DBC、LDF、FIBEX和Ethernet通信设计，线束开发，测试工程和测试管理，以及符合ISO-26262的功能安全开发。建议在PREEvision中对诊断进行建模，也可以从CANdelaStudio导入诊断数据开始，并在PREEvision中实现相应的软件组件，然后将诊断数据导回CANdelaStudio继续开发。
2023-06-25 15:55:10
1305
原创 VectorCAST技术支持培训编译器配置
【(QAC、Klocwork、Coverity、Polyspace、VectorCAST、TestBED、Tessy、C++Test）静态单元测试软件下载安装试用-哔哩哔哩】 https://b23.tv/J7QZ6rp。##商业软件如需下载安装使用试用，可以点下面，通过简介添加，提供编译器定制，技术支持，培训。
2023-03-27 21:38:13
838
原创 Tasking6.3 for Tricore编译器下载安装使用试用
切换到“服务器设置界面”（图 6），其中远程服务器用于拥有“Global”许可证的客户，服务器在本公司的要选择本地服务器，输入服务器的IP和端口号，然后点击“Next”按钮，进行下一步。这里只提及不同的部分。切换到“回顾信息界面”，许可证密钥，检查安装路径等信息是否正确，需要修改可以点击“Back”，回到以前的界面进行修改，如果不需修改，点击“Next”按钮，进行下一步。切换到“程序安装路径选择界面”（图 7），根据需要选择好软件的安装路径，使用默认安装路径，一般直接点击“Next”按钮，进行下一步。
2023-01-17 11:15:13
9265
5
原创 Hightec tricore 4.9.4.1编译器下载安装使用试用购买
设置Section的目的是将Object（函数或者变量）放入指定的地址空间。所以，搞清楚如何在链接文件中定义Section之前，需要先在源文件（eg：*.c）中创建Object，并把Object放入指定的Section。如果想让编译器HighTec将源文件（eg：*.c）中的Object放入指定的位置，还需要修改链接文件（*.lsl）。实际的工程中，我们会将函数或者变量放入指定的Section，或者说自定义的Section。这又是如何操作的呢？：自定义段.mySection，段内的对象可写，4字节对齐。
2022-12-27 17:55:20
1772
原创 Polyspaces软件下载安装使用试用购买
前一个方法更适合手写代码的检查，而后一个方法则是在MBD开发工具链时，确保生成代码的质量。Polyspace是matlab中的一个用于静态分析代码的工具箱，可以用于检查C、C++等代码的问题（比如死逻辑、可能出现的除零等），主要是针对嵌入式。3. Polyspace for Ada（在18b中没有，但是官网是有该项，如需要可以单独下载），一个由Matlab打开软件，手动导入源码和库（*.c&*.h)该方法可以参考。:可靠的静态分析工具，可以证明在 C 和 C++ 源代码中。使用PolySpace有。
2022-12-27 17:48:40
2935
原创 medini analyze软件下载安装使用试用购买
开发过程的追溯性、一致性、完整性如何保证？Mobileye将medini analyze作为其自动驾驶安全策略开发的核心工具，将自动驾驶安全目标拆分为功能安全ISO26262安全目标及预期功能安全SOTIF安全目标，系统性解耦了功能安全与预期功能安全之间的关联关系，不但实现了产品的功能安全开发，并且利用medini analyze积极探索了SOTIF的落地过程。♦ 支持创建项目内任意元素的追溯关系，如不同层级的需求关联关系，需求与设计架构的allocation关系，架构与安全分析验证的对应关系等；
2022-10-11 13:50:28
1903
原创 GreenHills Software编译器下载安装使用试用购买
Green Hills Software（GHS）是美国Green Hills软件公司提供的一种具有调试、编译器和闪存编程工具的集成开发环境，是汽车电子行业常用且重要的开发环境之一。开发电脑插上Green Hills USB Dongle（软件加密狗）后导入代理厂商提供的专属License文件，Green Hills Software（GHS）即可正常使用。其中，Dongle Label在Green Hills USB Dongle（软件加密狗）上的标签上，PO Number由代理厂商提供。
2022-10-11 13:47:55
7134
原创 Polarion软件下载安装使用试用购买
在新版本中，您可以为不同类型的文档（LiveDocs）定义不同类型的自定义字段，从而在不同的LiveDoc中显示其独特的属性。当然，您也可以为所有文档类型定义统一的的自定义字段，用来定义通用的属性。
2022-10-11 13:44:26
3447
1
原创 Parasoft C++Test软件下载安装使用试用购买
第一部分：C++ Test是Parasoft公司出品的一个针对C/C++源代码进行自动化单元测试的工具。它可以对源代码进行三种测试：白盒测试、黑盒测试以及回归功能测试。 白盒测试 C++ Test对C/C++源代码进行分析，针对所有的类的成员函数（包括：公共的、保护的以及私有类型的）进行测试。测试的方法是判断当输入一个非法的参数时，有关函数能否正确处理。（Record命令）在此状态下软件针对指定的文件、类或者是函数自动生成测试用例。 黑盒测试 不仅对源代码进行分析，并且只针对类的公共接口
2022-04-14 14:08:34
3713
原创 Coverity软件下载安装使用试用购买
1.说明：Coverity代码扫描工具可以扫描java，C/C++等语言，可以和jenkins联动，不过就是要收钱，jenkins上的插件可以用，免费的，适用于小的java项目2.这是Coverity的github地址 https://github.com/jenkinsci/coverity-plugin3.以下是coverity在jenkins上操作 jenkins=詹金斯安装插件使用插件管理器,重启詹金斯。Coverity配置工具(管理詹金斯>全球工具......
2022-04-14 14:06:58
4861
原创 Klocwork软件下载安装使用试用购买
“借助Klocwork，我们能够比传统的手动分析和测试更快发现可能遗漏的问题。这使我们能够交付出引以为傲的高质量软件，并满足客户的期望。”— SCM系统工程经理Klocwork 简介Klocwork是针对C，C ++，C＃和Java编程语言的最准确的代码分析工具之一。它是一款现代化的敏捷代码静态分析工具，可扩展到任何规模的项目，并在DevOps周期内有效运行。此外，它还通过了TÜV-SÜD的功能安全合规认证 ，包括IEC 61508，ISO 26262，IEC 62304和EN 50128。.
2022-04-14 14:05:05
4575
原创 Tessy4.3.18软件下载安装使用试用购买
Tessy是一个专门针对嵌入式软件的C/C++代码进行单元、集成测试的工具，它可以自动化地执行测试、评估测试结果并生成测试报告。Tessy的目标就是：通过自动化整个测试周期，支持针对C语言的单元测试/集成测试，同时，Tessy也同样关注测试组织和测试管理。Tessy软件源自戴姆勒-奔驰公司的软件技术实验室，在戴姆勒-奔驰公司得到广泛的使用，1997年之后独立成为专业的软件测试工具公司Razorcat，由德国Hitex负责销售及技术支持服务。北京经纬恒润作为Hitex/Razorcat公司的中国合
2022-04-14 14:01:59
3285
原创 LDRA Testbed软件下载安装使用试用购买
1.序列名不规范为了工程化的管理测试用例，单元测试时，建议为每个被测函数（uut）创建一个序列，而序列名使用函数名，以便后期维护管理。2.未确认代码是否编译通过，就开始测试应当在确定代码编译成功后，再开始用testbed进行静态分析和单元测试而且如果时间允许，清确保完成了编码规则检查后，再进行静态分析。3.当被测文件较大时，可将文件只抠出变量定义、函数申明以及被测函数的实现。以加快测试执行进度。抠代码时，只保留最开始的函数定义和需要的函数，为了提高效率，可以一次扣多个函数的代码抠代码前清做
2022-04-14 13:57:36
8812
原创 Helix QAC软件下载安装使用试用培训购买
什么是静态测试？依靠分析或检查源程序的语句、结构、过程等来检查程序是否有错误。一般不会直接运行源代码。静态测试工具有很多，但是我主要介绍的是Helix QAC工具。为什么要对代码进行静态分析？目前的程序代码量越来越大，使在某些情况下程序会出现问题； 软件程序要求越来越严格，不同行业具有不同的标准，使开发软件时的交付压力不断增加； 一般情况下，软件开发的成本很高，如果发布出来后，出现问题造成的损失就会很大，所以为减少损失，降低成本，软件程序十分有必要进行静态测试。Helix QAC 工具
2022-04-14 13:52:51
3792
原创 VectorCAST软件下载安装使用试用培训购买
#从V模型说起##什么是V模型V模型示意图1V模型示意图2##特点清楚的标识了开发和测试的各个阶段；开发和测试同等重要（左边部分是开发，右边部分是测试），但有明显的先后执行步骤。##缺点把测试仅放在了形成产品编码之后，如果在验收测试这一过程中，程序错误或者需求偏离造成客户给了否定票，那么此次任务产品设计开发可能会实现零收入，或者如果进行修改无疑增加了投入成本，延长了开发周期。（缺乏及时性）##解决方案要在产品设计过程中就应该考虑到测试，即软件开发的时候，开发人员和
2022-04-14 13:49:43
3297
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人