基于JML的面向对象设计指导测试方法的研究与实现

杨宗源; 查冰

文献导航

搜索文章

搜索思路

钛学术文献服务平台 \
学术期刊 \
工业技术期刊 \
自动化技术与计算机技术期刊 \
计算机应用与软件期刊 \
基于JML的面向对象设计指导测试方法的研究与实现

基于JML的面向对象设计指导测试方法的研究与实现

作者：

杨宗源查冰

基本信息来源于合作网站，原文需代理用户跳转至来源网站获取

面向对象

自动化测试

OCL

形式语言

摘要：

面向对象的软件测试应该也只能被设计所指导.提出了一种方案:在使用UML进行面向对象的设计阶段为类和方法加入OCL约束,然后由一种转换工具将带有OCL约束的UML类图转换为带有JML(Java建模语言,Java Modeling Language)注解的Java类代码框架,就可以利用JML丰富的支撑工具进行调试和自动测试,从而实现了设计指导测试的思想.研究了OCL到JML的转换机制,并给出了基于Rational Rose的转换工具JML-AddIn的实现框架.

内容分析

关键词云

关键词热度

相关文献

推荐文献

根据相关规定，获取原文需跳转至原文服务方进行注册认证身份信息

完成下面三个步骤操作后即可获取文献，阅读后请点击下方页面【继续获取】按钮

钛学术文献服务平台

学术出版新技术应用与公共服务实验室出品

原文合作方

获取文献流程

1.访问原文合作方请等待几秒系统会自动跳转至登录页，首次访问请先注册账号，填写基本信息后，点击【注册】

2.注册后进行实名认证，实名认证成功后点击【返回】

3.检查邮箱地址是否正确，若错误或未填写请填写正确邮箱地址，点击【确认支付】完成获取，文献将在1小时内发送至您的邮箱

*若已注册过原文合作方账号的用户，可跳过上述操作，直接登录后获取原文即可

点击【获取原文】按钮，跳转至合作网站。

首次获取需要在合作网站进行注册。

注册并实名认证，认证后点击【返回】按钮。

确认邮箱信息，点击【确认支付】，订单将在一小时内发送至您的邮箱。

* 若已经注册过合作网站账号，请忽略第二、三步，直接登录即可。

期刊分类
期刊（年）
期刊（期）
期刊推荐

一般工业技术交通运输军事科技冶金工业动力工程化学工业原子能技术大学学报建筑科学无线电电子学与电信技术机械与仪表工业水利工程环境科学与安全科学电工技术石油与天然气工业矿业工程自动化技术与计算机技术航空航天轻工业与手工业金属学与金属工艺

计算机应用与软件2008年第9期计算机应用与软件2008年第8期计算机应用与软件2008年第7期计算机应用与软件2008年第6期计算机应用与软件2008年第5期计算机应用与软件2008年第4期计算机应用与软件2008年第3期计算机应用与软件2008年第2期计算机应用与软件2008年第12期计算机应用与软件2008年第11期计算机应用与软件2008年第10期计算机应用与软件2008年第1期

按字母查找期刊：

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
其他

联系合作广告推广: shenyukuan@paperpass.com

篇名	基于JML的面向对象设计指导测试方法的研究与实现
来源期刊	计算机应用与软件	学科	工学
关键词	面向对象自动化测试 OCL 形式语言
年，卷（期）	2008,（4）	所属期刊栏目	软件技术与研究
研究方向		页码范围	106-108
页数	3页	分类号	TP3
字数	2849字	语种	中文
DOI	10.3969/j.issn.1000-386X.2008.04.040

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨宗源	华东师范大学计算机科学技术系	32	326	9.0	17.0
2	查冰	华东师范大学计算机科学技术系	1	0	0.0	0.0