期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Codecomb:基于符号执行的嵌入式软件测试案例自动生成与缺陷检测
被引量：
10
1
作者
郭文生
汪勇
+1 位作者
杨霞
高敏
《小型微型计算机系统》
CSCD
北大核心
2017年第6期1250-1255,共6页
嵌入式系统在生活、工业以及军事等领域的应用日益增多,嵌入式软件的可靠性要求也越来越高.设计一套嵌入式系统的测试工具,全面深入地对嵌入式系统可靠性进行检测对系统可靠性的提高具有极其重要的意义.设计的工具Codecomb通过采用客户...
嵌入式系统在生活、工业以及军事等领域的应用日益增多,嵌入式软件的可靠性要求也越来越高.设计一套嵌入式系统的测试工具,全面深入地对嵌入式系统可靠性进行检测对系统可靠性的提高具有极其重要的意义.设计的工具Codecomb通过采用客户端和服务器端架构实现被测软件与测试工具的分离,将复杂的测试计算转移到服务器上,同时分离的测试架构可以更好的适用于不同嵌入式平台软件的测试.采用动态符号执行技术生成测试案例可以实现较高的分支覆盖度,进而针对程序的缺陷检查也会更加全面和深入,能够发现程序中隐藏较深的错误.实验结果表明,本文所设计的工具能够实现软件缺陷的自动化判定,并对程序运行过程中的缓冲区溢出、内存泄漏等错误准确地进行定位.
展开更多
关键词
嵌入式软件测试
插桩
动态符号执行
测试案例生成
缺陷检测
在线阅读
下载PDF
职称材料
FDTD-Diakoptics算法中的时域模技术
2
作者
苏东林
吕善伟
+1 位作者
张其善
Tatsuo Itoh
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2000年第3期286-289,共4页
通过采用时域模技术 ,FDTD Diakoptics算法可以用来有效准确地分析复杂的微波集成电路 .根据电路的几何结构选定时域模函数 ,以该时域模函数为基础 ,建立微波电路的多模电路模型 ,使用全波时域分析方法求解多模电路对应于各个时域模的...
通过采用时域模技术 ,FDTD Diakoptics算法可以用来有效准确地分析复杂的微波集成电路 .根据电路的几何结构选定时域模函数 ,以该时域模函数为基础 ,建立微波电路的多模电路模型 ,使用全波时域分析方法求解多模电路对应于各个时域模的时域响应 ,使用傅里叶变换技术计算时域模函数的冲击响应 ,从而进一步得到多端口网络模型 ,使用FDTD Diakoptics算法对微波电路进行分析 .讨论了全波时域方法求解时域模函数时域响应时激励函数的选取原则 ,讨论了用傅里叶反变换求解时域模函数冲击响应时频带宽度的选取问题 .最后本方法被应用于波导滤波器的分析设计 .
展开更多
关键词
微波电路
时域分析
并行处理
有限时域差分
在线阅读
下载PDF
职称材料
题名
Codecomb:基于符号执行的嵌入式软件测试案例自动生成与缺陷检测
被引量：
10
1
作者
郭文生
汪勇
杨霞
高敏
机构
电子
科技
大学
信息与软件
工程
学院
美国加州大学洛杉矶分校电子工程系
出处
《小型微型计算机系统》
CSCD
北大核心
2017年第6期1250-1255,共6页
基金
国家自然科学基金项目(61272175
61572109)资助
中央高校基本业务费(ZYGX2015J066)资助
文摘
嵌入式系统在生活、工业以及军事等领域的应用日益增多,嵌入式软件的可靠性要求也越来越高.设计一套嵌入式系统的测试工具,全面深入地对嵌入式系统可靠性进行检测对系统可靠性的提高具有极其重要的意义.设计的工具Codecomb通过采用客户端和服务器端架构实现被测软件与测试工具的分离,将复杂的测试计算转移到服务器上,同时分离的测试架构可以更好的适用于不同嵌入式平台软件的测试.采用动态符号执行技术生成测试案例可以实现较高的分支覆盖度,进而针对程序的缺陷检查也会更加全面和深入,能够发现程序中隐藏较深的错误.实验结果表明,本文所设计的工具能够实现软件缺陷的自动化判定,并对程序运行过程中的缓冲区溢出、内存泄漏等错误准确地进行定位.
关键词
嵌入式软件测试
插桩
动态符号执行
测试案例生成
缺陷检测
Keywords
embedded software testing
instrumentation
dynamic symbolic execution
test case generation
defect detecting
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
FDTD-Diakoptics算法中的时域模技术
2
作者
苏东林
吕善伟
张其善
Tatsuo Itoh
机构
北京航空航天
大学
电子
工程
系
美国加州大学洛杉矶分校电子工程系
出处
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2000年第3期286-289,共4页
文摘
通过采用时域模技术 ,FDTD Diakoptics算法可以用来有效准确地分析复杂的微波集成电路 .根据电路的几何结构选定时域模函数 ,以该时域模函数为基础 ,建立微波电路的多模电路模型 ,使用全波时域分析方法求解多模电路对应于各个时域模的时域响应 ,使用傅里叶变换技术计算时域模函数的冲击响应 ,从而进一步得到多端口网络模型 ,使用FDTD Diakoptics算法对微波电路进行分析 .讨论了全波时域方法求解时域模函数时域响应时激励函数的选取原则 ,讨论了用傅里叶反变换求解时域模函数冲击响应时频带宽度的选取问题 .最后本方法被应用于波导滤波器的分析设计 .
关键词
微波电路
时域分析
并行处理
有限时域差分
Keywords
microwave circuits
time domain analysis
parallel processing
FDTD
Diakoptics
分类号
TN702 [电子电信—电路与系统]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Codecomb:基于符号执行的嵌入式软件测试案例自动生成与缺陷检测
郭文生
汪勇
杨霞
高敏
《小型微型计算机系统》
CSCD
北大核心
2017
10
在线阅读
下载PDF
职称材料
2
FDTD-Diakoptics算法中的时域模技术
苏东林
吕善伟
张其善
Tatsuo Itoh
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2000
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
