期刊文献+
共找到266篇文章
< 1 2 14 >
每页显示 20 50 100
一种软件测试需求建模及测试用例生成方法 被引量:48
1
作者 杨波 吴际 +2 位作者 徐珞 毕考 刘超 《计算机学报》 EI CSCD 北大核心 2014年第3期522-538,共17页
测试在需求分析阶段就开始介入,不仅能帮助开发人员更有效地完善需求,也能让测试人员设计出更贴近需求的测试.同时当需求进行了更改之后,测试人员也能及时和准确地了解需求的变化、更改测试需求.利用模型驱动的思想,对测试需求的概念进... 测试在需求分析阶段就开始介入,不仅能帮助开发人员更有效地完善需求,也能让测试人员设计出更贴近需求的测试.同时当需求进行了更改之后,测试人员也能及时和准确地了解需求的变化、更改测试需求.利用模型驱动的思想,对测试需求的概念进行阐述.定义了一种测试需求的元模型和测试需求建模方法,利用测试需求建模方法,可以得到测试需求模型,从而得到相应的测试目标,生成所对应的测试用例.并给出了对SIP协议进行测试的实验分析,在其中体现了利用测试需求建模得出的测试需求模型的作用. 展开更多
关键词 需求工程 软件需求 软件测试 测试需求 模型 测试用例中图法
下载PDF
一种面向产品规划过程的组合质量屋 被引量:36
2
作者 王美清 唐晓青 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2004年第7期652-656,共5页
针对现代产品设计规划过程中对规划信息的集成性、准确性和完备性的要求 ,提出了一种面向产品规划过程的组合质量屋 ,并给出了构建组合质量屋的过程和方法 .该组合质量屋包括用户需求质量屋、产品技术特性质量屋和综合质量屋 .在构建组... 针对现代产品设计规划过程中对规划信息的集成性、准确性和完备性的要求 ,提出了一种面向产品规划过程的组合质量屋 ,并给出了构建组合质量屋的过程和方法 .该组合质量屋包括用户需求质量屋、产品技术特性质量屋和综合质量屋 .在构建组合质量屋的过程中 ,采用网络分析法确定产品技术特性的相对重要度 ,该方法能综合考虑用户需求间、产品技术特性间以及用户需求层和产品技术特性层之间的相互协作和相互冲突的关系 ,使得规划结果更加准确可靠 .此外 ,还综合考虑了产品全生命周期各阶段定性和定量约束对规划结果的影响 .最后 ,通过实例研究了运用组合质量屋进行产品规划的步骤和方法 。 展开更多
关键词 产品规划 优化 质量功能配置 质量屋 网络分析法
下载PDF
需求工程研究新进展 被引量:21
3
作者 张家重 徐家福 《计算机研究与发展》 EI CSCD 北大核心 1998年第1期1-5,共5页
需求工程研究进展日渐显著,它可归结为需求工程的对象化、形式化和自动化三个主要方面.文中在讨论了需求工程有关的基本问题之后,围绕着上述三方面总结了其代表性工作、研究现状和发展趋势,并简要介绍了作者近期在面向对象需求工程... 需求工程研究进展日渐显著,它可归结为需求工程的对象化、形式化和自动化三个主要方面.文中在讨论了需求工程有关的基本问题之后,围绕着上述三方面总结了其代表性工作、研究现状和发展趋势,并简要介绍了作者近期在面向对象需求工程及其自动化方面所做的一些工作. 展开更多
关键词 需求工程 面向对象 软件自动化 软件开发
下载PDF
基于SPC的软件需求度量方法 被引量:19
4
作者 王青 李明树 《计算机学报》 EI CSCD 北大核心 2003年第10期1312-1317,共6页
软件需求管理是软件生产与质量管理的重要内容 .面对今天以需求变化难以控制为主要特点的软件危机 ,我们一方面必须采用更加合适的软件工程和需求工程方法 ,去适应需求的不断变化和增长 ;同时还必须采用合适的度量方法和手段 ,去分析需... 软件需求管理是软件生产与质量管理的重要内容 .面对今天以需求变化难以控制为主要特点的软件危机 ,我们一方面必须采用更加合适的软件工程和需求工程方法 ,去适应需求的不断变化和增长 ;同时还必须采用合适的度量方法和手段 ,去分析需求变化的趋势和原因 ,并控制和管理需求的变化 .该文提出了一种以统计过程控制原理对软件项目的需求变化进行统计控制 ,并对异常波动进行度量分析的软件需求度量方法 . 展开更多
关键词 软件开发 软件需求度量方法 SPC 软件需求管理 软件工程
下载PDF
软件需求定量分析及其映射的模糊层次分析法 被引量:19
5
作者 熊伟 新藤久和 渡边喜道 《软件学报》 EI CSCD 北大核心 2005年第3期427-433,共7页
在用数量化理论 3 类(quantification theory of type 3,简称 QT3)定量地分析软件需求的基础上,以质量功能展开(quality function deployment,简称 QFD)中的质量屋(house of quality,简称 HOQ)系列矩阵为纲领,基于由模糊技术改进后的模... 在用数量化理论 3 类(quantification theory of type 3,简称 QT3)定量地分析软件需求的基础上,以质量功能展开(quality function deployment,简称 QFD)中的质量屋(house of quality,简称 HOQ)系列矩阵为纲领,基于由模糊技术改进后的模糊层次分析法(fuzzy analytic hierarchy process,简称 FAHP),提出了一种软件需求定量分析及其向设计实现过程模糊映射的方法.将该方法具体应用于 CD-R/RW 光盘刻录机软件的开发过程,其有效性得到了验证. 展开更多
关键词 需求工程 数量化理论3类(QT3) 层次分析法(AHP) 质量屋(HOQ) 模糊技术
下载PDF
从需求到软件体系结构:一种面向特征的映射方法 被引量:8
6
作者 刘冬云 梅宏 《北京大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第3期372-378,共7页
需求工程与软件体系结构构造是软件生命周期的两个关键活动。分析了解决这一问题的传统的映射方案 (如在结构化方法和面向对象方法中所采用的映射方案 )的不足 ,引入了一种面向特征的映射方法 ,阐述了这一方法的原理、建模表示及映射步... 需求工程与软件体系结构构造是软件生命周期的两个关键活动。分析了解决这一问题的传统的映射方案 (如在结构化方法和面向对象方法中所采用的映射方案 )的不足 ,引入了一种面向特征的映射方法 ,阐述了这一方法的原理、建模表示及映射步骤 ,并以“银行账户与事务系统(BAT系统 )” 展开更多
关键词 需求工程 软件体系结构 特征
下载PDF
软件流水中的循环展开优化 被引量:16
7
作者 李文龙 刘利 汤志忠 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2004年第11期1111-1115,共5页
在软件流水中应用循环展开可以实现分数值的启动间距 ,提高资源的利用率 ,同时基于展开的优化技术可以降低程序的资源需求和关键路径的长度 .提出了基于程序特性的展开因子算法UTBPC(UnrollingTimesBasedProgramCharacter istics) ,解... 在软件流水中应用循环展开可以实现分数值的启动间距 ,提高资源的利用率 ,同时基于展开的优化技术可以降低程序的资源需求和关键路径的长度 .提出了基于程序特性的展开因子算法UTBPC(UnrollingTimesBasedProgramCharacter istics) ,解决了循环展开的核心问题———展开因子的确定 ,同时提出了基于展开的软件数据预取优化技术 ,提高了软件数据预取的效率 .所有这些都在ORC(OpenRe searchCompiler)中实现 ,并对SPEC 2 0 0 0中的程序进行了测试 ,平均性能提高了 2 .6% .实验结果表明新提出的算法和基于展开的数据预取优化技术提高了编译器的整体性能 . 展开更多
关键词 计算机软件 软件流水 循环展开 展开因子 数据预取
下载PDF
军事需求工程研究综述 被引量:19
8
作者 段采宇 张维明 +1 位作者 余滨 石建迈 《系统工程与电子技术》 EI CSCD 北大核心 2007年第12期2197-2203,共7页
军事需求工程是用工程化手段解决军事系统建设的有效性问题,军事需求工程研究综述对促进军事需求工程研究、建立健全军事需求生成机制等方面具有意义。围绕军事需求开发、军事需求管理和军事需求检验三个方面,对军事需求工程技术进行了... 军事需求工程是用工程化手段解决军事系统建设的有效性问题,军事需求工程研究综述对促进军事需求工程研究、建立健全军事需求生成机制等方面具有意义。围绕军事需求开发、军事需求管理和军事需求检验三个方面,对军事需求工程技术进行了探讨。分析总结了国防领域的相关研究成果和典型应用。研究发现军事需求工程正向实用化、规范化、制度化方向发展。 展开更多
关键词 军事需求 需求工程 开发 管理 检验
下载PDF
面向对象、泛型程序设计与类型约束检查 被引量:14
9
作者 孙斌 《计算机学报》 EI CSCD 北大核心 2004年第11期1492-1504,共13页
该文对面向对象和泛型程序设计 (genericprogramming)的核心思想和方法进行了较为深入的分析 ,阐明了各自的目标、技术特征及其优缺点所在 ,介绍了泛型程序设计针对对象技术的不足所引进的重大革新 ,即通过类型需求抽象来设计通用、高... 该文对面向对象和泛型程序设计 (genericprogramming)的核心思想和方法进行了较为深入的分析 ,阐明了各自的目标、技术特征及其优缺点所在 ,介绍了泛型程序设计针对对象技术的不足所引进的重大革新 ,即通过类型需求抽象来设计通用、高效的数据结构和算法 ;着重论述了作者在进一步增强泛型程序设计实际运用方面所提出的改进工作 ,以C ++语言的一个泛型编程扩充语言C 为实施例 ,详细说明了如何通过一种叫做“命名类型约束”的新的机制来比较完整地实现静态类型需求的直接语言支持和编译检查 ,为当前泛型程序设计模型的首例编程语言实例 . 展开更多
关键词 面向对象 泛型程序设计 需求检查 类型约束 程序设计
下载PDF
基于UML模型的C^4ISR系统能力需求分析与验证 被引量:18
10
作者 王智学 董庆超 +1 位作者 陈彬 陈剑 《系统工程与电子技术》 EI CSCD 北大核心 2009年第9期2167-2171,共5页
针对复杂的C4ISR需求分析,提出一种系统的能力需求获取和分析方法。该方法从分析作战使命入手,采用统一建模语言(unified modeling language,UML)建模技术对作战目标和任务场景建模,通过活动模型分析自动建立C4ISR能力需求的概念模型。... 针对复杂的C4ISR需求分析,提出一种系统的能力需求获取和分析方法。该方法从分析作战使命入手,采用统一建模语言(unified modeling language,UML)建模技术对作战目标和任务场景建模,通过活动模型分析自动建立C4ISR能力需求的概念模型。此外,采用本体描述语言(OWL DL)对能力概念形式化描述,由此可以通过符号推理系统检查模型的完整性和一致性。给出了应用该方法的具体示例,并通过实验工具验证其有效性。 展开更多
关键词 需求工程 系统建模 能力需求分析 模型驱动的体系结构
下载PDF
软件可靠性参数研究 被引量:13
11
作者 陆民燕 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第2期241-244,共4页
确定软件可靠性的定量要求是软件可靠性工程面临的首要工作内容 .本文讨论了软件可靠性定量要求的意义、特点、描述 ,对一般的软件可靠性参数进行了分析 ,提出了结合武器装备特点的软件可靠性参数 ,并给出了软件可靠性参数的选取及其指... 确定软件可靠性的定量要求是软件可靠性工程面临的首要工作内容 .本文讨论了软件可靠性定量要求的意义、特点、描述 ,对一般的软件可靠性参数进行了分析 ,提出了结合武器装备特点的软件可靠性参数 ,并给出了软件可靠性参数的选取及其指标确定应考虑的因素 . 展开更多
关键词 可靠性 参数测量 软件 可靠性参数
下载PDF
需求分析与获取的方法学与技术 被引量:10
12
作者 陈晓桦 刘心松 《计算机应用》 CSCD 1995年第2期19-21,共3页
本文给出需求工程的一般框架,在对需求分类的基础上主要讨论非功能性(即非行为性)需求,提出对软件需求规范和分析技术的要求,并强调对现有相关工作评价的其中两个方面。
关键词 软件开发 需求分析 需求规范 需求工程
下载PDF
需求管理工具在需求工程中的作用 被引量:6
13
作者 杜源 唐宁九 《计算机应用研究》 CSCD 北大核心 2005年第2期173-174,185,共3页
给出了软件需求工程的概念并阐述了软件需求工程的主要组成内容,对市场流行的软件需求管理工具的特点和作用进行了介绍和比较,并对软件需求管理工具的发展方向作出预测。
关键词 需求工程 需求管理 需求管理工具
下载PDF
航空武器装备顶层论证技术发展现状与趋势 被引量:14
14
作者 李清 闫娟 +2 位作者 朱家强 黄涛 臧精 《航空学报》 EI CAS CSCD 北大核心 2016年第1期1-16,共16页
航空武器装备顶层论证是航空武器装备论证的重要内容,是航空武器装备发展的顶层设计与型号发展的先期论证。开展航空武器装备顶层论证,是实现航空武器装备体系对抗的需要,也是航空武器装备由跟踪发展向自主创新跨越的需要。分析了航空... 航空武器装备顶层论证是航空武器装备论证的重要内容,是航空武器装备发展的顶层设计与型号发展的先期论证。开展航空武器装备顶层论证,是实现航空武器装备体系对抗的需要,也是航空武器装备由跟踪发展向自主创新跨越的需要。分析了航空武器装备顶层论证技术面临的挑战,回顾了航空武器装备顶层论证技术从产生到逐步完善的发展历程,剖析了航空武器装备顶层论证当前面临的技术难点与可能的应对策略,探讨了航空武器装备顶层论证技术当前及今后一个时期的研究重点与发展趋势。 展开更多
关键词 航空武器装备 顶层论证 需求工程 体系设计 效能评估 推演仿真
原文传递
基于QR二维码和数据聚合的农业产品追溯服务系统设计 被引量:13
15
作者 文斌 梁鹏 罗自强 《小型微型计算机系统》 CSCD 北大核心 2014年第2期261-265,共5页
服务作为承载和放大计算基础设施能力的软件生产方式成就云计算资源共享能力,针对传统条码追溯系统的缺陷,结合互联网计算环境,聚焦研究面向服务的基于QR二维码和数据聚合的农产品追溯服务系统关键方法和技术,主要工作为:1)创新设计符... 服务作为承载和放大计算基础设施能力的软件生产方式成就云计算资源共享能力,针对传统条码追溯系统的缺陷,结合互联网计算环境,聚焦研究面向服务的基于QR二维码和数据聚合的农产品追溯服务系统关键方法和技术,主要工作为:1)创新设计符合国标的QR二维码的农产品元数据编码,追溯码的分析深入到农产品的生产加工环节,构建农产品编码建立、发布和识别算法及先进软件系统;2)设计采用RESTful Web服务与ATOM数据协议的追溯信息服务计算体系结构,满足物联网中异构多客户端快速、轻量级获取服务信息需求;3)探索服务信息通告模型和方法,并设计其在农产品追溯服务系统中的应用架构.本研究使农产品追溯信息的收集、管理、查询等更加便捷、快速和高效,基于服务计算技术为农产品追溯服务的实现和普及使用提供一种技术上可操作、成本效益上可行的技术解决方案. 展开更多
关键词 WEB服务 追溯服务 QR二维码 数据聚合
下载PDF
需求变更管理过程及其工具分析与展望 被引量:10
16
作者 秦众森 李娟 《计算机工程与设计》 CSCD 北大核心 2009年第11期2601-2605,2614,共6页
对软件开发中的需求变更的产生原因及对项目的影响做了分析和讨论,介绍和研究了不同方法学中对于需求变更管理的要求和处理过程,并对这些主流的方法学中的变更管理过程做了一些总结和比较。对需求变更管理工具应该提供的功能做了一些讨... 对软件开发中的需求变更的产生原因及对项目的影响做了分析和讨论,介绍和研究了不同方法学中对于需求变更管理的要求和处理过程,并对这些主流的方法学中的变更管理过程做了一些总结和比较。对需求变更管理工具应该提供的功能做了一些讨论,比较了部分主流的需求管理工具中的变更管理功能,最后对软件需求管理工具的未来的发展方向进行了展望。 展开更多
关键词 需求变更 变更管理 需求工程 软件工程 需求工具
下载PDF
基于企事业模型的软件需求工程方法 被引量:7
17
作者 崔立元 罗燕京 李刚 《计算机工程与应用》 CSCD 北大核心 2002年第7期101-103,238,共4页
在当前软件开发中,软件需求的获取和分析在软件开发中变得越来越重要。该文针对大型管理信息系统的实际要求,提出了一种基于企事业模型的方法,并给出了具体的实施步骤。该方法适用于企事业信息系统的需求分析,具有与实践结合紧密,与用... 在当前软件开发中,软件需求的获取和分析在软件开发中变得越来越重要。该文针对大型管理信息系统的实际要求,提出了一种基于企事业模型的方法,并给出了具体的实施步骤。该方法适用于企事业信息系统的需求分析,具有与实践结合紧密,与用户交流方便,支持重用,工具支持等特点。 展开更多
关键词 企事业模型 软件需求工程 软件开发 计算机
下载PDF
网络分布式并行计算的负载平衡 被引量:5
18
作者 胡凯 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2004年第11期1121-1124,共4页
利用分布式系统动态负载平衡的原理 ,设计了一种适应网络分布式并行计算环境的负载平衡实现机制 ,采用集中式负载信息收集策略 ,集中和分布式相结合的传输控制策略 .定义了一种新的复合型负载指标来衡量各处理机的负载程度 .讨论了相应... 利用分布式系统动态负载平衡的原理 ,设计了一种适应网络分布式并行计算环境的负载平衡实现机制 ,采用集中式负载信息收集策略 ,集中和分布式相结合的传输控制策略 .定义了一种新的复合型负载指标来衡量各处理机的负载程度 .讨论了相应的理论和实现中的关键问题 ,给出了主要的实现策略和算法 .仿真比较研究表明这种体系结构和相应策略能对网络环境下分布式并行计算提供有力支持 . 展开更多
关键词 网络分布式并行计算 负载平衡 负载指标 进程迁移
下载PDF
知识引导的软件可信性需求的提取 被引量:9
19
作者 王越 刘春 +1 位作者 张伟 金芝 《计算机学报》 EI CSCD 北大核心 2011年第11期2165-2175,共11页
软件系统的可信性已经成为一个受到广泛关注的焦点问题.开发可信的软件系统的前提是在需求阶段提取恰当的可信性需求.能否提取出足够好的软件可信性需求,不仅依赖于需求工程师对未来软件系统可能面临的威胁的认识,还依赖于其对各种威胁... 软件系统的可信性已经成为一个受到广泛关注的焦点问题.开发可信的软件系统的前提是在需求阶段提取恰当的可信性需求.能否提取出足够好的软件可信性需求,不仅依赖于需求工程师对未来软件系统可能面临的威胁的认识,还依赖于其对各种威胁有效的应对措施的了解和掌握.目前缺少系统化的方法指导软件可信性需求的提取.文中提出一个软件可信性需求上层本体作为软件可信性需求的概念框架.在此框架的基础上,开发了一个软件可信性需求知识库,定义了软件可信性需求模式框架以及如何根据知识库的内容进行模式实例化的过程,帮助提取可信需求.最后利用一个股票交易系统作为案例展示了该方法的可行性. 展开更多
关键词 可信需求 可信需求模式 可信需求获取 需求工程
下载PDF
企业级数据仓库设计方法及其实施的关键因素研究 被引量:7
20
作者 鲍玉斌 史捷 +2 位作者 王大玲 嵇晓 于戈 《控制与决策》 EI CSCD 北大核心 2004年第12期1378-1382,共5页
数据仓库是支持企业全局决策的有效技术.首先讨论了数据仓库的基本结构和组成,并给出了数据仓库系统的形式化描述;然后给出了基于软件工程思想的具有7个阶段的数据仓库设计方法,并详细讨论了各个阶段的主要工作和技术;最后,给出了成功... 数据仓库是支持企业全局决策的有效技术.首先讨论了数据仓库的基本结构和组成,并给出了数据仓库系统的形式化描述;然后给出了基于软件工程思想的具有7个阶段的数据仓库设计方法,并详细讨论了各个阶段的主要工作和技术;最后,给出了成功建设数据仓库的关键因素的分类. 展开更多
关键词 数据仓库 体系结构 设计方法 关键因素
下载PDF
上一页 1 2 14 下一页 到第
使用帮助 返回顶部