期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
嵌入式软件虚拟化测试技术标准框架研究
被引量：
12
1
作者
曲明成
崔乃刚
+1 位作者
吴翔虎
陶永超
《哈尔滨工业大学学报》
EI
CAS
CSCD
北大核心
2017年第5期49-55,121,共8页
针对嵌入式系统硬件平台采用纯软件仿真并对嵌入式软件进行功能级测试的相关研究存在较多不足,缺乏整体、统一、灵活、标准的仿真部件间接口,致使不同体系、类型的处理器仿真核与各类外设间较难进行快速、直接的整合与交互、导致缺乏系...
针对嵌入式系统硬件平台采用纯软件仿真并对嵌入式软件进行功能级测试的相关研究存在较多不足,缺乏整体、统一、灵活、标准的仿真部件间接口,致使不同体系、类型的处理器仿真核与各类外设间较难进行快速、直接的整合与交互、导致缺乏系统级可配置能力、各类仿真核与调试器(GDB)间不能进行直接、有效地互联和交互,从而无法达到可定制、组件化的系统级仿真及虚拟测试环境快速搭建目标.基于组件化思想,提出一套处理器仿真、外设仿真和调试器(GDB)三者间可进行直接、快速交互的标准结构、标准接口和基本处理逻辑,优化和删减了GDB层次,扩充了新功能,使之在运行时可动态加载、支持多种仿真处理器体系.研发了虚拟测试系统,验证了所提方法、结构、接口的有效性和正确性,与其他同类技术、项目进行了综合能力比较.结果表明本文所提方法、技术具有较多优势.
展开更多
关键词
嵌入式软件测试
虚拟
目标
机
虚拟
测试系统
下载PDF
职称材料
基于虚拟化技术的卫星控制系统软件构件库运行监控与可信验证技术
2
作者
沈怡颹
张程
+2 位作者
何益康
林荣峰
朱晏庆
《计算机测量与控制》
2019年第8期125-129,共5页
动态系统建模工具可以按照设定的仿真步长对控制器的行为动态模拟,也可以在仿真环境下模拟控制器所在的系统架构和动态数据交互,因此传统的卫星控制系统方案设计时一般采用在同一模型建模体系进行,并进行相应的控制算法设计;但是由于动...
动态系统建模工具可以按照设定的仿真步长对控制器的行为动态模拟,也可以在仿真环境下模拟控制器所在的系统架构和动态数据交互,因此传统的卫星控制系统方案设计时一般采用在同一模型建模体系进行,并进行相应的控制算法设计;但是由于动态系统建模工具其自身的时钟步长和数据流处理逻辑,不能完全模拟目标机的内部ALU逻辑和真实外围设备工作行为,可能与真实物理环境要求的系统有一定的出入,造成对承载卫星控制器功能的目标机CPU处理系统存在一定程度的失真,影响仿真效果;提出了一种基于虚拟化技术的卫星控制系统软件构件库可信验证技术,使用虚拟化技术实现对真实物理目标机功能的完全模拟,运用软件非干涉运行监控技术,获取可信的开发证据和应用证据,利用协同仿真组件和卫星控制系统方案设计的控制算法模型对各个软件构件进行动态同步仿真验证。
展开更多
关键词
虚拟
目标
机
动态系统建模工具
协同仿真
软件非干涉运行监控技术
下载PDF
职称材料
题名
嵌入式软件虚拟化测试技术标准框架研究
被引量：
12
1
作者
曲明成
崔乃刚
吴翔虎
陶永超
机构
哈尔滨工业大学计算机科学与技术学院
哈尔滨工业大学航空宇航科学与技术博士后流动站
出处
《哈尔滨工业大学学报》
EI
CAS
CSCD
北大核心
2017年第5期49-55,121,共8页
基金
国家自然科学基金(61402131)
中国博士后科学基金(2014M551245)
+2 种基金
黑龙江省博士后科学基金(LBH-Z13105)
中央高校基本科研业务费专项资金(HIT.NSRIF.201651)
中国博士后基金(2016T90293)
文摘
针对嵌入式系统硬件平台采用纯软件仿真并对嵌入式软件进行功能级测试的相关研究存在较多不足,缺乏整体、统一、灵活、标准的仿真部件间接口,致使不同体系、类型的处理器仿真核与各类外设间较难进行快速、直接的整合与交互、导致缺乏系统级可配置能力、各类仿真核与调试器(GDB)间不能进行直接、有效地互联和交互,从而无法达到可定制、组件化的系统级仿真及虚拟测试环境快速搭建目标.基于组件化思想,提出一套处理器仿真、外设仿真和调试器(GDB)三者间可进行直接、快速交互的标准结构、标准接口和基本处理逻辑,优化和删减了GDB层次,扩充了新功能,使之在运行时可动态加载、支持多种仿真处理器体系.研发了虚拟测试系统,验证了所提方法、结构、接口的有效性和正确性,与其他同类技术、项目进行了综合能力比较.结果表明本文所提方法、技术具有较多优势.
关键词
嵌入式软件测试
虚拟
目标
机
虚拟
测试系统
Keywords
embedded software testing
virtual target machine
virtual test system
分类号
TP337 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于虚拟化技术的卫星控制系统软件构件库运行监控与可信验证技术
2
作者
沈怡颹
张程
何益康
林荣峰
朱晏庆
机构
上海航天控制技术研究所
上海市空间智能控制技术重点实验室
出处
《计算机测量与控制》
2019年第8期125-129,共5页
文摘
动态系统建模工具可以按照设定的仿真步长对控制器的行为动态模拟,也可以在仿真环境下模拟控制器所在的系统架构和动态数据交互,因此传统的卫星控制系统方案设计时一般采用在同一模型建模体系进行,并进行相应的控制算法设计;但是由于动态系统建模工具其自身的时钟步长和数据流处理逻辑,不能完全模拟目标机的内部ALU逻辑和真实外围设备工作行为,可能与真实物理环境要求的系统有一定的出入,造成对承载卫星控制器功能的目标机CPU处理系统存在一定程度的失真,影响仿真效果;提出了一种基于虚拟化技术的卫星控制系统软件构件库可信验证技术,使用虚拟化技术实现对真实物理目标机功能的完全模拟,运用软件非干涉运行监控技术,获取可信的开发证据和应用证据,利用协同仿真组件和卫星控制系统方案设计的控制算法模型对各个软件构件进行动态同步仿真验证。
关键词
虚拟
目标
机
动态系统建模工具
协同仿真
软件非干涉运行监控技术
Keywords
Virtualization target machine
dynamic system model-construction tool
synchronous simulation
Ssoftware non-interference operation monitoring
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
嵌入式软件虚拟化测试技术标准框架研究
曲明成
崔乃刚
吴翔虎
陶永超
《哈尔滨工业大学学报》
EI
CAS
CSCD
北大核心
2017
12
下载PDF
职称材料
2
基于虚拟化技术的卫星控制系统软件构件库运行监控与可信验证技术
沈怡颹
张程
何益康
林荣峰
朱晏庆
《计算机测量与控制》
2019
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
