• 观模丨嵌入式实时操作系统的形式化验证
    2022-08-01 2739

    操作系统内核作为软件系统的核心,确保操作系统内核的安全性与可靠性是构造高可信软件最为关键的一步。采用形式化方法(Formal Methods)是实现操作系统安全可靠的途径之一。

  • 观辙丨汽车电子电气架构演进和域控制器发展方向
    2022-08-01 2125

    当下汽车工业正在经历过去几十年未曾经历的快速变更,伴随着电动化、智能化、网联化等趋势,未来汽车必将实现高度自动驾驶,汽车电子和软件正在深刻地影响着出行领域。

  • 观辙丨车载ECU嵌入式软件的测试入门
    2022-07-18 1889

    上一章节我们讲了汽车电子架构和网络历史。本章节我们将先给大家讲述汽车测试的基础小知识,然后描述CAN网络数据帧的相关基础知识。

  • 观模丨测试的充分性问题
    2022-07-18 2996

    由于无法穷举被测软件完整的输入空间,各种软件动态测试方法本质上都是围绕”如何构造测试集合以使其展现的部分行为能够高效有效地反映软件的整体行为“而展开。判断测试集合在软件上的表现是否能够充分反映该软件的...

  • 观辙丨汽车电子架构和CAN网络基础
    2022-07-04 1462

    本系列文章从汽车电子架构和网络历史开始,逐步往汽车电子零部件的嵌入式软件,零部件的通用基础功能各网络诊断服务等方面内容,从粗到细、由宽泛到具体,逐步展开。

  • 观模丨浅谈软件测试
    2022-07-04 1562

    从狭义的角度说,软件测试是软件开发中的一个流程,即通过把程序实际运行起来并试图找出其中可能存在的错误。

  • 联系电话:021-62655886

  • 邮箱地址:marketing@ticpsh.com

  • 联系QQ: 1848394142