期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于接口自动机与符号执行的嵌入式软件测试用例生成
被引量:
8
1
作者
王博
白晓颖
+2 位作者
张超
贺飞
SONG Xiao-Yu
《计算机学报》
EI
CSCD
北大核心
2015年第11期2125-2144,共20页
随着嵌入式软件规模、复杂度的持续增长,基于构件的设计技术已在大规模嵌入式系统开发中得到广泛应用.嵌入式构件测试是保证构件质量以及构件间集成构造的重要手段.基于模型的测试是嵌入式软件测试的重要方法,通过基础模型描述系统预期...
随着嵌入式软件规模、复杂度的持续增长,基于构件的设计技术已在大规模嵌入式系统开发中得到广泛应用.嵌入式构件测试是保证构件质量以及构件间集成构造的重要手段.基于模型的测试是嵌入式软件测试的重要方法,通过基础模型描述系统预期的行为特性,以提供用例生成的基础.文中针对嵌入式软件构件,提出建立构件扩展语义接口自动机模型(Extended Semantic Interface Automata,ESIA),通过对接口自动机模型进行变量、约束条件等扩展,支持构件行为特性的描述与理解.以ESIA为基础模型,提出了基于符号执行的ESIA-Symbolic测试用例生成方法,通过搜索有效的事件/数据序列,设计相关测试用例与测试场景.实验以高速列车车载通信系统软件为例进行建模与测试生成,并在测试覆盖率、效率、有效性等方面与相关测试生成方法进行了对比.
展开更多
关键词
扩展语义接口自动机
符号执行
测试用例生成
下载PDF
职称材料
包含协议和语义的构件一致性验证方法
被引量:
1
2
作者
黄可望
李雪
朱嘉钢
《计算机应用研究》
CSCD
北大核心
2017年第7期2038-2044,共7页
在基于构件的系统设计中,需要对构件的一致性进行验证。构件的一致性包括语义一致性和协议一致性,已有的一致性验证方法仅支持构件的协议一致性验证。而在实际应用中除了要进行构件的协议一致性验证外,还需要进行其语义一致性验证。为...
在基于构件的系统设计中,需要对构件的一致性进行验证。构件的一致性包括语义一致性和协议一致性,已有的一致性验证方法仅支持构件的协议一致性验证。而在实际应用中除了要进行构件的协议一致性验证外,还需要进行其语义一致性验证。为此提出了一种包含协议和语义的构件一致性验证方法。将方法语义与基于场景的需求规约相结合,使用语义扩展接口自动机模型(SIA)来建模构件的语义和协议信息,使用带有语义约束的UML交互概观图来表示基于场景的需求规约。通过对SIA和带语义约束的UML交互概观图的行为的理论分析,进一步形成了一种一致性验证算法,并用实例来说明其过程。算法不仅能够检验系统中构件的协议一致性,而且能够检验其语义一致性。该算法中的方法语义包括了该方法参数的类型和详细语义信息,更符合实际应用情形。
展开更多
关键词
构件式设计
方法语义
语义扩展接口自动机
一致性
带语义约束的交互概观图
下载PDF
职称材料
题名
基于接口自动机与符号执行的嵌入式软件测试用例生成
被引量:
8
1
作者
王博
白晓颖
张超
贺飞
SONG Xiao-Yu
机构
清华大学计算机科学与技术系
清华大学信息科学与技术国家实验室
清华大学软件学院
波特兰州立大学Maseeh电气与计算机工程学院
出处
《计算机学报》
EI
CSCD
北大核心
2015年第11期2125-2144,共20页
基金
国家自然科学基金(91218302
61472197)
+2 种基金
国家"九七三"重点基础研究发展规划项目基金(2011CB302505)
国家"八六三"高技术研究发展计划项目基金(2013AA01A215)
北京市自然科学基金(4132062)资助~~
文摘
随着嵌入式软件规模、复杂度的持续增长,基于构件的设计技术已在大规模嵌入式系统开发中得到广泛应用.嵌入式构件测试是保证构件质量以及构件间集成构造的重要手段.基于模型的测试是嵌入式软件测试的重要方法,通过基础模型描述系统预期的行为特性,以提供用例生成的基础.文中针对嵌入式软件构件,提出建立构件扩展语义接口自动机模型(Extended Semantic Interface Automata,ESIA),通过对接口自动机模型进行变量、约束条件等扩展,支持构件行为特性的描述与理解.以ESIA为基础模型,提出了基于符号执行的ESIA-Symbolic测试用例生成方法,通过搜索有效的事件/数据序列,设计相关测试用例与测试场景.实验以高速列车车载通信系统软件为例进行建模与测试生成,并在测试覆盖率、效率、有效性等方面与相关测试生成方法进行了对比.
关键词
扩展语义接口自动机
符号执行
测试用例生成
Keywords
extended
semantic
interface
automata
symbolic execution
test case generation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
包含协议和语义的构件一致性验证方法
被引量:
1
2
作者
黄可望
李雪
朱嘉钢
机构
无锡职业技术学院物联网技术学院
江南大学物联网工程学院
出处
《计算机应用研究》
CSCD
北大核心
2017年第7期2038-2044,共7页
基金
江苏省产学研联创项目(BY2013015-40)
文摘
在基于构件的系统设计中,需要对构件的一致性进行验证。构件的一致性包括语义一致性和协议一致性,已有的一致性验证方法仅支持构件的协议一致性验证。而在实际应用中除了要进行构件的协议一致性验证外,还需要进行其语义一致性验证。为此提出了一种包含协议和语义的构件一致性验证方法。将方法语义与基于场景的需求规约相结合,使用语义扩展接口自动机模型(SIA)来建模构件的语义和协议信息,使用带有语义约束的UML交互概观图来表示基于场景的需求规约。通过对SIA和带语义约束的UML交互概观图的行为的理论分析,进一步形成了一种一致性验证算法,并用实例来说明其过程。算法不仅能够检验系统中构件的协议一致性,而且能够检验其语义一致性。该算法中的方法语义包括了该方法参数的类型和详细语义信息,更符合实际应用情形。
关键词
构件式设计
方法语义
语义扩展接口自动机
一致性
带语义约束的交互概观图
Keywords
component-based design
method
semantic
s
semantic extended interface automata(sia)
consistency
interaction overview diagram with
semantic
s constrains
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于接口自动机与符号执行的嵌入式软件测试用例生成
王博
白晓颖
张超
贺飞
SONG Xiao-Yu
《计算机学报》
EI
CSCD
北大核心
2015
8
下载PDF
职称材料
2
包含协议和语义的构件一致性验证方法
黄可望
李雪
朱嘉钢
《计算机应用研究》
CSCD
北大核心
2017
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部