![](https://img-blog.csdnimg.cn/20201014180756922.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
软件检测工具
文章平均质量分 84
Suresoft China
青岛硕索福特科技有限公司总部位于韩国首尔,为客户提供软件开发/系统验证服务和解决方案,主要业务包含汽车信赖性软件验证、新能源汽车远程监控终端、新能源汽车远程监控平台管理、ASPICE咨询及认证、基于ISO26262的软硬件开发与测试、基于ISO 21434的网络安全体系建设与认证等。
展开
-
什么是基于模型设计(MBD)?
因此,基于 MBD 的 SW 验证需求呈上升趋势,SureSoft 基于 ISO 26262 为基于 MBD 的 SW 提供静态和动态验证服务。特别是在汽车领域,在结构复杂的模型中,安全性很重要,定义了功能安全的国际标准 ISO 26262,以指定静态验证(例如检查模型是否符合准则)和动态验证(例如模型)模拟。用于执行基于自动代码的模型动态验证的工具 Controller Tester 是 SureSofttech 的自动化解决方案,可为在各种环境中开发的软件执行单元/集成验证。原创 2023-01-17 15:47:03 · 12042 阅读 · 0 评论 -
基于控制器软件需求事项进行单元测试和单元测试规范
单元测试及其规范原创 2023-01-10 16:17:37 · 553 阅读 · 1 评论 -
基于ISO 29119 Part 2 的软件测试计划
SW TESTING原创 2022-12-27 09:17:22 · 1006 阅读 · 1 评论 -
汽车HVAC(空调系统)验证自动化场景设计
HVAC空调系统验证自动化原创 2022-12-06 09:12:38 · 831 阅读 · 0 评论 -
A-SPICE 流程核心认证指南 V-SPICE 解决方案
ASPICE专业辅助工具原创 2022-11-29 09:21:09 · 2108 阅读 · 0 评论 -
A-SPICE认证支持工具V-SPICE的应用方案-第1篇 输出物对应方案
ASPICE流程认证辅助工具/轻量化/标准文档提供/一分钟轻松上手原创 2022-11-18 09:17:47 · 987 阅读 · 0 评论 -
MISRA-C 2012修改指南介绍及示例
导言随着对汽车电子嵌入式软件的重视程度不断提高,为减少软件的缺陷,汽车工业软件可靠性协会MISRA(Motor Industry Software Reliability Association)提出了MISRA-C 2012这一编码规范。此编码规范在提高与生命安全直接相关的软件的可靠性方面具有重大意义,相关软件产品走向国际市场必须要遵守此规范。使用静态分析的自动化工具进行静态验证可以知晓软件产品是否符合MISRA-C 2012的编码规则。若通过静态验证结果发现了违反MISRA-C 2012的.翻译 2021-02-19 15:26:01 · 3475 阅读 · 0 评论 -
基于设计需求的单元测试和单元测试详细说明书
技术文章版块持续更新本周为您分享的文章是《基于设计需求的单元测试和单元测试详细说明书》,兜兜转转回到了单元测试的知识点,要是有兴趣的话,请继续读下去吧!1. 何为基于设计需求的单元测试大部分汽车行业遵循ISO制定的汽车功能安全国际标准ISO 26262所定义的规则。单元测试用于测试验证对象单元(函数或功能)是否按照设计需求在正常运行,根据ISO 26262标准的Software unit testing(ISO 26262-6-9)内容,针对单元测试提出了如下方法(见图一)。<图1原创 2021-01-25 16:42:25 · 804 阅读 · 1 评论 -
利用Model Verifier进行模型动态验证
今天接着向大家讲解我们的动态测试工具Model Verifier,首先先简单了解一下何为模型的动态验证,其次再为大家说明我们的Model Verifier在动态验证中的作用。1 模型动态验证模型的动态验证是通过仿真验证对基于模型开发(MBD)的模型进行验证的过程。模型动态验证需经过将准备好的测试数据输入到模型中并验证是否输出了预期结果的过程。根据对象和类型,模型动态验证技术可以分为模型在环(MIL),软件在环(SIL),处理器在环(PIL)和硬件在环(HIL)这四种。另外,验证模型与...原创 2021-01-12 13:45:18 · 836 阅读 · 1 评论 -
为满足安全标准而提供的ADAS Inspector Solution
ADAS和无人驾驶及SOTIF为满足安全标准而提供的ADAS Inspector SolutionISO/PAS 21448:2019 (Road vehicles - Safety of the intended functionality)为加强汽车功能安全标准ISO 26262中关于无人驾驶功能验证和检查内容, "预期功能安全"(Safety of the Intended Functionality, SOTIF)标准ISO/PAS 21448应运而生。ISO 21448...原创 2020-12-21 17:01:33 · 243 阅读 · 0 评论 -
利用Model Inspector测量模型度量
本周的技术文章又上新啦!上一篇为大家分享了有关制作车载软件建模指南的知识,不知道对您有没有帮助呢?今天向大家分享的这篇文章是《利用Model Inspector测量模型度量》,主要涉及到我们的模型级检测工具Model Inspector,还想了解代码级别及模型级别检测工具更多信息的请积极留言告诉我们哦!1.何为模型度量?模型度量就是指能够分析模型,评价模型复杂度、大小、可读性、可测试性及是否遵守标准的模型品质指标。可通过测量的度量针对模型制作质量标准,并可灵活利用多种度量实现高水平管理。但目前并原创 2020-12-15 15:18:04 · 435 阅读 · 0 评论 -
制作车载软件建模指南
今天依旧为大家分享技术文章。上一篇为大家分享了技术小白如何高效设计测试用例,提到的所需工具是Controller Tester,那今天向大家分享的这篇文章是《制作车载软件建模指南》,主要涉及到我们的模型级检测工具,还想了解代码级别检测工具更多信息的请积极留言告诉我们哦!1.何为建模指南 建模指南是在开发者基于模型设计(MBD: Model-base Design)开发SW时提供指南的文件,起到向导作用。本篇文章将针对最常用的建模工具的建模指南生成方法进行说明。2.建模...原创 2020-12-08 16:08:19 · 660 阅读 · 0 评论 -
利用Controller Tester进行基于场景的集成测试
何为基于场景的集成测试?基于场景的集成测试是指用基于软件架构设计场景,从综合角度验证软件功能出发,执行集成测试的一种方法。通过执行基于场景的集成测试,可以验证软件的架构设计遵守状态、硬件和软件接口明细遵守状态、可能性以及使用的适当性等。图1 ISO 26262 : V-model、集成测试方法、覆盖率测量指标通过ISO 26262的V模型我们可知,集成测试是在单元测试之后进行的,它是为了确认软件各单元的集成是否顺利,组件之间的集成是否顺利而进行的测试阶段。集成测试和单元测试一样.原创 2020-12-03 12:44:32 · 537 阅读 · 0 评论 -
测试小白如何设计高效的测试用例?
1. 测试小白设计测试用例的难点不论是新手还是经验丰富的工程师,在第一次进行软件测试时,都会苦恼该怎样设计测试用例。此时初学者最容易尝试的方法就是通过测试用例设计方法来设计测试用例。测试用例设计方法包括通过分析设计需求的设计测试用例、等价类划分法、界限值分析、错误推测等。但是,初学者很难全部执行这些设计方法,即使进行也只能设计有限的测试用例,因此还需要直接设计测试用例,非常麻烦。在这种情况下,虽然需要根据经验追加生成测试用例,但在大部分情况下对于测试新手来说不太可能实现。ISO 26262评价测原创 2020-12-02 10:13:41 · 335 阅读 · 0 评论 -
利用Controller Tester进行动态测试
首先和小编一起来了解一下什么是单元测试吧!1. 何为单元测试? 单元测试也叫模块测试或组件测试,是一项在可测试的最小单位在与程序的其他部分相隔离的情况下对其进行测试寻找缺陷并验证其功能的活动。 一般来说,要根据实际情况去判定单元的具体含义,其可以是一个函数、一个模块、一个类或一个对象等。 并且单元测试会先执行功能性(基于要求事项)测试,此外也执行界面测试、源代码相关测试和鲁棒性测试等特定的非功能性测试。 单元测试一般要在以编码为中心的运...原创 2020-11-19 13:00:31 · 1227 阅读 · 3 评论 -
静态检测工具STATIC以及静态分析的必要性
这一篇向大家介绍的是我司静态检测工具STATIC以及静态分析的必要性。欢迎各位技术大牛发表自己的看法呀!正常运行的软件就是完美的软件吗?下图是漫威电影《黑豹》中给小编留下很深印象的场面答案是无论做的多好,也有改进的余地!好的软件也是一样。正常运转不代表没有需要改善的地方,或许未被发现的BUG就隐藏在其中。本文将针对动态测试未能发现的BUG和静态分析的必要性以及需要修改缺陷的理由这三块内容展开讨论。动态测试不能发现的BUG找出动态测试中未能发现的BUG的方法..原创 2020-11-18 13:17:45 · 1308 阅读 · 0 评论