期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种软件体系结构测试序列生成方法
1
作者
孔庆彦
伦立军
+1 位作者
刘永纯
宋益波
《小型微型计算机系统》
CSCD
北大核心
2009年第4期628-631,共4页
软件体系结构在软件开发过程中至关重要,其中任何微小错误都会给软件开发及后期维护带来很大麻烦.本文提出一种软件体系结构测试序列生成方法,首先用化学抽象机描述体系结构,然后生成相应的反应规则依赖图RDG,再根据定义的测试覆盖准则...
软件体系结构在软件开发过程中至关重要,其中任何微小错误都会给软件开发及后期维护带来很大麻烦.本文提出一种软件体系结构测试序列生成方法,首先用化学抽象机描述体系结构,然后生成相应的反应规则依赖图RDG,再根据定义的测试覆盖准则及测试序列生成算法,产生软件体系结构测试序列,最后以客户机/服务器体系结构实例说明了导出RDG及生成测试序列的过程.
展开更多
关键词
软件
体系
结构
测试
化学抽象机
反应规则依赖图
测试
序列
在线阅读
下载PDF
职称材料
基于π演算的软件体系结构测试技术
2
作者
许慧
伦立军
《计算机工程》
CAS
CSCD
北大核心
2009年第13期55-57,共3页
针对目前体系结构描述语言对描述软件系统行为方面的不足而难以生成实时测试路径的问题,提出一种基于π演算的软件体系结构测试方法,该方法包括π演算与Petri网结合、构造体系结构模型及测试路径生成算法。实验证明,该算法能够根据测试...
针对目前体系结构描述语言对描述软件系统行为方面的不足而难以生成实时测试路径的问题,提出一种基于π演算的软件体系结构测试方法,该方法包括π演算与Petri网结合、构造体系结构模型及测试路径生成算法。实验证明,该算法能够根据测试覆盖准则生成相应的测试路径,实现体系结构模型的动态性和测试技术的有效性。
展开更多
关键词
软件
体系
结构
测试
Π演算
测试
准则
测试
路径
在线阅读
下载PDF
职称材料
基于ASPICE及ISO26262的软件测试技术研究
被引量：
6
3
作者
王丽娟
刘全周
+2 位作者
晏江华
刘铁山
王通
《中国测试》
CAS
北大核心
2020年第S01期139-143,共5页
为保证软件质量,规范软件测试环节,避免软件缺陷给企业带来的经济及名誉等方面的损失,该文基于ASPICE及ISO26262对软件测试的要求,从测试流程定义、测试监督及管理、测试策略制定、测试案例设计、测试开发及管理工具链选择、硬件在环测...
为保证软件质量,规范软件测试环节,避免软件缺陷给企业带来的经济及名誉等方面的损失,该文基于ASPICE及ISO26262对软件测试的要求,从测试流程定义、测试监督及管理、测试策略制定、测试案例设计、测试开发及管理工具链选择、硬件在环测试环境搭建等方面对汽车电子软件产品的软件单元验证、软件集成与集成测试、软件合格性测试的开展进行了研究和实践。基于研究和实践,该文提出一套汽车电子软件测试体系,为企业汽车电子软件测试验证提供参考。实践表明,该文提出的测试体系,不仅满足ASPICE及ISO26262的要求,而且可提高软件测试开发及管理效率、保证汽车电子软件产品质量。
展开更多
关键词
汽车电子
软件测试体系
ASPICE
ISO26262
在线阅读
下载PDF
职称材料
题名
一种软件体系结构测试序列生成方法
1
作者
孔庆彦
伦立军
刘永纯
宋益波
机构
哈尔滨商业大学计算机与信息工程学院
哈尔滨师范大学计算机科学与信息工程学院
哈尔滨工业大学计算机科学与技术学院
出处
《小型微型计算机系统》
CSCD
北大核心
2009年第4期628-631,共4页
基金
黑龙江省教育厅科技项目(10541098)资助
文摘
软件体系结构在软件开发过程中至关重要,其中任何微小错误都会给软件开发及后期维护带来很大麻烦.本文提出一种软件体系结构测试序列生成方法,首先用化学抽象机描述体系结构,然后生成相应的反应规则依赖图RDG,再根据定义的测试覆盖准则及测试序列生成算法,产生软件体系结构测试序列,最后以客户机/服务器体系结构实例说明了导出RDG及生成测试序列的过程.
关键词
软件
体系
结构
测试
化学抽象机
反应规则依赖图
测试
序列
Keywords
software architecture testing
CHAM
RDG
test sequences
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于π演算的软件体系结构测试技术
2
作者
许慧
伦立军
机构
哈尔滨师范大学计算机科学系
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第13期55-57,共3页
基金
黑龙江省教育厅科技基金资助项目(10541098)
文摘
针对目前体系结构描述语言对描述软件系统行为方面的不足而难以生成实时测试路径的问题,提出一种基于π演算的软件体系结构测试方法,该方法包括π演算与Petri网结合、构造体系结构模型及测试路径生成算法。实验证明,该算法能够根据测试覆盖准则生成相应的测试路径,实现体系结构模型的动态性和测试技术的有效性。
关键词
软件
体系
结构
测试
Π演算
测试
准则
测试
路径
Keywords
software architecture test
n calculus
test criteria
test paths
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于ASPICE及ISO26262的软件测试技术研究
被引量：
6
3
作者
王丽娟
刘全周
晏江华
刘铁山
王通
机构
中汽研(天津)汽车工程研究院有限公司
出处
《中国测试》
CAS
北大核心
2020年第S01期139-143,共5页
基金
天津市科技计划项目(17YDLJGX00020)
文摘
为保证软件质量,规范软件测试环节,避免软件缺陷给企业带来的经济及名誉等方面的损失,该文基于ASPICE及ISO26262对软件测试的要求,从测试流程定义、测试监督及管理、测试策略制定、测试案例设计、测试开发及管理工具链选择、硬件在环测试环境搭建等方面对汽车电子软件产品的软件单元验证、软件集成与集成测试、软件合格性测试的开展进行了研究和实践。基于研究和实践,该文提出一套汽车电子软件测试体系,为企业汽车电子软件测试验证提供参考。实践表明,该文提出的测试体系,不仅满足ASPICE及ISO26262的要求,而且可提高软件测试开发及管理效率、保证汽车电子软件产品质量。
关键词
汽车电子
软件测试体系
ASPICE
ISO26262
Keywords
automotive electronic
software test system
ASPICE
ISO26262
分类号
TP311.53 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种软件体系结构测试序列生成方法
孔庆彦
伦立军
刘永纯
宋益波
《小型微型计算机系统》
CSCD
北大核心
2009
0
在线阅读
下载PDF
职称材料
2
基于π演算的软件体系结构测试技术
许慧
伦立军
《计算机工程》
CAS
CSCD
北大核心
2009
0
在线阅读
下载PDF
职称材料
3
基于ASPICE及ISO26262的软件测试技术研究
王丽娟
刘全周
晏江华
刘铁山
王通
《中国测试》
CAS
北大核心
2020
6
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
