期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
应用对象过程图扩展UML建模环境
被引量：
11
1
作者
于明钊
李元香
+1 位作者
刘文印
张宏江
《软件学报》
EI
CSCD
北大核心
2002年第4期698-705,共8页
统一建模语言UML存在着面向对象建模的不足,例如,用多个模型表示系统,模型的一致性难以保证.UML的工作主要集中于面向对象的分析和设计阶段,在实现阶段并没有做过多的努力等等,给系统设计带来了不便.提出了在UML建模环境中引入对象过程...
统一建模语言UML存在着面向对象建模的不足,例如,用多个模型表示系统,模型的一致性难以保证.UML的工作主要集中于面向对象的分析和设计阶段,在实现阶段并没有做过多的努力等等,给系统设计带来了不便.提出了在UML建模环境中引入对象过程图（object-process diagram,简称OPD）,为多个模型的一致性提供了统一的标准,提高了程序文档的可理解性和可维护性,使得扩展后的UML具备从面向对象分析到程序设计的完全可视化的描述能力.
展开更多
关键词
对象过程图
对象过程方法
rose
扩展接口
统一建模语言
UML语言
在线阅读
下载PDF
职称材料
基于UML状态图的模型信息自动提取技术研究
被引量：
2
2
作者
宋瑾钰
魏仰苏
《计算机工程与设计》
CSCD
北大核心
2007年第20期4860-4861,4864,共3页
UML是OMG用于软件系统的可视化、详述、构造和文档化的统一建模语言,状态图是UML模型的重要组成部分,用于描述系统的动态行为。在研究Rational Rose及其状态图文档的基础上,提出了通过UML状态图自动提取模型信息的两种方法—基于LALR(1...
UML是OMG用于软件系统的可视化、详述、构造和文档化的统一建模语言,状态图是UML模型的重要组成部分,用于描述系统的动态行为。在研究Rational Rose及其状态图文档的基础上,提出了通过UML状态图自动提取模型信息的两种方法—基于LALR(1)文法和基于Rose的扩展接口的提取方法,并对两种方法进行了比较分析。自动提取模型信息技术提高了协议测试序列的自动生成效率。
展开更多
关键词
UML状态图
模型信息提取
LALR(1)文法
rose
扩展接口
协议测试
在线阅读
下载PDF
职称材料
基于Markov链的软件任务剖面建模方法研究与实现
被引量：
1
3
作者
尚景亮
陈蔚薇
郭丽丽
《计算机工程与设计》
CSCD
北大核心
2009年第22期5053-5057,共5页
针对航空航天等安全关键领域里嵌入式软件测试中存在的困难,引入并研究了用户需求模型和任务剖面模型的概念及表示方法,设计并实现了基于用户需求模型的任务剖面模型自动建模算法,进而结合Markov链模型与任务剖面模型,为任务流提取和测...
针对航空航天等安全关键领域里嵌入式软件测试中存在的困难,引入并研究了用户需求模型和任务剖面模型的概念及表示方法,设计并实现了基于用户需求模型的任务剖面模型自动建模算法,进而结合Markov链模型与任务剖面模型,为任务流提取和测试用例生成工作提供依据,基于Rose可扩展接口(REI)开发了任务剖面模型自动建模工具。通过验证,肯定了上述方法与工具在嵌入式软件测试过程中的效果和价值。
展开更多
关键词
软件测试技术
基于模型的测试
任务剖面
rose
可扩展接口
MARKOV链
在线阅读
下载PDF
职称材料
题名
应用对象过程图扩展UML建模环境
被引量：
11
1
作者
于明钊
李元香
刘文印
张宏江
机构
武汉大学软件工程国家重点实验室
微软亚洲研究院
出处
《软件学报》
EI
CSCD
北大核心
2002年第4期698-705,共8页
文摘
统一建模语言UML存在着面向对象建模的不足,例如,用多个模型表示系统,模型的一致性难以保证.UML的工作主要集中于面向对象的分析和设计阶段,在实现阶段并没有做过多的努力等等,给系统设计带来了不便.提出了在UML建模环境中引入对象过程图（object-process diagram,简称OPD）,为多个模型的一致性提供了统一的标准,提高了程序文档的可理解性和可维护性,使得扩展后的UML具备从面向对象分析到程序设计的完全可视化的描述能力.
关键词
对象过程图
对象过程方法
rose
扩展接口
统一建模语言
UML语言
Keywords
OPD (object-process diagram)
OPM (object-process methodology)
rei
(
rose
extensibility
interface
)
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于UML状态图的模型信息自动提取技术研究
被引量：
2
2
作者
宋瑾钰
魏仰苏
机构
浙江理工大学信息电子学院
浙江水利水电专科学校计算机系
出处
《计算机工程与设计》
CSCD
北大核心
2007年第20期4860-4861,4864,共3页
基金
浙江省科技厅重点基金项目(2005C21027)
浙江省教育厅科研基金项目(20060621)
文摘
UML是OMG用于软件系统的可视化、详述、构造和文档化的统一建模语言,状态图是UML模型的重要组成部分,用于描述系统的动态行为。在研究Rational Rose及其状态图文档的基础上,提出了通过UML状态图自动提取模型信息的两种方法—基于LALR(1)文法和基于Rose的扩展接口的提取方法,并对两种方法进行了比较分析。自动提取模型信息技术提高了协议测试序列的自动生成效率。
关键词
UML状态图
模型信息提取
LALR(1)文法
rose
扩展接口
协议测试
Keywords
UML statechart diagram
model information extraction
LALR grammar
rose
extensibility
interface
protocol test
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于Markov链的软件任务剖面建模方法研究与实现
被引量：
1
3
作者
尚景亮
陈蔚薇
郭丽丽
机构
中国科学院光电研究院
中国科学院研究生院
出处
《计算机工程与设计》
CSCD
北大核心
2009年第22期5053-5057,共5页
基金
中国科学院光电研究院基金项目(AOE-CX-200607)
文摘
针对航空航天等安全关键领域里嵌入式软件测试中存在的困难,引入并研究了用户需求模型和任务剖面模型的概念及表示方法,设计并实现了基于用户需求模型的任务剖面模型自动建模算法,进而结合Markov链模型与任务剖面模型,为任务流提取和测试用例生成工作提供依据,基于Rose可扩展接口(REI)开发了任务剖面模型自动建模工具。通过验证,肯定了上述方法与工具在嵌入式软件测试过程中的效果和价值。
关键词
软件测试技术
基于模型的测试
任务剖面
rose
可扩展接口
MARKOV链
Keywords
software testing
MBT （model based testing）
operational profile
rei
（
rose
extensibility
interface
）
Markov chain
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
应用对象过程图扩展UML建模环境
于明钊
李元香
刘文印
张宏江
《软件学报》
EI
CSCD
北大核心
2002
11
在线阅读
下载PDF
职称材料
2
基于UML状态图的模型信息自动提取技术研究
宋瑾钰
魏仰苏
《计算机工程与设计》
CSCD
北大核心
2007
2
在线阅读
下载PDF
职称材料
3
基于Markov链的软件任务剖面建模方法研究与实现
尚景亮
陈蔚薇
郭丽丽
《计算机工程与设计》
CSCD
北大核心
2009
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
