期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于同步有向图的同步测试序列生成方法
被引量：
3
1
作者
孙宇霖
赵保华
屈玉贵
《计算机学报》
EI
CSCD
北大核心
2002年第6期632-636,共5页
使用多测试单元的测试系统可以对多端口协议实现进行一致性测试 .但是在进行这种一致性测试时 ,测试系统各个端口之间可能会出现同步问题 .现在 ,解决同步问题常用的办法是在测试单元相应端口之间增加同步连接 ,然后通过此同步连接相互...
使用多测试单元的测试系统可以对多端口协议实现进行一致性测试 .但是在进行这种一致性测试时 ,测试系统各个端口之间可能会出现同步问题 .现在 ,解决同步问题常用的办法是在测试单元相应端口之间增加同步连接 ,然后通过此同步连接相互发送同步消息来进行同步 .多端口协议和其它类型的分布式系统可以用有限状态机模型来描述 .目前 ,同步问题被分为双端口同步问题、多端口同步问题、紧同步问题等多种类型 .该文考虑两种有限状态机测试问题 :第一种是面向端口的测试 ,不考虑有限状态机测试单元之间的通信问题 ;第二种面向组的测试 ,有限状态机中的各个端口被分成互不相关的多个组 ,属于不同组中的测试单元之间互不通信 .该文提出了一种基于同步有向图的同步测试序列生成方法 .这种生成方法适用于 Pair同步、Port同步和组同步问题 .并且 ,这种方法也可以用来判断如何在非同步测试序列中增加同步通信 。
展开更多
关键词
同步有向图
同步
测试序列生成方法
测试
单元
通信协议
在线阅读
下载PDF
职称材料
基于UML Statechart语义的测试序列生成方法
被引量：
2
2
作者
缪力
张大方
《计算机工程与科学》
CSCD
2005年第4期3-5,共3页
UML Statechart是UML的一个主要组成部分,与其他类型的 Statechart相比,由于采用事件队列的调度方式,UML Statechart有着更多的不确定性,使得针对UML Statechart模型的测试非常困难。本文给出了一个形式化的语义模型,并将Statechart转...
UML Statechart是UML的一个主要组成部分,与其他类型的 Statechart相比,由于采用事件队列的调度方式,UML Statechart有着更多的不确定性,使得针对UML Statechart模型的测试非常困难。本文给出了一个形式化的语义模型,并将Statechart转化为一个比较简单的标志变迁系统,利用路径选择算法得到一个基于标志变迁系统的测试集,然后通过判断得到的测试集中每个测试用例是否满足UML Statechart执行步的语义,从而得到一个满足UML Statechart执行步的语义的、可执行的测试集。
展开更多
关键词
软件开发
软件
测试
测试序列生成方法
UML
STATECHART
语义模型
在线阅读
下载PDF
职称材料
题名
基于同步有向图的同步测试序列生成方法
被引量：
3
1
作者
孙宇霖
赵保华
屈玉贵
机构
中国科学技术大学计算机科学技术系
出处
《计算机学报》
EI
CSCD
北大核心
2002年第6期632-636,共5页
基金
国家自然科学基金重大研究计划项目(90 10 40 10 )
国家"八六三"高技术研究发展计划项目(2 0 0 1AA112 0 62 )
+2 种基金
教育部博士点基金(2 0 0 0 0 3 5 80 2 )
中国科学院院长基金特别支持项目(院基计字90 5号 )
安徽省自然科学基金(0 10 42 2 0 8)资助
文摘
使用多测试单元的测试系统可以对多端口协议实现进行一致性测试 .但是在进行这种一致性测试时 ,测试系统各个端口之间可能会出现同步问题 .现在 ,解决同步问题常用的办法是在测试单元相应端口之间增加同步连接 ,然后通过此同步连接相互发送同步消息来进行同步 .多端口协议和其它类型的分布式系统可以用有限状态机模型来描述 .目前 ,同步问题被分为双端口同步问题、多端口同步问题、紧同步问题等多种类型 .该文考虑两种有限状态机测试问题 :第一种是面向端口的测试 ,不考虑有限状态机测试单元之间的通信问题 ;第二种面向组的测试 ,有限状态机中的各个端口被分成互不相关的多个组 ,属于不同组中的测试单元之间互不通信 .该文提出了一种基于同步有向图的同步测试序列生成方法 .这种生成方法适用于 Pair同步、Port同步和组同步问题 .并且 ,这种方法也可以用来判断如何在非同步测试序列中增加同步通信 。
关键词
同步有向图
同步
测试序列生成方法
测试
单元
通信协议
Keywords
Synchronization
分类号
TN915.04 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
基于UML Statechart语义的测试序列生成方法
被引量：
2
2
作者
缪力
张大方
机构
湖南大学计算机与通信学院
出处
《计算机工程与科学》
CSCD
2005年第4期3-5,共3页
基金
国家自然科学基金资助项目(60273070 )
文摘
UML Statechart是UML的一个主要组成部分,与其他类型的 Statechart相比,由于采用事件队列的调度方式,UML Statechart有着更多的不确定性,使得针对UML Statechart模型的测试非常困难。本文给出了一个形式化的语义模型,并将Statechart转化为一个比较简单的标志变迁系统,利用路径选择算法得到一个基于标志变迁系统的测试集,然后通过判断得到的测试集中每个测试用例是否满足UML Statechart执行步的语义,从而得到一个满足UML Statechart执行步的语义的、可执行的测试集。
关键词
软件开发
软件
测试
测试序列生成方法
UML
STATECHART
语义模型
Keywords
UML statechart
software testing
test sequence generation
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于同步有向图的同步测试序列生成方法
孙宇霖
赵保华
屈玉贵
《计算机学报》
EI
CSCD
北大核心
2002
3
在线阅读
下载PDF
职称材料
2
基于UML Statechart语义的测试序列生成方法
缪力
张大方
《计算机工程与科学》
CSCD
2005
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
