国产测试工具:
RTInsight:配置项级嵌入式系统测试工具
CuttleITE:配置项/系统级白盒测试工具
国外测试工具:
Testbed:软件静态测试工具
Klocwork:代码缺陷与安全漏洞静态分析工具
SQATest-TM:嵌入式软件测试过程管理工具
ETest:嵌入式自动化测试工具
墨衍会员
·
AI 创作全网分发
墨衍智能分发
本文由作者通过墨衍一键同步至各平台
1分发平台
500+累计阅读
592平均单平台
已同步平台
优快云
微信公众号
微博
知乎
掘金
百家号
博客园
抖音
小红书
你的文章也可以这样分发
墨衍会员 ¥399起/年,写一次发全网
我也要 →
码龄10年
国产测试工具:
RTInsight:配置项级嵌入式系统测试工具
CuttleITE:配置项/系统级白盒测试工具
国外测试工具:
Testbed:软件静态测试工具
Klocwork:代码缺陷与安全漏洞静态分析工具
SQATest-TM:嵌入式软件测试过程管理工具
ETest:嵌入式自动化测试工具
CuttleITE系统集成测试理论
CuttleITE系统集成测试理论 CuttleITE系统集成测试理论 CuttleITE系统集成测试理论
软件测试——嵌入式测试
软件测试实验 目录 软件测试实验 1 嵌入式测试 1.1 读《需求文档》——分析 1.2 测试环境搭建 1.2 测试用例的设计 1.3 执行测试 1.4 测试脚本debug 1.4 创建并设计测试监控(可选项) 未完待续 1 嵌入式测试 1.1 读《需求文档》——分析 了解待测系统 1.2 测试环境搭建 1.1.1 端口配置 ...
嵌入式软件测试工具--LOGISCOPE
LOGISCOPE 是一组嵌入式软件测试工具集。它贯穿于软件开发、代码评审、单元/集成测试、系统测试、以及软件维护阶段。它面向源代码进行工作。LOGISCOPE 针对编码、测试和维护。因此,LOGISCOPE 的重点是帮助代码评审(Review )和动态覆盖测试(Testing )。 LOGISCOPE对软件的分析,采用基于国际间使用的度量方法(Halstead、McCabe等)的质量模型,以及从多家公司收集的编程规则集,可以从软件的编程规则,静态特征和动态测试覆盖等多个方面,量化地定义质量模型,并检查、评估软件质量。 LOGISCOPE 在开发阶段,查找可寻找潜在的错误。 在代码评审阶段,LOGISCOPE 定位那些具有80%错误的程序模块。 通过对未被测试代码的定位,LOGISCOPE 帮助找到隐藏在未测试代码中的缺陷。 项目领导和质量工程师用LOGISCOPE 定期地检查整个软件的质量。 在各个阶段用LOGISCOPE ,改进软件工程的实践,训练程序员的编写良好的代码和测试活动,确保系统易于维护,减少风险。 在有合同关系时,合同方可以用LOGISCOPE 明确定义验收时质量等级和执行测试。承制方可以用LOGISCOPE 演示其软件的质量。 LOGISCOPE 获取ISO/IEC9126 定义的"Quality Characteristics "; LOGISCOPE 为ISO-9001提供需求(test acceptance criteria and qulity records ); LOGISCOPE 为开发者提供SEI/CMM在第2 级(Repeatable )所要求的软件质量跟踪等关键实践的要求,推进开发组织尽快达到SEI/SMM 的3 级。 1)LOGISCOPE 用于开发阶段 定义质量模型 RuleChecker 预定义了50 个的编程规则:名称约定(如:局部变量用小写等);表示约定(如:每行一条指令); 限制(如:不能用GOTO 语句,不能修改循环体中的计数器等)。用户可以从这些规则中选择,也可以用Tcl 、脚本和编程语言定义新的规则。此外,还提供50 个面向安全-关键系统的编程规则。 Audit 以ISO9126 模型作为质量评价模型的基础。质量评价模型描述了从Halstend 、McCabe 的度量方法学和VERILOG 引入的质量方法学中的质量因素(可维护性、可重用性、等)和质量准则(可测试性、可读性、等)。 工程项目领导或质量管理人员可以根据准则、应用软件的生存周期、合同需求等,挑选并采纳适用于项目需求的质量模型。 验证、评审和改进代码 RuleChecker 用所选的规则对源代码进行验证。指出所有不符合编程规则的代码,并提出改进源代码的解释和建议。RulrChecker 通过文本编辑器直接访问源代码并指出需要纠正的位置。 Audit 将被评价的软件与规定的质量模型进行比较,用图形形式显示软件质量的级别,因此,质量人员可以把精力集中到需要修改的代码部分。对度量元素和质量模型不一致的地方作出解释并提出纠正的方法。 2)LOGISCOPE 用于测试阶段 定义测试准则 LOGISCOPE 推荐对指令(IB)、逻辑路径(DDP)和调用路径(PPP)的覆盖测试。此外对安全-关键软件还提供了MC/DC 的覆盖测试。 测试的有效性 TestChecker 产生每个测试的测试覆盖信息和累计信息。用直方图显示覆盖比率,并根据测试运行情况实时在线更改。随时显示新的测试所反映的测试覆盖情况。 TestChecker 允许所有的测试运行依据其有效性进行管理。用户可以减少那些用于非回归测试的测试。 测试的优化 在测试阶段的第一步,执行的测试是功能性(黑箱)测试。其目的是检查所期望的功能是否已实现。在测试初期,覆盖率会迅速增加。象样的测试工作一般能达到70%的覆盖率。但是,要提高此比率是十分困难的。主要是由于测试用例覆盖了相同的测试路径。这时,需要对测试策略做一些改变。执行结构化(白箱)测试,即,要检测没有执行过的逻辑路径,定义新的测试用例覆盖这些路径。 在执行测试期间,当测试策略改变时,综合的运用TestChecker 检测关键因素以提高效率。将TestChecker与Audit 配合使用能够帮助用户分析未测试的代码。 用户可以显示所关心的代码,并通过对执行未覆盖的路径的观察得到有关的信息。信息以图形(控制流图)和文本(伪代码和源文件)的形式提交,并在其间建立导航关联。 TestChecker 管理系统声明新的测试、生成有关文档、定义启动命令、以及自动执行的方法。 3)LOGISCOPE 用于维护阶段 人们广泛的认识到应用系统的维护费用与开发费用基本相等。经验表明50%的软件维 护时间化在对结构、逻辑和运行的理解上。LOGISCOPE 可以大大的减少对未知系统的理解所需的时间。 Audit 将应用系统的框架以文件形式(部件文件间的关系)和调用图的形式(函数和过程间的关系)可视化。函数的逻辑结构以控制流图的形式显示。在控制流图上选定一个节点,即可得到相对应的代码。可以在不同的抽象层上对应用系统进行分析,不同层次间的导航,促进对整体的理解。 4)对嵌入式领域的支持 LOGISCOPE 支持多种测试方式。特别是对嵌入式领域软件的支持。 众所周知,嵌入式系统软件的测试是最为困难的。因为,它的开发是用交叉编译方式进行的。在目标机(Target)上,不可能有多余的空间记录测试的信息。必须实时地将测试信息通过网线/串口传到宿主机(Host)上,并实时在线地显示。因此,对源代码的插装和目标机上的信息收集与回传成为问题的关键。 LOGISCOPE 很好地解决了这些技术,成为嵌入式领域测试工具的佼佼者。它支持各种实时操作系统(RTOS)上的应用程序的测试,也支持逻辑系统的测试。Logiscope 提供VxWorks 、pSOS 、VRTX 实时操作系统的测试库。 5)对航空/航天/国防/核电站领域的支持 在航空/航天领域,安全是最关键的问题。因此,欧美的航空/航天制造厂商和使用单位联合制定了RTCA/DO-178B。LOGISCOPE 通过对"Reviews and Analysis of the Source Code " 和"Structural Coverage Analysis "能够使开发的软件达到RTCA/DO-178B 标准的A 、B 、C 三个系统级。 LOGISCOPE 是第一个提供MC/DC(Modified Condition/Decision Coverage)测试的工具。 6)软件文档和测试文档的自动生成 Logiscope 提供了文档自动生成工具。使用者可以将代码评审的结果和动态测试情况实时生成所要求的文档,这些文档忠实地记录代码的情况和动态测试的结果。文档的格式可以根据用户的需要定制,如,GJB-438A。 支持的主机平台: UNIX:Sun OS/Solaris, HP 700 HP-UX, RS6000 AIX, Power PC, DEC UNIX; IBM Mainframe MVS环境; PC Windows/NT。 支持的语言:C, C++, Ada, Java 目标机环境:支持嵌入式实时操作系统VxWorks,PSOS,VRTX
嵌入式测试太难?7个嵌入式测试工具推荐
今天小编就从嵌入式测试的概念、与互联网或传统软件测试的异同点以及7个好用的嵌入式测试工具等方面进行分享,希望对你有所启发!
软件测试理论集合 自动化测试理论
根据不同的生产过程进行不同的测试,包括黑盒测试、白盒测试、功能测试、系统测试、压力测试、安装/卸载测试、兼容性测试、α 测试、β 测试等
微信聊天记录解密,必须是root的手机
手机上安装x-plore软件,将/data/data目录的相关EnMicroMsg.db auth_info_key_prefs.xml拷贝到/storge/emulated/0目录后才可以拷贝到电脑。路径:/data/data/com.tencent.mm/shared_prefs/auth_info_key_prefs.xml。但是是加密过的 需要解密 解密密码生成规则是手机IMEI+微信UIN md5(32位小写)后的前7位。安卓手机要root测试版本微信要7或者8版本都可以。选择message表。
常见的软件测试内容及使用工具
一、单元测试与集成测试 1、单元测试(基本是程序员的编码时就进行了单元测试) 一个对象或是一个类,也可能是一个函数也可以是一个组件或模块。 在单元测试或集成测试中主要采用白盒测试方法,包括对代码的评审、静态分析和结合测试工具进行动态测试。 单元测试的任务:单元独立执行路径的测试、单元局部数据结构的测试、单元接口测试、单元边界条件测试、单元容错性测试内存分析。 单元测试工具: 针对单元测试一般根据不...
距离多普勒谱(RD谱)绘制方法及理解
RD谱是信号处理领域常用的图形。原始信号往往是一维时域序列,如何将其二维化,并进行变换生成RD谱呢?由于刚刚接触,查阅了网络上、老师手里的资料,发现RD谱的绘制方法并不统一,有些存在一定问题。在此,将心得体会记录下来。
物联网时代,嵌入式软件测试工具越来越重要~
来源 | 软件质量报道也许你陌生,但在智能物联网时代,人们会越来越关注嵌入式软件测试。说起嵌入式软件测试,我们先快速了解一下嵌入式软件自身的特点。嵌入式软件具有实时性、内存空间有限、I/O...
Temporal Fusion Transformer(TFT)与扩散模型融合:时间序列预测新范式
本文探讨了Temporal Fusion Transformer(TFT)与扩散模型融合的时间序列预测新范式。该融合方案利用TFT强大的特征提取与可解释性,为扩散模型提供精准的“导航图”,从而在噪声数据中实现鲁棒预测,并原生支持不确定性量化,输出完整的概率分布与置信区间,为金融、能源等领域的风险决策提供更可靠的依据。
CorelDRAW 2019安装指南:从下载到激活的完整步骤
本文提供了一份详细的CorelDRAW 2019安装指南,涵盖从下载安装包、检查系统环境到完成激活的完整步骤。文章重点解析了安装过程中的关键选项设置,并分享了首次启动后的优化配置与常见问题解决方案,旨在帮助用户高效、顺利地完成这款经典矢量设计软件的安装与配置。
这几款嵌入式软件测试工具,值得用
关注、星标公众号,直达精彩内容 来源 |网络素材由于嵌入式系统的实时性,其测试应充分考虑系统实时响应的问题,其响应时间一般要求在毫秒级别,其对应的负载测试少不了。在对目标机进行测试时,一般需要对在宿主机上编译通过的代码进行插桩处理。这样可以在目标机执行程序的时候,将插桩时预测好的数据返回到宿主机上进行分析,因此,宿主机和目标机之间的数据传输也要认真对待。除此之外,我们需要制定符合系统需求的可靠性...
深入详解DICOM医学影像定位线相关知识:理解定位线的概念、定位线的作用以及定位线显示和计算原理
深入详解DICOM医学影像定位线相关知识:理解定位线的概念、定位线的作用以及定位线显示和计算原理
工具 | 实用的嵌入式软件测试工具
DT10(Dynamic Test Tool DT10 )是一款支持C/C++, C#, Java等多种语言的软件灰盒测试和系统动态跟踪调试工具,利用领先的自动化代码插装和数据采集技术,支持对软件系统的复杂的、偶发的缺陷的回溯调试、性能测试、CPU负载分析、变量监控、逻辑分析、内存使用分析、硬件监测和分析,及覆盖率分析等灰盒测试场景。支持的I/O类型包括:RS232/422/485、1553B、CAN、TCP、UDP、AD、DA、DI、DO、ARINC429等,并可灵活扩展;
Claude Code 学习笔记之一:理解 Agentic Loop 与内置工具
本文介绍了Claude Code这一终端智能助手的工作原理与使用方式。作者从ABAP开发经验出发,指出学习Claude Code的高级用法具有长期价值。文章详细解析了Claude Code的Agentic Loop机制:通过大语言模型进行推理,借助各类工具执行任务,并循环收集上下文、执行操作、验证结果三个步骤。系统阐述了Claude Code支持的五大类工具及其扩展方式,说明了其访问本地资源的范围和自治处理能力,同时介绍了权限模式等安全机制。最后提供了从小任务开始、充分探索、及时引导、使用CLAUDE.md
基于OSEK_TP.dll封装通用,多ECU自由切换的诊断函数库
本文介绍了基于CANoe内置OSEK_TP.dll库实现通用诊断通讯的方法。通过封装CAN_TP.cin顶层脚本,实现了ECU连接管理、数据收发和多ECU切换功能。系统采用字典结构存储ECU参数,支持从配置文件读取诊断ID等配置信息,通过TpCreateConnection建立TP层连接。文章详细说明了诊断请求发送函数Uds_DiagSendRequest的实现逻辑,以及如何利用回调函数处理收发事件。该方法无需依赖诊断数据库,通过底层封装实现了灵活高效的诊断通讯方案,适用于车载诊断领域的测试需求。
分享几款嵌入式软件测试工具
来源 | 软件质量报道也许你陌生,但在智能物联网时代,人们会越来越关注嵌入式软件测试。说起嵌入式软件测试,我们先快速了解一下嵌入式软件自身的特点。嵌入式软件具有实时性、内存空间有限、I/O...
【OpenCV】第二十三章: 图像特征检测之SURF、FAST、BRIEF、OBR算法
4、由于在检测特征点时是需要对图像中所有的像素点进行检测,然而图像中的绝大多数点都不是特征点,如果对每个像素点都进行上述的检测过程,那显然是种浪费,所以FAST采用一种进行非特征点判别的方法:首先对候选点的周围90度的点(1,9,5,13)四个点进行测试,而且是先测试1和9,如果它们两个符合阈值要求再测试5和13。继SIFT和SURF后,大家在特征点检测的速度上又进行了很多的改进尝试,但速度的提升效果都不是非常明显,直到FAST算法诞生,特征点检测的速度才有了一个质的飞跃。无法计算描述符的特征点将被删除。
简单介绍嵌入式软件测试工具及测试内容
简单介绍嵌入式软件测试工具及测试内容 随着科技的不断进步和经济的快速发展,信息技术的飞速发展使得人类进入了数字时代,随之发展起来的嵌入式技术也得到了巨大的发展,并且改变了人们的日常生活。现在我们对嵌入式产品的要求越来越高,这时对嵌入式产品性能起着决定性影响的嵌入式软件测试就显得非常重要了。本文将着重介绍嵌入式软件的测试工具及其测试内容,希望小编的介绍能够加深大家对嵌入式软件测试的了解。
数学建模模型总结
这是本人在两年内准备参加数学建模竞赛搜集到的模型资料,已经经过了本人的筛选和整理,希望能够对准备参加数学建模竞赛的学弟学妹们提供一些帮助!
Statistics and Machine Learning Toolbox
Statistics and Machine Learning Toolbox(带书签),MATLAB统计学习工具
嵌入式软件常用测试工具
以上测试工具和方法在嵌入式软件测试中各有侧重,结合使用可以更有效地提高嵌入式软件的质量和可靠性。
pscad IEEE标准系统搭建说明
pscad IEEE标准系统搭建说明,包含典型的IEEE 9节点、14节点、30节点、39节点和118节点系统。内含标准测试系统的原始数据和潮流结果。
复杂嵌入式软件测试工具ETestDev简要介绍
嵌入式软件测试工具ETestDev简要介绍_哔哩哔哩_bilibili
1568

被折叠的 条评论
为什么被折叠?



