期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
面向路径的测试数据自动生成工具的设计与实现
被引量：
2
1
作者
单锦辉
王戟
+2 位作者
齐治昌
马晓东
单黎君
《计算机工程与科学》
CSCD
2002年第1期103-107,共5页
面向路径的测试数据生成问题是软件测试中的一个基本问题。Gupta等提出一种线性化谓词函数的迭代松弛方法[1 ] 求解该问题。文献[2 ]改进了该方法 ,证明改进后的方法与原方法生成的约束系统相同。文章以改进后的方法为核心算法 ,根据软...
面向路径的测试数据生成问题是软件测试中的一个基本问题。Gupta等提出一种线性化谓词函数的迭代松弛方法[1 ] 求解该问题。文献[2 ]改进了该方法 ,证明改进后的方法与原方法生成的约束系统相同。文章以改进后的方法为核心算法 ,根据软件工程的思想 ,采用面向对象的方法 ,使用UML进行设计 ,并且在LinuxRedHat 7 0操作系统下用C + +语言实现一个为指定程序路径自动生成测试数据的原型工具 。
展开更多
关键词
测试数据自动生成工具
软件工具
UML
面向对象
在线阅读
下载PDF
职称材料
从形式化规范自动生成系统级状态机
被引量：
1
2
作者
王新苏
王煦法
《中国科学技术大学学报》
CAS
CSCD
北大核心
2006年第11期1177-1183,共7页
形式化方法能精确、无二义地描述软件规范,但其可读性、可理解性差以及缺乏有效的自动测试工具.鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性.实际应...
形式化方法能精确、无二义地描述软件规范,但其可读性、可理解性差以及缺乏有效的自动测试工具.鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性.实际应用表明,这种方法可以提高形式化规范的可读性与可理解性.
展开更多
关键词
形式化方法
形式化语言
面向对象
形式化规范
系统级状态机
自动测试
在线阅读
下载PDF
职称材料
基于JML的面向对象设计指导测试方法的研究与实现
3
作者
查冰
杨宗源
《计算机应用与软件》
CSCD
北大核心
2008年第4期106-108,共3页
面向对象的软件测试应该也只能被设计所指导。提出了一种方案:在使用UML进行面向对象的设计阶段为类和方法加入OCL约束,然后由一种转换工具将带有OCL约束的UML类图转换为带有JML(Java建模语言,Java Modeling Language)注解的Ja-va类代...
面向对象的软件测试应该也只能被设计所指导。提出了一种方案:在使用UML进行面向对象的设计阶段为类和方法加入OCL约束,然后由一种转换工具将带有OCL约束的UML类图转换为带有JML(Java建模语言,Java Modeling Language)注解的Ja-va类代码框架,就可以利用JML丰富的支撑工具进行调试和自动测试,从而实现了设计指导测试的思想。研究了OCL到JML的转换机制,并给出了基于Rational Rose的转换工具JML-AddIn的实现框架。
展开更多
关键词
面向对象
自动化测试
ocl
形式语言
在线阅读
下载PDF
职称材料
题名
面向路径的测试数据自动生成工具的设计与实现
被引量：
2
1
作者
单锦辉
王戟
齐治昌
马晓东
单黎君
机构
国防科技大学计算机学院
出处
《计算机工程与科学》
CSCD
2002年第1期103-107,共5页
基金
国家自然科学基金资助项目 (69973 0 5 1)
国家 863计划资助项目 (863 3 0 6 ZT0 6 0 4 1)
霍英东青年教师基金资助项目 (710 64 )
文摘
面向路径的测试数据生成问题是软件测试中的一个基本问题。Gupta等提出一种线性化谓词函数的迭代松弛方法[1 ] 求解该问题。文献[2 ]改进了该方法 ,证明改进后的方法与原方法生成的约束系统相同。文章以改进后的方法为核心算法 ,根据软件工程的思想 ,采用面向对象的方法 ,使用UML进行设计 ,并且在LinuxRedHat 7 0操作系统下用C + +语言实现一个为指定程序路径自动生成测试数据的原型工具 。
关键词
测试数据自动生成工具
软件工具
UML
面向对象
Keywords
automated
test data generation
software tool
unified modeling
language
object
oriented
分类号
TP311.56 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
从形式化规范自动生成系统级状态机
被引量：
1
2
作者
王新苏
王煦法
机构
中国科学技术大学计算机科学与技术系
出处
《中国科学技术大学学报》
CAS
CSCD
北大核心
2006年第11期1177-1183,共7页
基金
中国科学技术大学与日本富士施乐公司合作项目(FXVFP2003)资助
文摘
形式化方法能精确、无二义地描述软件规范,但其可读性、可理解性差以及缺乏有效的自动测试工具.鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性.实际应用表明,这种方法可以提高形式化规范的可读性与可理解性.
关键词
形式化方法
形式化语言
面向对象
形式化规范
系统级状态机
自动测试
Keywords
formal
method
formal
language
object
-
oriented
formal
specification
system-level state transition diagram
automatic
testing
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于JML的面向对象设计指导测试方法的研究与实现
3
作者
查冰
杨宗源
机构
华东师范大学计算机科学技术系
出处
《计算机应用与软件》
CSCD
北大核心
2008年第4期106-108,共3页
文摘
面向对象的软件测试应该也只能被设计所指导。提出了一种方案:在使用UML进行面向对象的设计阶段为类和方法加入OCL约束,然后由一种转换工具将带有OCL约束的UML类图转换为带有JML(Java建模语言,Java Modeling Language)注解的Ja-va类代码框架,就可以利用JML丰富的支撑工具进行调试和自动测试,从而实现了设计指导测试的思想。研究了OCL到JML的转换机制,并给出了基于Rational Rose的转换工具JML-AddIn的实现框架。
关键词
面向对象
自动化测试
ocl
形式语言
Keywords
object oriented automated testing ocl formal language
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
面向路径的测试数据自动生成工具的设计与实现
单锦辉
王戟
齐治昌
马晓东
单黎君
《计算机工程与科学》
CSCD
2002
2
在线阅读
下载PDF
职称材料
2
从形式化规范自动生成系统级状态机
王新苏
王煦法
《中国科学技术大学学报》
CAS
CSCD
北大核心
2006
1
在线阅读
下载PDF
职称材料
3
基于JML的面向对象设计指导测试方法的研究与实现
查冰
杨宗源
《计算机应用与软件》
CSCD
北大核心
2008
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
