期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
基于消息序列的形式化面向对象软件测试技术
被引量:
1
下载PDF
职称材料
导出
摘要
本文分析了UML交互图和状态图中的消息提取机制,构造了使用形式化描述语言RAISE对UML图中提取的消息进行描述、规约和精华,最终生成测试用例的测试流程,提出了基于消息序列的面向对象软件自动测试方法,并且在此基础上提出了检测OO系统容错能力的测试用例构造方法。
作者
赖祥伟
张为群
机构地区
西南师范大学计算机与信息科学学院
出处
《计算机科学》
CSCD
北大核心
2002年第10期153-155,共3页
Computer Science
关键词
软件测试
形式化
面向对象
消息序列
统一建模语言
软件开发
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
5
参考文献
2
共引文献
46
同被引文献
4
引证文献
1
二级引证文献
1
参考文献
2
1
李留英,王戟,齐治昌.
UML statecharts的测试用例生成方法[J]
.计算机研究与发展,2001,38(6):691-697.
被引量:26
2
兰毓华,毛法尧,曹化工.
基于Z规格说明的软件测试用例自动生成[J]
.计算机学报,1999,22(9):963-969.
被引量:22
二级参考文献
5
1
李留英.UML测试技术的研究与实现:博士论文[M].长沙:国防科学技术大学,2000..
2
薛嘉庆,线性规划,1989年
3
徐洁磐,离散数学及其在计算机中的应用,1988年
4
李留英,博士论文,2000年
5
Li Liuying,Proc of the 31th Int Conf Technology of Object Oriented Languages and Systems,1999年,273页
共引文献
46
1
缪淮扣,占学德,刘玲.
基于UML Statecharts的测试用例生成[J]
.小型微型计算机系统,2005,26(4):662-666.
被引量:8
2
虞凡,覃征,贾晓琳,何坚.
基于XYZ/E规范的软件测试用例自动生成方法[J]
.计算机工程,2005,31(19):76-78.
被引量:4
3
陈继锋,徐亚妮,沈钧毅.
一种基于确定型有穷自动机的动物识别系统的设计方法[J]
.微电子学与计算机,2005,22(12):55-58.
被引量:3
4
黄志华,苏国平.
一种基于DARTS设计的嵌入式软件测试用例模型[J]
.中国测试技术,2006,32(1):86-88.
被引量:2
5
方木云,戴小平.
基于UML的集成化CASE平台的研究和实现[J]
.计算机技术与发展,2006,16(2):26-28.
被引量:3
6
徐兴华,刘嘉.
基于UML状态图的测试技术研究[J]
.计算机时代,2006(4):1-2.
被引量:1
7
朱彬,缪淮扣,王娜.
Z规格说明的测试用例自动生成[J]
.应用科学学报,2006,24(4):377-381.
8
刘霞,年小玲,游霞.
消除EFSM中状态迁移不确定的方法[J]
.攀枝花学院学报,2006,23(4):96-98.
9
占学德,缪淮扣.
基于UML Statecharts面向对象软件的测试框架[J]
.应用科学学报,2006,24(5):491-497.
10
孙志岗,郝刚,王宇颖.
基于网络接口规范的用例自动生成技术[J]
.哈尔滨工业大学学报,2006,38(9):1455-1457.
同被引文献
4
1
JamesRumbaugh IvarJacobson GradyBooch.UML参考手册[M].北京:机械工业出版社,2001..
2
JamesRumbaugh IvarJacobson GradyBooch.邵维忠 麻志毅 张文娟 等译.UML用户指南[M].北京:机械工业出版社,2001.42-50.
3
CraigLarman 姚淑珍 李虎 胡斌 译.UML和模式应用,面向对象分析与设计导论[M].北京:机械工业出版社,2002.349-354.
4
罗蜜,张为群.
结合形式化方法的UML系统开发[J]
.西南师范大学学报(自然科学版),2003,28(2):203-208.
被引量:10
引证文献
1
1
陈武,张为群,何俊梅.
统一建模语言在对象持久化中的应用[J]
.西南师范大学学报(自然科学版),2004,29(3):369-372.
被引量:1
二级引证文献
1
1
王建,张志敏.
数据建模技术在信息系统中的应用[J]
.软件导刊,2010(8):28-30.
被引量:2
1
孙本阳,王轶骏,薛质.
一种改进的恶意PDF文档静态检测方案[J]
.计算机应用与软件,2016,33(3):308-313.
被引量:6
2
黄名选,严小卫.
基于查询语义树的语义查询扩展研究[J]
.情报理论与实践,2007,30(6):844-846.
被引量:4
3
周玉涛.
管理信息系统(MIS)中拼音码的提取机制[J]
.潍坊学院学报,2004,4(4):79-80.
4
范立军,王华,刘丽伟.
物联网RFID中间件中事件提取的研究与实现[J]
.计算机光盘软件与应用,2014,17(12):49-50.
5
闫德勤,吕志超,刘胜蓝.
一种邻域线性竞争的排列降维方法[J]
.计算机应用研究,2014,31(1):99-101.
被引量:1
6
人工智能[J]
.中国学术期刊文摘,2007,13(18):8-8.
7
焦松,李伟,马萍,杨明.
仿真实验数据一体化分析工具研究[J]
.系统仿真学报,2011,23(8):1734-1738.
被引量:3
8
赵敏,江凌云,李占军.
基于自签名隐式证书的认证密钥协商协议研究[J]
.计算机技术与发展,2017,27(5):128-132.
被引量:2
9
吴震菊.
基于S变换融合Canny算子的汽车轮廓提取[J]
.计算机与现代化,2014(4):29-32.
被引量:2
10
张桂平,姚天顺,尹宝生,蔡东风,宋彦.
双语知识库中关联实例的多策略提取机制[J]
.中文信息学报,2007,21(3):34-39.
被引量:1
计算机科学
2002年 第10期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部