使用静态分析和形式化方法
2021-08-11 09:09:49 1016KB 嵌入式软件
1
凯云科技自创建以来始终专注于国产自主可控软件测试类ETest系列产品的研发与推广,为国内各行业提供具有国际领先水平、通用性强、可靠性高、应用成本低的装备软件半实物仿真测试产品和技术。主要产品有嵌入式系统半实物仿真测试环境及测试教学实训平台、故障诊断平台、测试流程管理系统、可视化测试设计平台等。客户有航空、航天、船舶、兵器等军工行业研发制造单位以及轨道交通、汽车、医疗等国内外从事工业设计、研发的相关单位。
2021-08-08 19:04:42 647KB 嵌入式 软件测试
1
支持接口:1553B、ARINC429、RS232/422/485、CAN、AFDX、1394B、 FC-AE-ASM等总线。测试软件:内置ETest Studio,支持嵌入式软件测试环境仿真设计、 通讯协议编辑、监控窗口设计、测试脚本编辑及管理、测试实施、测试数据分析及测试报告自动生成等功能。
2021-08-08 19:04:40 4.32MB 软件测试 嵌入式
1
综合测试仪(ETest_Tester)是用于各行业装备软件研发、测试部门或者质量管理部门外场装备测试的综合测试设备。 该设备由硬件和软件两部分组成。硬件采用全封闭,无风扇铝合金结构,嵌入式X86架构主板。软件部分包括操作系统和测试软件。操作系统采用的是Win7,测试软件采用嵌入式系统测试平台集成开发环境(ETest Studio基础版)
2021-08-08 19:04:32 3.41MB 嵌入式 软件测试
1
嵌入式系统测试教学实训平台(Kiyun ETest Training Platform,简称:ETest_TP )适应于各类高等院校与培训机构在嵌入式系统测试方面的科研与教学以及军工研究所、各研发型企业用于软件测试工程师的培训与考核。 ETest_TP由培训教材(含教师用教材、学员上机操作指南)、软件以及实训平台实验箱组成。其中软件为ETest,实验箱包括待测件板(待测系统)、显示板、多功能接口板、串口通信板(RS232)、CAN模块、USB集线器等。
2021-08-08 19:04:32 7.07MB 软件测试
1
MTK深圳公司嵌入式软件工程师笔试题 .docMTK深圳公司嵌入式软件工程师笔试题 .docMTK深圳公司嵌入式软件工程师笔试题 .doc
1
比较全面的阐述嵌入式系统软件架构设计的资料,pdf版本,文字版,完整无广告。 本课程是针对嵌入式软件开发的特点,讨论架构设计的思路和方法。试图给大家提供一种思想,启发大家的思维。框架,自动化代码生成和测试驱动的架构是核心内容,其中框架又是贯穿始终的要素。有人问我,什么是架构师,怎么样才能成为架构师?我回答说:编码,编码,再编码;改错,改错,再改错。当你觉得厌烦的时候,停下来想想,怎么才能更快更好的完成这些工作?架构师就是在实践中产生的,架构师来自于那些勤于思考,懒于重复的人。
2021-07-28 09:48:58 875KB 嵌入式 软件架构 嵌入式软件 架构
1
嵌入式软件是电子系统的重要组成部分,它具有不同于硬件系统的可靠性特征和可靠性设计方法。 随着系统应用时间的推移,系统功能逐步完善,bug逐步修复,其可靠性不会随时间下降,相反会随着时间推移而上升。软件可靠性不但与软件存在的差错有关,而且与系统输入和系统使用有关。 嵌入式软件可靠性应达到的判定标准是判错、防错、纠错、容错。同时,系统工程师应考虑到为实现判、防、纠、容而需要配套的硬件设计。
2021-07-27 15:35:47 374KB 嵌入式软件可靠性设计
1
可以自动检测串口
2021-07-26 14:02:33 781KB 嵌入式软件开发
1
具有适用范围广、扩展性好、携带方便、配置灵活、操作简单以及使用成本低等特点,可满足航空航天、武器装备、工业控制、汽车电子、仪器仪表等各领域嵌入式系统的测试需求
2021-07-26 09:02:29 8.89MB 嵌入式 软件测试
1