测试-媒体中心-迪捷软件-国内领先的嵌入式DevOps解决方案提供商

初探形式化方法基本原理

1.形式化方法基本概念形式化方法是基于严格的数学基础，通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证，是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。形式化方法使用数学及逻辑证明的手段对计算机系统进行建模、规约、分析、推理，其主要涵盖以下几个研究方向：定理证明、形式模型、形式语义与形式建模、形式规约、形式验证技术。下面以高可信工业领域实际应用中最广泛的形式化规格

2022-08-01 digiproto

ModelCoder状态机：对柴油机工况判断策略进行建模

1.柴油机ECU简介柴油机是用柴油作燃料的内燃机，属于压缩点火式发动机。柴油机ECU（Electronic Control Unit，电子控制单元）的主要功能有：接受来自柴油机上的各个传感器信号；进行工况判断；根据开发人员事先编写的控制策略与标定存储的各类MAP（汽车工程上常用的实验数据图），计算判断在当前工况下的所需的喷油量、喷油正时与喷射压力等控制参数；通过功率驱动模块控制执行器输出。柴油机E

2022-07-29 digiproto

DevOps在物联网解决方案中的应用

物联网对生产生活的应用赋能体现在方方面面：通过传感器，即便远隔千里也能对设备进行运维监控；智能音箱普及之下，语音呼唤就能乐享智慧生活；覆盖道路的视频监控实时传输给行驶中的车辆，车路协同让无人驾驶成为可能……

2022-07-28 digiproto

【视频】基于SkyEye的虚拟环境自动化测试平台

在完整的软件项目开发周期中，软件测试工作占了一半以上的时间。随着软件功能越来越复杂、代码量成倍增加，软件开发、升级、迭代的周期越来越短，传统高成本的手动测试已无法满足软件研制的需求。相比于手动测试，自动化测试可以帮助测试人员从重复的测试任务中脱离出来，根据预先设计好的测试用例，让程序自动执行测试任务，并将运行后的测试结果与期望值进行比较，自动得出测试结论。可视化拖拽的自动化测试平台能够通过创建可视

2022-07-25 digiproto

什么是CI/CD？

CI（Continuous Integration，持续集成）/CD（Continuous Delivery，持续交付/Continuous Deployment，持续部署）属于DevOps的概念，指将传统开发过程中的代码构建、测试、部署以及基础设施配置等一系列流程的人工干预转变为自动化。使用CI/CD，代码经由开发人员更改后，可进行自动化测试并完成交付和部署。恰当的CI/CD管道可使计算机停机时

2022-07-21 digiproto

SAFERTOS在医疗设备中的应用

SAFERTOS为开发人员提供响应迅速、稳健、确定性的嵌入式实时操作系统 (RTOS)。它包含开发医疗设备所需的功能，并且提供设计历史文件(DHF)，为医疗设备集成SAFERTOS提供满足认证所需的文档。

2022-07-18 digiproto

SkyEye Q&A ——第二期

Q1：什么是车载ECU？A1：ECU（Electronic Control Unit）电子控制单元，又称“车载电脑”等。它和普通的电脑一样，由微控制器（MCU，Microcontroller Unit）、存储器（ROM，Read-Only Memory）、RAM（Random Access Memory，随机存取存储器）、输入/输出接口（I/O，Input/Output）、模数转换器（A/D，An

2022-07-14 digiproto

【视频】基于SkyEye的目标码覆盖率智能辅助分析工具

基于SkyEye仿真平台的目标码覆盖率智能辅助分析工具，可用于获取并分析源码、目标码覆盖情况。测试人员可根据代码的覆盖情况，设计更多测试用例，提高代码的覆盖率，从而全面验证可能存在的软件漏洞，提高软件可靠性。

2022-07-06 digiproto

媒体中心

媒体中心

产品与解决方案

媒体中心

人才战略

关于迪捷