测控软件数据接口测试与典型缺陷分析 被引量：8

1

作者 漆莲芝 周昱瑶 +2 位作者 张谊 颜运强 陈泉根 《测控技术》 CSCD 2017年第9期109-113,共5页

为提升软件测试效率与加强测试质量,考虑装备软件数据接口功能多变、任务复杂的特点,提取装备测控软件数据处理接口共性,分析测试与控制参数以及数据通信接口数据帧结构、内容与特点,并以此为基础构造数据处理接口测试模式,提出对应的... 为提升软件测试效率与加强测试质量,考虑装备软件数据接口功能多变、任务复杂的特点,提取装备测控软件数据处理接口共性,分析测试与控制参数以及数据通信接口数据帧结构、内容与特点,并以此为基础构造数据处理接口测试模式,提出对应的测试策略。通过这种办法更科学系统地指导针对数据输入/输出接口、人机交互接口及数据文件接口测试用例的设计。将所述测试方法应用于某装备测控软件数据处理接口测试,能有效发现软件缺陷,提升装备软件质量。 展开更多

关键词 测控软件 数据处理接口 软件接口测试 测试用例设计

下载PDF 职称材料

基于Actor模型的软总线设计 被引量：6

2

作者 李春雷 高峰 颜运强 《计算机工程》 CAS CSCD 北大核心 2019年第5期77-83,共7页

为提高网络化嵌入式系统的安全性与可靠性,提出一种基于Actor模型的软总线设计方法,以解决分布式全数字仿真测试中系统及组件间的通信问题。采用以Actor模型为中心的发布/订阅机制,实现分布式节点之间的同步、异步通信。在此基础上,提... 为提高网络化嵌入式系统的安全性与可靠性,提出一种基于Actor模型的软总线设计方法,以解决分布式全数字仿真测试中系统及组件间的通信问题。采用以Actor模型为中心的发布/订阅机制,实现分布式节点之间的同步、异步通信。在此基础上,提出一种基于线程池技术的任务调度方法,实现Actor模型的协同工作,并通过规则链表进行Actor消息的处理及转发。实验结果表明,与HLA、OpenDDS总线相比,在大数据量并发处理的情况下,该软总线程序执行效率提升30%以上,能够满足网络化嵌入式系统测试对实时性与并发性的需求。 展开更多

关键词 网络化嵌入式系统 Actor模型 分布式全数字仿真 强实时性 并发性

下载PDF 职称材料

基于振弦传感器的应变无线测量系统设计 被引量：6

3

作者 邓霏 颜运强 张谊 《传感器与微系统》 CSCD 2015年第2期103-105,共3页

针对传统振弦式应变测量手段的缺点与不足,设计了一种基于振弦式传感器的应变无线测量系统。整个系统通过ARM来控制,并通过通用分组无线业务(GPRS)网络组成无线通信网络,实现了完全无人值守测量和系统的远程控制以及数据的无线传输。系... 针对传统振弦式应变测量手段的缺点与不足,设计了一种基于振弦式传感器的应变无线测量系统。整个系统通过ARM来控制,并通过通用分组无线业务(GPRS)网络组成无线通信网络,实现了完全无人值守测量和系统的远程控制以及数据的无线传输。系统采样太阳能供电,可以更好地适应现场和野外试验不方便布线和取电的场合;系统具有大容量数据存储能力,无线传输数据的能力,具有高可靠性、高精度、适应性强、低成本等诸多优点,该测量系统使用方便,功能强大,智能化,必将有良好的应用前景。 展开更多

关键词 振弦 应变 无线 通用分组无线业务 STM32

下载PDF 职称材料

模型驱动的嵌入式系统测试脚本生成方法研究与实现 被引量：5

4

作者 黄松 陈明宇 +1 位作者 颜运强 白云祥 《测控技术》 2020年第6期34-40,共7页

自动化测试通过机器运行事先准备好的测试脚本进行测试,提升了软件测试效率。然而,测试脚本存在着编写专业性强、调试工作量大、维护成本高、难以复用等问题,成为自动化测试技术难以广泛使用的主要技术瓶颈。以嵌入式系统为测试对象,提... 自动化测试通过机器运行事先准备好的测试脚本进行测试,提升了软件测试效率。然而,测试脚本存在着编写专业性强、调试工作量大、维护成本高、难以复用等问题,成为自动化测试技术难以广泛使用的主要技术瓶颈。以嵌入式系统为测试对象,提出了模型驱动的测试脚本生成方法。该方法根据BPMN2.0建模标准对测试业务流程进行可视化建模;采用路径深度覆盖算法生成测试路径,根据路径上的约束条件生成测试输入参数;通过自定义的测试动作原语将测试路径和输入参数转化为可在嵌入式系统测试平台ETest上自动执行的测试脚本。实现的原型系统支持嵌入式系统的配置项级和系统级的测试脚本生成,提高了测试工具的易用性和测试模型及脚本的可理解性、可复用性和可维护性。 展开更多

关键词 测试脚本生成 业务流程建模 嵌入式软件测试 模型驱动的测试

下载PDF 职称材料

嵌入式软件全数字仿真测试技术研究与应用 被引量：3

5

作者 颜运强 刘志 +1 位作者 高峰 陈泉根 《西南科技大学学报》 CAS 2013年第3期73-76,共4页

介绍了基于MCS51的全数字软件仿真测试关键技术,包括指令集仿真、外部接口仿真、测试激励注入、软件运行时信息获取,即采用编译/解释混合型指令集仿真、以函数指针调用技术实现测试用例触发式注入、主/被动测试激励注入、基于bitmap技... 介绍了基于MCS51的全数字软件仿真测试关键技术,包括指令集仿真、外部接口仿真、测试激励注入、软件运行时信息获取,即采用编译/解释混合型指令集仿真、以函数指针调用技术实现测试用例触发式注入、主/被动测试激励注入、基于bitmap技术的软件运行时信息采集。该技术已应用于多个嵌入式测控系统软件的测试环境搭建。 展开更多

关键词 全数字仿真 软件测试 测试环境 bitmap技术

下载PDF 职称材料

基于QEMU的动态二进制插桩技术 被引量：3

6

作者 邹伟 高峰 颜运强 《计算机研究与发展》 EI CSCD 北大核心 2019年第4期730-741,共12页

软件插桩是程序优化、软件调试、软件测试、故障定位等软件动态分析的基础技术.而其中,动态二进制插桩技术,因其无侵入性,即既不需要对源代码进行修改编译,又不需要重新组装二进制程序,不会引起目标码膨胀,而广泛应用于软件动态分析,特... 软件插桩是程序优化、软件调试、软件测试、故障定位等软件动态分析的基础技术.而其中,动态二进制插桩技术,因其无侵入性,即既不需要对源代码进行修改编译,又不需要重新组装二进制程序,不会引起目标码膨胀,而广泛应用于软件动态分析,特别是在资源受限、功耗低、实时性高的嵌入式软件领域,动态二进制插桩技术十分关键.然而,现有的二进制插桩工具仅能应用于用户态软件分析,在嵌入式全系统软件领域,还没有相应的二进制插桩工具.针对上述问题,在基于动态二进制翻译的开源指令集仿真器QEMU(quick emulator)基础上,研究突破基本块运行时间统计收集,并消除中断对嵌入式系统软件控制流分析的不良影响,实现了在中间码上对嵌入式全系统软件的动态二进制插桩,完成嵌入式全系统软件运行控制流跟踪,并开发日志处理工具.实验表明,该方法能完成目标码的调用图、函数剖面、覆盖率、控制流等分析,可以解决了嵌入式全系统软件动态二进制分析问题. 展开更多

关键词 动态分析 动态二进制插桩 QEMU 二进制目标码 软件测试

下载PDF 职称材料

关键嵌入式软件全生命周期质量控制设想 被引量：2

7

作者 颜运强 漆莲芝 陈泉根 《南通大学学报（自然科学版）》 CAS 2016年第4期34-37,共4页

随着数字化芯片以及软件技术的发展,软件越来越广泛地被用在智能化装备中,而且功能占比越来越大,软件失效将带来重大损失,这对软件的可信性提出了更高的要求.基于自然语言文档传递软件信息的传统软件开发模式,详细分析了在提升软件可信... 随着数字化芯片以及软件技术的发展,软件越来越广泛地被用在智能化装备中,而且功能占比越来越大,软件失效将带来重大损失,这对软件的可信性提出了更高的要求.基于自然语言文档传递软件信息的传统软件开发模式,详细分析了在提升软件可信性方面存在的瓶颈问题,提出了基于模型的软件开发的Y模型,该新模式将软件需求分析与设计融合,引入形式化验证手段,在全生命周期开展形式化验证和仿真验证,确保软件可信. 展开更多

关键词 嵌入式软件 全生命周期 质量控制 形式化验证 仿真验证

下载PDF 职称材料

VHDL元件的Simulink/Modelsim功能测试方法 被引量：1

8

作者 颜运强 吕高焕 《信息与电子工程》 2009年第4期342-345,共4页

由于VHDL语言注重硬件行为描述,VHDL程序的测试方法与传统高级设计语言程序和汇编语言程序的测试方法不同。VHDL程序测试向量的自动生成方法和覆盖率测试是其功能测试中的难点。基于Matlab/Simulink的方法,将VHDL程序作为整个模型系统... 由于VHDL语言注重硬件行为描述,VHDL程序的测试方法与传统高级设计语言程序和汇编语言程序的测试方法不同。VHDL程序测试向量的自动生成方法和覆盖率测试是其功能测试中的难点。基于Matlab/Simulink的方法,将VHDL程序作为整个模型系统中的一个元件来考察,就其硬件环境进行建模,和Modelsim进行协同仿真。该方法简化了测试流程,无需采用复杂的testbench编写方法,提高了测试的完整性。 展开更多

关键词 协同仿真 VHDL组件 模型 测试

下载PDF 职称材料

一种面向第三方测试的装备软件可信性评估方法 被引量：1

9

作者 郭兴林 周昱瑶 +3 位作者 漆莲芝 孙振晓 张谊 颜运强 《科学技术与工程》 北大核心 2020年第11期4417-4424,共8页

软件可信性评估是保障装备软件可信的重要手段。针对传统可信评估方法评估模型领域行业适应性差、模型构建科学性和规范性不足、提供的可信信息匮乏等问题,提出一种面向第三方测试的装备软件可信性评估方法。首先建立基于多维属性的软... 软件可信性评估是保障装备软件可信的重要手段。针对传统可信评估方法评估模型领域行业适应性差、模型构建科学性和规范性不足、提供的可信信息匮乏等问题,提出一种面向第三方测试的装备软件可信性评估方法。首先建立基于多维属性的软件可信性评估模型,为保证模型输入的一致性和规范性,采用统一的可信证据分析度量方法对评估模型进行约束;然后采用基于公理证明的可信融合算法对可信数据进行融合;最后根据评估过程和结果信息深入开展可信性分析,挖掘更多的软件可信信息,生成可信性增强策略和规范。应用结果表明,该方法科学性、规范性较强,评估结果准确性较高,能够有效促进装备软件可信性的提升。 展开更多

关键词 第三方测试 可信性评估 多维属性 可信证据 可信性分析

下载PDF 职称材料

1553B接口仿真测试系统设计及典型软件缺陷分析 被引量：1

10

作者 张军 杨柯 +1 位作者 颜运强 漆莲芝 《测控技术》 CSCD 2016年第2期115-117,120,共4页

介绍了一种1553B接口仿真测试软件硬件设计方案,详细介绍了自动化测试引擎设计以及Lua脚本语言的测试流程设计,并以某装备软件1553B通信接口测试中发现的一些具有代表性的接口问题为例,对1553B软件接口测试典型案例的测试设计、测试结... 介绍了一种1553B接口仿真测试软件硬件设计方案,详细介绍了自动化测试引擎设计以及Lua脚本语言的测试流程设计,并以某装备软件1553B通信接口测试中发现的一些具有代表性的接口问题为例,对1553B软件接口测试典型案例的测试设计、测试结果进行了较为详细的描述,介绍了如何设计有效的软件测试用例,高效地发现通信软件的设计缺陷和程序问题,提升了软件的质量。 展开更多

关键词 计算机软件 软件测试 接口测试 通信

下载PDF 职称材料

不锈钢管自动停机装料冷轧管机的研发 被引量：2

11

作者 方健 颜运强 《机械制造》 2015年第3期5-8,共4页

自主开发了不锈钢自动停机装料冷轧管机,采用冷轧机的坯管自动测长上料装置,可在上料阶段自动测量坯管长度,通过PLC控制停机、装料、轧制、管坯内壁注入润滑油,实现了轧制过程的全自动化,可提高生产效率20%以上。同时改变传统轧机一人... 自主开发了不锈钢自动停机装料冷轧管机,采用冷轧机的坯管自动测长上料装置,可在上料阶段自动测量坯管长度,通过PLC控制停机、装料、轧制、管坯内壁注入润滑油,实现了轧制过程的全自动化,可提高生产效率20%以上。同时改变传统轧机一人一台的传统操作模式,实现一个工人操作6台以上冷轧机,节省人工成本70%以上。 展开更多

关键词 不锈钢 自动停机装料 冷轧管机 自动测长

下载PDF 职称材料

容错性指令分析与处理技术

12

作者 颜运强 《中国工程物理研究院科技年报》 2004年第1期345-346,共2页

指令分析是指令处理的基础，其设计直接关系到整个系统性能的可靠性，为了处理复杂的指令情况（单字节指令、多字节指令、带数据指令、不带数据指令、指令序列、一对一指令、一对多指令），必须选取合适的数据结构和算法，使用指令树分... 指令分析是指令处理的基础，其设计直接关系到整个系统性能的可靠性，为了处理复杂的指令情况（单字节指令、多字节指令、带数据指令、不带数据指令、指令序列、一对一指令、一对多指令），必须选取合适的数据结构和算法，使用指令树分析法便可达到此种目的，在指令分析时使用多线程技术，并加入超时处理以增强系统的健壮性。 展开更多

关键词 多线程技术 指令 容错性 系统性能 数据结构 可靠性 单字节 多字节

下载PDF 职称材料

应用程序显示器分辨率自适应的一种实现方法

13

作者 颜运强 邹居文 《电子技术参考》 2000年第3期55-62,68,共9页

主要介绍了利用ＰｏｗｅｒＢｕｉｌｄｅｒ强大的“继承”能力来实现程序对显示器分辨率的自适应能力。

关键词 数据库 应用程序 PB 显示器分辨率

下载PDF 职称材料