期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
带OCL约束条件的类图到Object-Z规格说明的转换
被引量：
4
1
作者
缪淮扣
陈怡海
《计算机科学》
CSCD
北大核心
2007年第1期228-235,共8页
如何提高软件的可靠性是目前软件研究领域的一个热点。将形式化方法和主流的软件开发方法相结合是一个可行的方法。本文研究UML语言和Object-Z语言相结合的方法,为主流的软件开发人员所使用的图形化规格说明技术与形式方法提供的精确的...
如何提高软件的可靠性是目前软件研究领域的一个热点。将形式化方法和主流的软件开发方法相结合是一个可行的方法。本文研究UML语言和Object-Z语言相结合的方法,为主流的软件开发人员所使用的图形化规格说明技术与形式方法提供的精确的分析和验证技术架起了一座桥梁。本文定义如何将带OCL约束条件的类图转换到Object-Z规格说明的方法。这样不仅可以通过支持Object-Z语言的工具来对UML语言描述的系统性质进行验证和确认,而且能够帮助规格说明人员方便地构造Object-Z规格说明。
展开更多
关键词
uml
类图
ocl
约束
object-z
规格说明
在线阅读
下载PDF
职称材料
带OCL的活动图多态性测试用例生成方法
被引量：
3
2
作者
曾一
丁娜
邹明
《计算机工程》
CAS
CSCD
2012年第10期34-37,共4页
研究UML活动图多态性测试用例的生成方法。形式化定义活动图,结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集,扩展活动图中含多态信息的节点,得到多态扩展活动图。利用测试路径构造方法和覆盖准则,对多态扩展活动图进行遍历...
研究UML活动图多态性测试用例的生成方法。形式化定义活动图,结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集,扩展活动图中含多态信息的节点,得到多态扩展活动图。利用测试路径构造方法和覆盖准则,对多态扩展活动图进行遍历,生成测试用例。实验结果表明,该方法能生成含多态性信息的测试用例,提高测试覆盖度。
展开更多
关键词
统一建模语言
对象约束语言
扩展活动图
多态性方法集
测试用例
在线阅读
下载PDF
职称材料
题名
带OCL约束条件的类图到Object-Z规格说明的转换
被引量：
4
1
作者
缪淮扣
陈怡海
机构
上海大学计算机工程与科学学院
出处
《计算机科学》
CSCD
北大核心
2007年第1期228-235,共8页
基金
国家自然科学基金(项目编号60373072)
国家973项目(批准号2002CB312001)
上海市教委第四期重点学科建设基金的资助
文摘
如何提高软件的可靠性是目前软件研究领域的一个热点。将形式化方法和主流的软件开发方法相结合是一个可行的方法。本文研究UML语言和Object-Z语言相结合的方法,为主流的软件开发人员所使用的图形化规格说明技术与形式方法提供的精确的分析和验证技术架起了一座桥梁。本文定义如何将带OCL约束条件的类图转换到Object-Z规格说明的方法。这样不仅可以通过支持Object-Z语言的工具来对UML语言描述的系统性质进行验证和确认,而且能够帮助规格说明人员方便地构造Object-Z规格说明。
关键词
uml
类图
ocl
约束
object-z
规格说明
Keywords
uml
,
class diagram
,
ocl constraints
,
object-z specification
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
带OCL的活动图多态性测试用例生成方法
被引量：
3
2
作者
曾一
丁娜
邹明
机构
重庆大学计算机学院
出处
《计算机工程》
CAS
CSCD
2012年第10期34-37,共4页
基金
国家自然科学基金资助项目(61004112)
文摘
研究UML活动图多态性测试用例的生成方法。形式化定义活动图,结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集,扩展活动图中含多态信息的节点,得到多态扩展活动图。利用测试路径构造方法和覆盖准则,对多态扩展活动图进行遍历,生成测试用例。实验结果表明,该方法能生成含多态性信息的测试用例,提高测试覆盖度。
关键词
统一建模语言
对象约束语言
扩展活动图
多态性方法集
测试用例
Keywords
Unified Modeling Language（
uml
）
Object
constraint
Language（
ocl
）
extended activity
diagram
class
Set of Polymorphism Method（CSPM）
test case
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
带OCL约束条件的类图到Object-Z规格说明的转换
缪淮扣
陈怡海
《计算机科学》
CSCD
北大核心
2007
4
在线阅读
下载PDF
职称材料
2
带OCL的活动图多态性测试用例生成方法
曾一
丁娜
邹明
《计算机工程》
CAS
CSCD
2012
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
