期刊导航
期刊开放获取
重庆大学
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
58
篇文章
<
1
2
3
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
软件度量筛选研究
被引量:
1
1
作者
侯红
张娟
宋擒豹
《计算机工程与应用》
CSCD
北大核心
2009年第26期34-39,64,共7页
根据度量需求选择合适的度量是度量实施中的一大问题。基于PSM给出的度量选择准则和GQ(I)M模型,提出基于模糊群决策理论的度量筛选模型(MTM)。该模型从利益攸关者角度出发,根据评估指标,对根据GQ(I)M模型得到的基度量进行评估,然后验证...
根据度量需求选择合适的度量是度量实施中的一大问题。基于PSM给出的度量选择准则和GQ(I)M模型,提出基于模糊群决策理论的度量筛选模型(MTM)。该模型从利益攸关者角度出发,根据评估指标,对根据GQ(I)M模型得到的基度量进行评估,然后验证度量目标的可达性并删除冗余的基度量,最终得到利益攸关者一致满意的无冗余的基度量集,实现度量的科学筛选。最后通过案例演示模型在度量筛选中的应用。
展开更多
关键词
模糊群决策
GQ(I)M模型
实用软件度量
度量筛选
利益攸关者
下载PDF
职称材料
面向对象软件中类内聚度度量分析与研究
被引量:
3
2
作者
陈文海
葛玮
+1 位作者
郝克刚
侯红
《计算机应用研究》
CSCD
北大核心
2007年第7期40-42,共3页
对现有著名的类内聚度度量进行了较深入的分析,指出了各自存在的缺陷与不足,并在此基础上考虑到类内聚度受到类内有可能与外界组件产生耦合的成员的负面影响,提出了对CCM(C)再次修正后的MCCM2(C)。
关键词
面向对象
软件度量
内聚度
下载PDF
职称材料
基于电信数据仓库系统的ETL研究与设计
被引量:
12
3
作者
李颖
郝克刚
葛玮
《计算机应用与软件》
CSCD
2009年第1期178-180,共3页
电信行业大都建立了自己的数据仓库系统,而建立数据仓库的最重要环节便是数据的抽取、转换和加载ETL(Extracting、Transformation、Loading)。通过对现有ETL系统的分析研究,设计并部分实现了基于某省电信公司数据仓库的ETL系统。采取XM...
电信行业大都建立了自己的数据仓库系统,而建立数据仓库的最重要环节便是数据的抽取、转换和加载ETL(Extracting、Transformation、Loading)。通过对现有ETL系统的分析研究,设计并部分实现了基于某省电信公司数据仓库的ETL系统。采取XML格式编辑整个ETL过程,实现部分图形化交互界面,并针对电信系统大数据量的特点,提出性能优化及改进的方法,提高了ETL效率。
展开更多
关键词
ETL
电信
数据仓库
大数据量
下载PDF
职称材料
基于Web Services的分布式工作流的研究与实现
被引量:
10
4
作者
褚红伟
葛玮
《计算机应用研究》
CSCD
北大核心
2005年第8期49-51,54,共4页
为了满足现代企业信息的分布性、自治性和异构性,构建完全分布的工作流管理系统是亟待解决的问题。WebServices作为一种面向服务的体系架构,其突出优点是实现了真正意义上的平台独立性和语言独立性,基于此提出了一种完全分布的工作流模...
为了满足现代企业信息的分布性、自治性和异构性,构建完全分布的工作流管理系统是亟待解决的问题。WebServices作为一种面向服务的体系架构,其突出优点是实现了真正意义上的平台独立性和语言独立性,基于此提出了一种完全分布的工作流模型,并给出了具体实现中相关问题的解决方案。
展开更多
关键词
Web
SERVICES
SOAP
WSDL
XML
分布式工作流管理系统
下载PDF
职称材料
软件缺陷度量
被引量:
10
5
作者
张瑞
郝克刚
《计算机应用研究》
CSCD
北大核心
2005年第4期54-57,共4页
运用软件度量的方法改进传统的缺陷管理过程,论述了在缺陷管理过程中如何计划度量、实施度量,对度量结果进行分析,并以实际数据为例分析相关人员的工作效率和项目进展情况,为项目管理者的决策提供帮助。最终对传统的缺陷管理模式进行改...
运用软件度量的方法改进传统的缺陷管理过程,论述了在缺陷管理过程中如何计划度量、实施度量,对度量结果进行分析,并以实际数据为例分析相关人员的工作效率和项目进展情况,为项目管理者的决策提供帮助。最终对传统的缺陷管理模式进行改进,是软件度量方法在缺陷管理中的一次成功实践。
展开更多
关键词
SPM
软件度量
软件测试
缺陷管理
下载PDF
职称材料
Web服务动态组合中QoS计算方法研究
被引量:
2
6
作者
张琦
侯红
《计算机工程》
CAS
CSCD
北大核心
2011年第12期41-43,共3页
通过在Web服务动态组合中引入形式化的服务质量(QoS)描述、服务提供商因子、服务消费者因子,提出基于层次分析法的QoS计算方法。该方法根据服务消费者期望值选择QoS因子,利用QoS权重值计算Web服务的质量,在此基础上给出一个基于QoS计算...
通过在Web服务动态组合中引入形式化的服务质量(QoS)描述、服务提供商因子、服务消费者因子,提出基于层次分析法的QoS计算方法。该方法根据服务消费者期望值选择QoS因子,利用QoS权重值计算Web服务的质量,在此基础上给出一个基于QoS计算的Web服务组合模型,并通过实例计算,证明利用该QoS计算方法可以得到更高质量的增值服务。
展开更多
关键词
服务质量
服务组合
层次分析法
QoS形式化描述
服务提供商因子
服务消费者因子
下载PDF
职称材料
工作流流程动态仿真技术的研究
被引量:
2
7
作者
付丽娜
郝克刚
《计算机工程与应用》
CSCD
北大核心
2009年第13期29-33,共5页
对于工作流流程的能力分析以及正确性验证,其方式上可分为静态分析与动态仿真。论文侧重研究通过动态仿真手段对流程进行测试与分析,验证流程在合适的时间,由合适的资源做合适的事。针对仿真过程中的几个关键问题——设置仿真环境、基...
对于工作流流程的能力分析以及正确性验证,其方式上可分为静态分析与动态仿真。论文侧重研究通过动态仿真手段对流程进行测试与分析,验证流程在合适的时间,由合适的资源做合适的事。针对仿真过程中的几个关键问题——设置仿真环境、基于路径覆盖准则的事件排队算法及仿真结果的统计分析做了较深入研究。仿真采用了交互式与非交互式两种手段,利用白盒与黑盒两种测试方法对被测流程进行高覆盖度仿真,并通过仿真结果反映缺陷的类型、分布与走势。
展开更多
关键词
工作流管理系统
信牌驱动模型
流程
仿真引擎
事件
验证
下载PDF
职称材料
面向对象图形系统之研究
被引量:
1
8
作者
王斌君
葛玮
郝克刚
《小型微型计算机系统》
CSCD
北大核心
1996年第6期64-68,共5页
本文用面向对象的观点讨论了图形应用系统中图形类库的建立与使用,还讨论了专用图形应用系统与通用图形应用系统之间的关系。
关键词
面向对象
图形系统
类库
下载PDF
职称材料
CMMI的软件测量
被引量:
1
9
作者
侯红
郝克刚
《计算机科学》
CSCD
北大核心
2006年第11期289-292,共4页
本文从CMMI的体系结构出发,对CMMI中的软件测量进行了研究,分析了其测量的演进过程,总结分析了目前组织在实施CMMI时对测量的误解和存在的问题,最后,为帮助实施CMMI,给出了对实施效果进行评估的评价标准。
关键词
软件测量
CMMI
软件过程改进
下载PDF
职称材料
设计模式思想在构建软件框架过程中应用的探讨
被引量:
3
10
作者
袁绍欣
葛玮
《微机发展》
2003年第12期111-112,F003,共3页
许多文章在谈及设计模式和框架的关系时,多讨论它们之间的区别。而文中在介绍它们的区别之外,更多地是从设计模式提炼出的四个思想这个角度,以框架的含义为基础,来论述它们在软件设计上的联系,并针对这四个思想,逐一探讨了在软件项目开...
许多文章在谈及设计模式和框架的关系时,多讨论它们之间的区别。而文中在介绍它们的区别之外,更多地是从设计模式提炼出的四个思想这个角度,以框架的含义为基础,来论述它们在软件设计上的联系,并针对这四个思想,逐一探讨了在软件项目开发过程中如何应用来构建软件框架。虽然这四个思想不是构件框架的全部思想,但无疑它们也是构件框架思想中不可或缺的。很好地应用这四个思想,将会提高框架的设计水平,增强框架的重用性。
展开更多
关键词
面向对象
软件开发
设计模式思想
软件框架
下载PDF
职称材料
扩展的信牌驱动模型中配对结构之研究
11
作者
王斌君
董护斌
郝克刚
《小型微型计算机系统》
CSCD
北大核心
2003年第11期1973-1977,共5页
在分层的工作流模型研究的基础上 ,指出了 WPDL 中 AND- JOIN的语义问题 ,并在扩展的信牌驱动模型层 ,对配对结构进行了系统、深入的研究 .形式地定义了最宽泛的配对概念和严格的正则配对的概念 ,分析了它们各自的优缺点 .然后定义了一...
在分层的工作流模型研究的基础上 ,指出了 WPDL 中 AND- JOIN的语义问题 ,并在扩展的信牌驱动模型层 ,对配对结构进行了系统、深入的研究 .形式地定义了最宽泛的配对概念和严格的正则配对的概念 ,分析了它们各自的优缺点 .然后定义了一个既有严格语义、性能可以确定 ,但要求相对宽泛、相对比较实用的扩展正则配对的概念 .利用此概念 。
展开更多
关键词
工作流模型
扩展的信牌驱动模型
配对
PETRI网
下载PDF
职称材料
软件维护外包后的缺陷修正流程改进及分析
12
作者
李玉鹏
侯红
《计算机工程》
CAS
CSCD
北大核心
2007年第10期81-83,共3页
通过研究某公司的大型芯片测试软件维护(纠错性维护和完善性维护)跨国外包后的缺陷修正方法,总结得到了缺陷修正的基本控制流程。针对基本控制流程的缺点,从降低维护成本和提高缺陷修正的效率等方面出发,提出了一系列改进方案及新的缺...
通过研究某公司的大型芯片测试软件维护(纠错性维护和完善性维护)跨国外包后的缺陷修正方法,总结得到了缺陷修正的基本控制流程。针对基本控制流程的缺点,从降低维护成本和提高缺陷修正的效率等方面出发,提出了一系列改进方案及新的缺陷修正流程,给出了流程改进后的软件质量保证和项目组的工作效率分析。
展开更多
关键词
软件外包
缺陷修正
缺陷修正流程
流程改进分析
下载PDF
职称材料
COSMIC-FFP方法的研究及应用
被引量:
3
13
作者
王昕渝
侯红
郝克刚
《计算机应用与软件》
CSCD
北大核心
2008年第10期11-13,共3页
随着我国软件外包行业的日渐兴起,越来越多公司开始注重对软件开发过程的控制,对软件度量的投入也越来越多。阐述了一种基于传统的IFPUG-FPA模型的演进规模估计模型—COSMIC-FFP模型及其应用。并提出了一种基于COSMIC全功能点和ISO 912...
随着我国软件外包行业的日渐兴起,越来越多公司开始注重对软件开发过程的控制,对软件度量的投入也越来越多。阐述了一种基于传统的IFPUG-FPA模型的演进规模估计模型—COSMIC-FFP模型及其应用。并提出了一种基于COSMIC全功能点和ISO 9126的新的定量的度量技术。应用COSMIC全功能点的规则和原理的软件结构度量了基本的交互变量,如耦合、内聚和复杂度。在ISO9126质量标准的基础上,将设计的度量方法应用于度量质量属性,如可维护性、可用性和可信度。
展开更多
关键词
COSMIC-FFP软件度量
软件质量保证
耦合
内聚
复杂度
下载PDF
职称材料
基于依赖性的面向对象软件不同层面的测试用例生成
被引量:
3
14
作者
陈文海
葛玮
郝克刚
《计算机应用与软件》
CSCD
北大核心
2008年第4期9-11,42,共4页
由于面向对象软件本身的特点,传统的面向过程的软件测试方法不再适用于面向对象的软件测试。在分析了面向对象软件测试的特征以及面向对象软件中各个不同层面的依赖关系的基础上,提出了针对各个不同层面上的测试用例生成的方法。
关键词
面向对象
软件测试
程序依赖图
类依赖图
下载PDF
职称材料
SRS质量的多级模糊综合评价算法的研究
被引量:
2
15
作者
于鹏伟
侯红
郝克刚
《计算机应用研究》
CSCD
北大核心
2009年第7期2492-2494,共3页
从软件度量理论出发,借助模糊评价理论,提出了SRS质量评价算法,此算法充分考虑到评价因子间复杂的内在联系,有效地减少了群决策中出现的不一致性对质量评价的影响。它是对软件需求规格说明书质量更科学、更客观的一种度量方法。
关键词
SRS度量
评价指标
多级模糊综合评价
一致性
下载PDF
职称材料
模型检测在软件需求分析及设计中的应用
被引量:
3
16
作者
贺亚博
郝克刚
葛玮
《计算机应用与软件》
CSCD
2009年第4期128-130,共3页
模型检测技术因其完全自动化并且验证速度快的优点在硬件及协议的验证中广泛应用,近年来在软件领域的应用研究也不断涌现。总结了模型检测在软件需求分析及设计中已有的应用技术,包括利用模型检测工具对RSML,SCR和UML图形的检测,以及直...
模型检测技术因其完全自动化并且验证速度快的优点在硬件及协议的验证中广泛应用,近年来在软件领域的应用研究也不断涌现。总结了模型检测在软件需求分析及设计中已有的应用技术,包括利用模型检测工具对RSML,SCR和UML图形的检测,以及直接的模型检测,并从不同角度对已有技术进行系统的分析和比较。最后对该项技术研究的方向进行展望。
展开更多
关键词
模型检测
模型检测工具
直接检测
下载PDF
职称材料
基于开源的软件缺陷管理工具的改进策略
被引量:
3
17
作者
罗霄
侯红
《计算机工程》
CAS
CSCD
北大核心
2009年第1期65-67,70,共4页
通过分析现有的软件缺陷管理工具的主要特点和局限性,结合企业内部从事软件测试组织的实际需求,针对软件缺陷管理流程的缺点,提出一个基于开源的软件缺陷管理工具的改进方案。给出改进后的软件缺陷的分析及度量方法,并以实际数据为例分...
通过分析现有的软件缺陷管理工具的主要特点和局限性,结合企业内部从事软件测试组织的实际需求,针对软件缺陷管理流程的缺点,提出一个基于开源的软件缺陷管理工具的改进方案。给出改进后的软件缺陷的分析及度量方法,并以实际数据为例分析相关人员的工作效率和项目进展情况,为项目管理者的决策提供帮助。
展开更多
关键词
软件测试
缺陷管理
缺陷度量
下载PDF
职称材料
基于语义的Web服务匹配研究
被引量:
3
18
作者
吴芸
鱼滨
《计算机技术与发展》
2007年第3期16-19,共4页
给出了一种基于OWL-S语言的服务描述以及服务的查找方法。该方法依据服务所必须满足的前置条件和后置条件作为判断服务匹配的准则,可以加快服务的匹配速度以及提高匹配精度,并在实际应用中证明了该方法的有效性。
关键词
WEB服务
OWL—S
前置条件
后置条件
匹配度
下载PDF
职称材料
构件及基于构件的开发方法研究
被引量:
4
19
作者
郭胜旺
葛玮
《微机发展》
2005年第7期37-39,43,共4页
构件是软件复用的基础,CBD(基于构件的开发)方法是未来软件的解决方案。CBD方法能够利用领域最新技术和最佳解决方案,高效、快捷地开发出移动的面向服务的分布式系统。文中概述了构件及CBD方法的系列核心概念,同时列出了一些典型的CBD...
构件是软件复用的基础,CBD(基于构件的开发)方法是未来软件的解决方案。CBD方法能够利用领域最新技术和最佳解决方案,高效、快捷地开发出移动的面向服务的分布式系统。文中概述了构件及CBD方法的系列核心概念,同时列出了一些典型的CBD方法和实施CBD方法时的注意点。最后阐述了CBD方法需待研究和发展的部分。
展开更多
关键词
构件
软件复用
面向服务
基于构件的开发
下载PDF
职称材料
基于GQ(I)M模型的度量计划定义方法研究
20
作者
张立伟
侯红
《计算机工程与科学》
CSCD
2006年第z2期172-172,174,共2页
GQ(I)M模型是一种面向目标的定义度量的方法,在软件过程度量中被广泛采用.但是,由于定义度量时没有依赖具体的开发过程,且往往忽略了过程成熟度的考虑,定义的度量元不合理,使度量计划的制定很困难,并使度量的结果难以解释度量活动.本文...
GQ(I)M模型是一种面向目标的定义度量的方法,在软件过程度量中被广泛采用.但是,由于定义度量时没有依赖具体的开发过程,且往往忽略了过程成熟度的考虑,定义的度量元不合理,使度量计划的制定很困难,并使度量的结果难以解释度量活动.本文提出了一种在GQ(I)M模型定义度量计划的方法基础上结合成熟度与过程建模的新的方法,最后对进一步的研究方向做了展望.
展开更多
关键词
GQ(I)M
成熟度
软件过程度量
过程建模
软件度量定义
UML
下载PDF
职称材料
题名
软件度量筛选研究
被引量:
1
1
作者
侯红
张娟
宋擒豹
机构
西安交通
大学
计算机
软件
研究所
西北大学软件工程研究所
出处
《计算机工程与应用》
CSCD
北大核心
2009年第26期34-39,64,共7页
基金
国家高技术研究发展计划(863)No.2007AA010305
国家自然科学基金重点项目No.90718024/F020202~~
文摘
根据度量需求选择合适的度量是度量实施中的一大问题。基于PSM给出的度量选择准则和GQ(I)M模型,提出基于模糊群决策理论的度量筛选模型(MTM)。该模型从利益攸关者角度出发,根据评估指标,对根据GQ(I)M模型得到的基度量进行评估,然后验证度量目标的可达性并删除冗余的基度量,最终得到利益攸关者一致满意的无冗余的基度量集,实现度量的科学筛选。最后通过案例演示模型在度量筛选中的应用。
关键词
模糊群决策
GQ(I)M模型
实用软件度量
度量筛选
利益攸关者
Keywords
fuzzy group-decision making
GQ(I)M model
Practical Software Measurement(PSM)
measurement triage
stakeholder
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
面向对象软件中类内聚度度量分析与研究
被引量:
3
2
作者
陈文海
葛玮
郝克刚
侯红
机构
西北大学软件工程研究所
出处
《计算机应用研究》
CSCD
北大核心
2007年第7期40-42,共3页
基金
国家"863"计划资助项目(2004AA115090)
西安市科技攻关资助项目(GG200220)
文摘
对现有著名的类内聚度度量进行了较深入的分析,指出了各自存在的缺陷与不足,并在此基础上考虑到类内聚度受到类内有可能与外界组件产生耦合的成员的负面影响,提出了对CCM(C)再次修正后的MCCM2(C)。
关键词
面向对象
软件度量
内聚度
Keywords
object orientation
software metrics
cohesions
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于电信数据仓库系统的ETL研究与设计
被引量:
12
3
作者
李颖
郝克刚
葛玮
机构
西北大学软件工程研究所
出处
《计算机应用与软件》
CSCD
2009年第1期178-180,共3页
文摘
电信行业大都建立了自己的数据仓库系统,而建立数据仓库的最重要环节便是数据的抽取、转换和加载ETL(Extracting、Transformation、Loading)。通过对现有ETL系统的分析研究,设计并部分实现了基于某省电信公司数据仓库的ETL系统。采取XML格式编辑整个ETL过程,实现部分图形化交互界面,并针对电信系统大数据量的特点,提出性能优化及改进的方法,提高了ETL效率。
关键词
ETL
电信
数据仓库
大数据量
Keywords
ETL( Extract transformation loading) Telecom Data Warehouse Massive data
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
TN915.07 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
基于Web Services的分布式工作流的研究与实现
被引量:
10
4
作者
褚红伟
葛玮
机构
西北大学软件工程研究所
出处
《计算机应用研究》
CSCD
北大核心
2005年第8期49-51,54,共4页
基金
国家"十.五"重点科技攻关项目(2001BA107C)
文摘
为了满足现代企业信息的分布性、自治性和异构性,构建完全分布的工作流管理系统是亟待解决的问题。WebServices作为一种面向服务的体系架构,其突出优点是实现了真正意义上的平台独立性和语言独立性,基于此提出了一种完全分布的工作流模型,并给出了具体实现中相关问题的解决方案。
关键词
Web
SERVICES
SOAP
WSDL
XML
分布式工作流管理系统
Keywords
Web Services
SOAP
WSDL
XML
Distributed Workflow Management System
分类号
TP278 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
软件缺陷度量
被引量:
10
5
作者
张瑞
郝克刚
机构
西北大学软件工程研究所
出处
《计算机应用研究》
CSCD
北大核心
2005年第4期54-57,共4页
基金
国家"863"计划资助项目 ( 2004AA115090 )
西安市科技攻关资助项目(GG200220)
文摘
运用软件度量的方法改进传统的缺陷管理过程,论述了在缺陷管理过程中如何计划度量、实施度量,对度量结果进行分析,并以实际数据为例分析相关人员的工作效率和项目进展情况,为项目管理者的决策提供帮助。最终对传统的缺陷管理模式进行改进,是软件度量方法在缺陷管理中的一次成功实践。
关键词
SPM
软件度量
软件测试
缺陷管理
Keywords
Software Project Management(SPM)
Software Measurement
Software Test
Defect Management
分类号
TP311.53 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
Web服务动态组合中QoS计算方法研究
被引量:
2
6
作者
张琦
侯红
机构
西北大学软件工程研究所
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第12期41-43,共3页
基金
国家"863"计划基金资助项目(2007AA010305)
国家自然科学基金资助重点项目(90718024)
中国博士后基金资助项目(20080441174)
文摘
通过在Web服务动态组合中引入形式化的服务质量(QoS)描述、服务提供商因子、服务消费者因子,提出基于层次分析法的QoS计算方法。该方法根据服务消费者期望值选择QoS因子,利用QoS权重值计算Web服务的质量,在此基础上给出一个基于QoS计算的Web服务组合模型,并通过实例计算,证明利用该QoS计算方法可以得到更高质量的增值服务。
关键词
服务质量
服务组合
层次分析法
QoS形式化描述
服务提供商因子
服务消费者因子
Keywords
Quality of Service(QoS)
services composition
Analytic Hierarchy Process(AHP)
formal QoS description
service provider factor
service consumer factor
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
工作流流程动态仿真技术的研究
被引量:
2
7
作者
付丽娜
郝克刚
机构
西北大学软件工程研究所
出处
《计算机工程与应用》
CSCD
北大核心
2009年第13期29-33,共5页
基金
国家高技术研究发展计划(863)No.2007AA010305~~
文摘
对于工作流流程的能力分析以及正确性验证,其方式上可分为静态分析与动态仿真。论文侧重研究通过动态仿真手段对流程进行测试与分析,验证流程在合适的时间,由合适的资源做合适的事。针对仿真过程中的几个关键问题——设置仿真环境、基于路径覆盖准则的事件排队算法及仿真结果的统计分析做了较深入研究。仿真采用了交互式与非交互式两种手段,利用白盒与黑盒两种测试方法对被测流程进行高覆盖度仿真,并通过仿真结果反映缺陷的类型、分布与走势。
关键词
工作流管理系统
信牌驱动模型
流程
仿真引擎
事件
验证
Keywords
Workflow Management System (WFMS)
token-driven workflow computation model
process
simulation engine
event
verification
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
面向对象图形系统之研究
被引量:
1
8
作者
王斌君
葛玮
郝克刚
机构
西北大学软件工程研究所
出处
《小型微型计算机系统》
CSCD
北大核心
1996年第6期64-68,共5页
基金
国家"八.五"重点课题资助
文摘
本文用面向对象的观点讨论了图形应用系统中图形类库的建立与使用,还讨论了专用图形应用系统与通用图形应用系统之间的关系。
关键词
面向对象
图形系统
类库
Keywords
Object-Orientation
Graphic System
Class Library
Reuse
分类号
TP391.41 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
CMMI的软件测量
被引量:
1
9
作者
侯红
郝克刚
机构
西北大学软件工程研究所
出处
《计算机科学》
CSCD
北大核心
2006年第11期289-292,共4页
基金
国家863计划(编号:2004AA115090)资助
文摘
本文从CMMI的体系结构出发,对CMMI中的软件测量进行了研究,分析了其测量的演进过程,总结分析了目前组织在实施CMMI时对测量的误解和存在的问题,最后,为帮助实施CMMI,给出了对实施效果进行评估的评价标准。
关键词
软件测量
CMMI
软件过程改进
Keywords
Software measurement, Capability maturity model integration (CMMI), Software process improvement
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
设计模式思想在构建软件框架过程中应用的探讨
被引量:
3
10
作者
袁绍欣
葛玮
机构
西北大学软件工程研究所
出处
《微机发展》
2003年第12期111-112,F003,共3页
文摘
许多文章在谈及设计模式和框架的关系时,多讨论它们之间的区别。而文中在介绍它们的区别之外,更多地是从设计模式提炼出的四个思想这个角度,以框架的含义为基础,来论述它们在软件设计上的联系,并针对这四个思想,逐一探讨了在软件项目开发过程中如何应用来构建软件框架。虽然这四个思想不是构件框架的全部思想,但无疑它们也是构件框架思想中不可或缺的。很好地应用这四个思想,将会提高框架的设计水平,增强框架的重用性。
关键词
面向对象
软件开发
设计模式思想
软件框架
Keywords
design patterns
framework
thinking of design patterns
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
扩展的信牌驱动模型中配对结构之研究
11
作者
王斌君
董护斌
郝克刚
机构
中国公安
大学
科技系
西北大学软件工程研究所
出处
《小型微型计算机系统》
CSCD
北大核心
2003年第11期1973-1977,共5页
基金
国家"8 63"高技术发展研究计划 ( 863 -3 0 1-ZT0 2 -0 4-0 1)的资助
文摘
在分层的工作流模型研究的基础上 ,指出了 WPDL 中 AND- JOIN的语义问题 ,并在扩展的信牌驱动模型层 ,对配对结构进行了系统、深入的研究 .形式地定义了最宽泛的配对概念和严格的正则配对的概念 ,分析了它们各自的优缺点 .然后定义了一个既有严格语义、性能可以确定 ,但要求相对宽泛、相对比较实用的扩展正则配对的概念 .利用此概念 。
关键词
工作流模型
扩展的信牌驱动模型
配对
PETRI网
Keywords
workflow model
extended Xinpai model
pair
normal pair
extended normal pair
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
软件维护外包后的缺陷修正流程改进及分析
12
作者
李玉鹏
侯红
机构
西北大学软件工程研究所
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第10期81-83,共3页
文摘
通过研究某公司的大型芯片测试软件维护(纠错性维护和完善性维护)跨国外包后的缺陷修正方法,总结得到了缺陷修正的基本控制流程。针对基本控制流程的缺点,从降低维护成本和提高缺陷修正的效率等方面出发,提出了一系列改进方案及新的缺陷修正流程,给出了流程改进后的软件质量保证和项目组的工作效率分析。
关键词
软件外包
缺陷修正
缺陷修正流程
流程改进分析
Keywords
Software outsourced
Defect fix
Defect fix process
Process amelioration and analysis
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
COSMIC-FFP方法的研究及应用
被引量:
3
13
作者
王昕渝
侯红
郝克刚
机构
西北大学软件工程研究所
出处
《计算机应用与软件》
CSCD
北大核心
2008年第10期11-13,共3页
基金
国家863计划"软件评测平台的研究与应用"课题(2004AA115090)的资助
文摘
随着我国软件外包行业的日渐兴起,越来越多公司开始注重对软件开发过程的控制,对软件度量的投入也越来越多。阐述了一种基于传统的IFPUG-FPA模型的演进规模估计模型—COSMIC-FFP模型及其应用。并提出了一种基于COSMIC全功能点和ISO 9126的新的定量的度量技术。应用COSMIC全功能点的规则和原理的软件结构度量了基本的交互变量,如耦合、内聚和复杂度。在ISO9126质量标准的基础上,将设计的度量方法应用于度量质量属性,如可维护性、可用性和可信度。
关键词
COSMIC-FFP软件度量
软件质量保证
耦合
内聚
复杂度
Keywords
COSMIC-FFP software measure Software quality assurance Coupling Cohesion Complexity
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
P129 [天文地球—天体测量]
下载PDF
职称材料
题名
基于依赖性的面向对象软件不同层面的测试用例生成
被引量:
3
14
作者
陈文海
葛玮
郝克刚
机构
西北大学软件工程研究所
出处
《计算机应用与软件》
CSCD
北大核心
2008年第4期9-11,42,共4页
基金
国家863项目(2001AA115090)
文摘
由于面向对象软件本身的特点,传统的面向过程的软件测试方法不再适用于面向对象的软件测试。在分析了面向对象软件测试的特征以及面向对象软件中各个不同层面的依赖关系的基础上,提出了针对各个不同层面上的测试用例生成的方法。
关键词
面向对象
软件测试
程序依赖图
类依赖图
Keywords
Object-oriented Software testing PDG CIDG
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
TU528.01 [建筑科学—建筑技术科学]
下载PDF
职称材料
题名
SRS质量的多级模糊综合评价算法的研究
被引量:
2
15
作者
于鹏伟
侯红
郝克刚
机构
西北大学软件工程研究所
出处
《计算机应用研究》
CSCD
北大核心
2009年第7期2492-2494,共3页
基金
国家"863"重点基金资助项目(2007AA010305)
文摘
从软件度量理论出发,借助模糊评价理论,提出了SRS质量评价算法,此算法充分考虑到评价因子间复杂的内在联系,有效地减少了群决策中出现的不一致性对质量评价的影响。它是对软件需求规格说明书质量更科学、更客观的一种度量方法。
关键词
SRS度量
评价指标
多级模糊综合评价
一致性
Keywords
SRS metrics
evaluation index
multilevel fuzzy comprehensive evaluation
consistency
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
模型检测在软件需求分析及设计中的应用
被引量:
3
16
作者
贺亚博
郝克刚
葛玮
机构
西北大学软件工程研究所
出处
《计算机应用与软件》
CSCD
2009年第4期128-130,共3页
文摘
模型检测技术因其完全自动化并且验证速度快的优点在硬件及协议的验证中广泛应用,近年来在软件领域的应用研究也不断涌现。总结了模型检测在软件需求分析及设计中已有的应用技术,包括利用模型检测工具对RSML,SCR和UML图形的检测,以及直接的模型检测,并从不同角度对已有技术进行系统的分析和比较。最后对该项技术研究的方向进行展望。
关键词
模型检测
模型检测工具
直接检测
Keywords
Model checking Model checker Checking directly
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
TN915.04 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
基于开源的软件缺陷管理工具的改进策略
被引量:
3
17
作者
罗霄
侯红
机构
西北大学软件工程研究所
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第1期65-67,70,共4页
基金
国家"863"计划基金资助项目(2004AA115090)
文摘
通过分析现有的软件缺陷管理工具的主要特点和局限性,结合企业内部从事软件测试组织的实际需求,针对软件缺陷管理流程的缺点,提出一个基于开源的软件缺陷管理工具的改进方案。给出改进后的软件缺陷的分析及度量方法,并以实际数据为例分析相关人员的工作效率和项目进展情况,为项目管理者的决策提供帮助。
关键词
软件测试
缺陷管理
缺陷度量
Keywords
software test
defect management
defect measurement
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于语义的Web服务匹配研究
被引量:
3
18
作者
吴芸
鱼滨
机构
西北大学软件工程研究所
西安电子科技
大学
出处
《计算机技术与发展》
2007年第3期16-19,共4页
基金
国家自然科学基金资助项目(60373103)
文摘
给出了一种基于OWL-S语言的服务描述以及服务的查找方法。该方法依据服务所必须满足的前置条件和后置条件作为判断服务匹配的准则,可以加快服务的匹配速度以及提高匹配精度,并在实际应用中证明了该方法的有效性。
关键词
WEB服务
OWL—S
前置条件
后置条件
匹配度
Keywords
Web services
Web ontology language for services
pre- condition
post- condition
matching degree
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
构件及基于构件的开发方法研究
被引量:
4
19
作者
郭胜旺
葛玮
机构
西北大学软件工程研究所
出处
《微机发展》
2005年第7期37-39,43,共4页
文摘
构件是软件复用的基础,CBD(基于构件的开发)方法是未来软件的解决方案。CBD方法能够利用领域最新技术和最佳解决方案,高效、快捷地开发出移动的面向服务的分布式系统。文中概述了构件及CBD方法的系列核心概念,同时列出了一些典型的CBD方法和实施CBD方法时的注意点。最后阐述了CBD方法需待研究和发展的部分。
关键词
构件
软件复用
面向服务
基于构件的开发
Keywords
component
software reuse
service-oriented
CBD
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于GQ(I)M模型的度量计划定义方法研究
20
作者
张立伟
侯红
机构
西北大学软件工程研究所
出处
《计算机工程与科学》
CSCD
2006年第z2期172-172,174,共2页
文摘
GQ(I)M模型是一种面向目标的定义度量的方法,在软件过程度量中被广泛采用.但是,由于定义度量时没有依赖具体的开发过程,且往往忽略了过程成熟度的考虑,定义的度量元不合理,使度量计划的制定很困难,并使度量的结果难以解释度量活动.本文提出了一种在GQ(I)M模型定义度量计划的方法基础上结合成熟度与过程建模的新的方法,最后对进一步的研究方向做了展望.
关键词
GQ(I)M
成熟度
软件过程度量
过程建模
软件度量定义
UML
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
软件度量筛选研究
侯红
张娟
宋擒豹
《计算机工程与应用》
CSCD
北大核心
2009
1
下载PDF
职称材料
2
面向对象软件中类内聚度度量分析与研究
陈文海
葛玮
郝克刚
侯红
《计算机应用研究》
CSCD
北大核心
2007
3
下载PDF
职称材料
3
基于电信数据仓库系统的ETL研究与设计
李颖
郝克刚
葛玮
《计算机应用与软件》
CSCD
2009
12
下载PDF
职称材料
4
基于Web Services的分布式工作流的研究与实现
褚红伟
葛玮
《计算机应用研究》
CSCD
北大核心
2005
10
下载PDF
职称材料
5
软件缺陷度量
张瑞
郝克刚
《计算机应用研究》
CSCD
北大核心
2005
10
下载PDF
职称材料
6
Web服务动态组合中QoS计算方法研究
张琦
侯红
《计算机工程》
CAS
CSCD
北大核心
2011
2
下载PDF
职称材料
7
工作流流程动态仿真技术的研究
付丽娜
郝克刚
《计算机工程与应用》
CSCD
北大核心
2009
2
下载PDF
职称材料
8
面向对象图形系统之研究
王斌君
葛玮
郝克刚
《小型微型计算机系统》
CSCD
北大核心
1996
1
下载PDF
职称材料
9
CMMI的软件测量
侯红
郝克刚
《计算机科学》
CSCD
北大核心
2006
1
下载PDF
职称材料
10
设计模式思想在构建软件框架过程中应用的探讨
袁绍欣
葛玮
《微机发展》
2003
3
下载PDF
职称材料
11
扩展的信牌驱动模型中配对结构之研究
王斌君
董护斌
郝克刚
《小型微型计算机系统》
CSCD
北大核心
2003
0
下载PDF
职称材料
12
软件维护外包后的缺陷修正流程改进及分析
李玉鹏
侯红
《计算机工程》
CAS
CSCD
北大核心
2007
0
下载PDF
职称材料
13
COSMIC-FFP方法的研究及应用
王昕渝
侯红
郝克刚
《计算机应用与软件》
CSCD
北大核心
2008
3
下载PDF
职称材料
14
基于依赖性的面向对象软件不同层面的测试用例生成
陈文海
葛玮
郝克刚
《计算机应用与软件》
CSCD
北大核心
2008
3
下载PDF
职称材料
15
SRS质量的多级模糊综合评价算法的研究
于鹏伟
侯红
郝克刚
《计算机应用研究》
CSCD
北大核心
2009
2
下载PDF
职称材料
16
模型检测在软件需求分析及设计中的应用
贺亚博
郝克刚
葛玮
《计算机应用与软件》
CSCD
2009
3
下载PDF
职称材料
17
基于开源的软件缺陷管理工具的改进策略
罗霄
侯红
《计算机工程》
CAS
CSCD
北大核心
2009
3
下载PDF
职称材料
18
基于语义的Web服务匹配研究
吴芸
鱼滨
《计算机技术与发展》
2007
3
下载PDF
职称材料
19
构件及基于构件的开发方法研究
郭胜旺
葛玮
《微机发展》
2005
4
下载PDF
职称材料
20
基于GQ(I)M模型的度量计划定义方法研究
张立伟
侯红
《计算机工程与科学》
CSCD
2006
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
3
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部