题名 遗传算法及其在软件测试数据生成中的应用研究
被引量：25
1
作者
汪浩 谢军凯 高仲仪
机构
北京航空航天大学 软件 工程 研究所
出处
《计算机工程与应用》
CSCD
北大核心
2001年第12期64-68,共5页
基金
航空基金!"飞机全生命期过程的建模和分析系研究"的资助
文摘
文中首先给出了遗传算法的形式化的表示和一个基于此算法的测试数据生成系统原型。然后结合一个典型的测试单元例程，介绍系统实现中必须解决的参数选取、参数编码、评价函数的构造及驱动模块自动生成等关键问题。最后，介绍了一个实用的Ada软件测试数据生成工具——TCAG。
关键词
软件测试 遗传算法 程序插装 数据生成 软件工程
Keywords
： software testing，genetic algorithms，test data，program instrumentation
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 软件构件的可信保证研究
被引量：14
2
作者
郭树行 兰雨晴 金茂忠
机构
北京航空航天大学 软件 工程 研究所
出处
《计算机科学》
CSCD
北大核心
2007年第5期243-246,共4页
文摘
近年来,可信构件的研究逐渐引起软件工程领域的重视。可信构件研究与应用的目标是为了给基于构件的软件工程(CBSE)提供坚实的基础,而方法就是通过扩展与完善可信重用的软件构件(可信构件)库。构件的可信来源于可信保障技术的应用,如:契约设计的使用、正确性的数学证明、软件测试、详细的代码走查、基于度量的评估、实际项目的验证、严格的变更管理等。本文通过分析可信构件研究的若干领域,总结出构件可信性的3个角度,探讨了可信构件研究的不足之处,并分析其原因。作为总结,给出了可信构件领域研究需要解决的若干问题。
关键词
可信构件 可信构件质量模型 构件验证 形式化开发
Keywords
Trusted component, Quality model of trusted component, Components certification, Formal development
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 软件过程改进中项目计划与跟踪的实例研究
被引量：6
3
作者
孙蔚 徐红 王养廷 周光 刘美红
机构
北京航空航天大学 软件 工程 研究所
出处
《计算机工程与应用》
CSCD
北大核心
2001年第23期133-135,168,共4页
基金
浪潮集团山东通用软件有限公司科研项目基金资助
文摘
项目的计划与跟踪是软件过程管理与改进活动中应该首先着手的方面。成熟的软件开发组织能够通过有效的软件项目计划与跟踪实现对项目的策划与监控。文章立足小组软件过程,以实际项目为背景,着重介绍了以项目计划和跟踪为主的软件过程改进实施活动。在此基础上,分析了相关项目的计划与跟踪数据,研究总结了实施中遇到的问题和经验,并提出了进一步完善的措施及相关支持工具的研制。
关键词
软件能力成熟度 软件过程改进 软件项目计划 软件项目跟踪 软件工程
Keywords
software capability maturity,software process improvement,team software process,software project planning,software project tracking
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 软件体系结构描述语言研究现状分析
被引量：5
4
作者
田丽从 张莉 周伯生
机构
北京航空航天大学 软件 工程 研究所
出处
《计算机科学》
CSCD
北大核心
2005年第2期109-113,共5页
基金
北京市科技新星计划资助项目(项目编号:H013610270112)
文摘
软件体系结构描述语言ADL(Architecture Description Language)为软件体系结构的表示和分析提供了语言符号和支持工具。目前,已定义的ADL超过20种,新的ADL还在不断出现。然而,各种ADL并没有在实际项目开发中得到真正的推广。为了明确ADL的研究进展情况,分析了ADL的研究现状,讨论了ADL研究中存在的主要问题及解决思路。
关键词
ADL 研究现状 分析 研究进展 主要问题 软件体系结构 描述语言 支持工具 表示 项目开发
Keywords
Architecture Description Languages (ADLs) Software architecture Unified Modeling Language (UML) Design process Comparison
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
R743.3
[医药卫生—神经病学与精神病学]
题名 有效改善软件过程方法研究
被引量：14
5
作者
李健 金茂忠
机构
北京航空航天大学 软件 工程 研究所
出处
《计算机研究与发展》
EI
CSCD
北大核心
2001年第1期26-35,共10页
基金
国家"八六三"高技术研究发展计划基金!(86 3-30 6 -zd12 -0 2 -2 ) 航空基金!(99F5 110 2 )
文摘
改善软件过程是软件生产和发展软件产业的必由之路 .结合目前软件过程工程领域研究现状 ,研究分析两种软件过程改善的方法 :自顶向下和自底向上 .自顶向下的方法以 CMM模型框架为基础 ,结合其 5层结构指导企业软件过程的改善 ;自底向上的方法根据企业及其具体软件项目的特点 ,采取“理解”-“评估”-“打包”的软件过程改善过程 ,“理解”过程目的是建立软件过程基线 ,“评估”过程是引进过程变更并评估过程变更造成的影响 ,“打包”过程是评估成功过程变更得到的经验并形成新的过程规范 .最后从软件过程改善目标、软件过程基线、软件过程变更评价。
关键词
软件质量 软件过程 软件开发 计算机 软件过程评估
Keywords
software quality, software process, software process improvement, CMM software process understanding, software process assessinH
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 基于CMM的软件过程度量系统的研究与设计
被引量：7
6
作者
钱红兵 朱丽娟 曹惠民
机构
北京航空航天大学 软件 工程 研究所
出处
《计算机应用研究》
CSCD
北大核心
2004年第6期49-52,共4页
基金
国家"86 3"高技术计划资助项目(2 0 0 1AA1 1 30 0 90 )
文摘
首先描述了软件过程的度量过程 ,结合软件度量定义模型GQ(I)M提供的方法和软件能力成熟度模型(CMM)提供的过程框架 ,给出了项目跟踪与监控过程域的一些度量实例 ,在此基础上完成了软件过程度量系统的设计 ;最后 。
关键词
软件过程度量 能力成熟度模型 统计过程控制
Keywords
Software Process Measurement Capability Maturity Model (CMM) Statistical Process Control
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 软件过程度量技术的研究
被引量：13
7
作者
李健 金茂忠
机构
北京航空航天大学 软件 工程 研究所
出处
《计算机工程与应用》
CSCD
北大核心
2001年第5期86-90,共5页
基金
航空科学基金资助项目!(编号:99F51102)
文摘
软件度量是软件项目管理的关键技术。文章在介绍度量基本概念的基础上，重点分析对软件过程的度量，包括分析不同过程成熟度层次对度量的需求。研究系统化的问题驱动的度量过程ISPM（Issue－driven Software Process Measurement），包括“剪裁”、“应用”、“实现”三个子过程。分析针对软件过程的三大类度量内容和它们子类及子类之间的结构关系，并结合软件过程的层次特性细化度量子类在各个层次的具体表现。最后探讨度量过程随着软件过程成熟度的提高而随之改善的方法。
关键词
软件过程度量 软件开发 面向对象 软件产品
Keywords
： Software Process，Measurement，Measurement Process，CMM
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 中小型企业软件过程改善方法研究
被引量：13
8
作者
李健 金茂忠
机构
北京航空航天大学 软件 工程 研究所
出处
《计算机工程与应用》
CSCD
北大核心
2001年第19期107-111,共5页
基金
航空科学基金资助项目(编号:99F51102)
文摘
软件过程改善是各个企业建立适合自身软件生产线和促进软件工业化生产的必由之路。软件过程理论和技术的研究与应用始终存在一定的差距,在国内外成功应用并受益于这些软件经验与技术的企业多数是国防企业和大型的商业企业,中小型企业具有不同于大型企业的企业特征,这些特征有些有利于软件工程技术的应用与实施,而有些又限制了软件工程技术的应用与实施。软件过程改善的关键是量体裁衣,以理论和模型为指导,充分结合企业特征,进行适合企业特色的软件过程改善。该文在分析中小型软件企业的企业文化、企业规模、软件生产的创新能力、动态变化能力、技术革新能力等特征的基础上,提出在对中小型软件企业进行过程改善时应突出几个方面,一是过程改善应充分利用开发组的丰富创造能力为解决过程改善问题提出方案,在确立过程改善目标时应尽可能多地涉及各种层次的项目组人员,同时采取划分过程改善任务单元的方法,不破坏软件开发过程的连续性;二是过程改善得到的结果应不限制团体的创造性,对过程改善结果的应用应针对具体项目相关的问题,而非建立一般性的软件过程规范。三是过程改善是应着重企业关心的目标,不一定完全依从CMM。在进行过程改善时,应实施“项目分析”关键子域,“项目分析”是以过程度量为核心的,分析?
关键词
软件过程 软件质量 软件工程 中小型企业
Keywords
Software Process,Software Quality,Software Process Improvement(SPI),CMM,PSP,Activity,SQEE
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
F276.3
[经济管理—企业管理]
题名 基于企事业模型的软件需求工程方法
被引量：7
9
作者
崔立元 罗燕京 李刚
机构
北京航空航天大学 软件 工程 研究所
出处
《计算机工程与应用》
CSCD
北大核心
2002年第7期101-103,238,共4页
文摘
在当前软件开发中,软件需求的获取和分析在软件开发中变得越来越重要。该文针对大型管理信息系统的实际要求,提出了一种基于企事业模型的方法,并给出了具体的实施步骤。该方法适用于企事业信息系统的需求分析,具有与实践结合紧密,与用户交流方便,支持重用,工具支持等特点。
关键词
企事业模型 软件需求工程 软件开发 计算机
Keywords
Requirements Engineering,Enterprise model,Enterprise process
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 基于元模型的软件开发与管理集成研究
被引量：4
10
作者
葛科 周伯生 周建国
机构
北京航空航天大学 软件 工程 研究所
出处
《计算机工程与应用》
CSCD
北大核心
2001年第12期27-30,68,共5页
基金
国家自然科学基金!批准号:6980300 美国FunSoft公司科研基金
文摘
当今软件开发呈现一些新特点：团队并行开发，基于模型的软件开发，迭代增量开发等。开发过程是如此复杂，融合软件开发与管理支持的环境成为必要。文章认为开发与管理集成的关键是：环境提供对元模型的支持，以UML为基础的软件产品标准化，多种开发工具的数据集成和良好的数据管理机制。文章介绍了将开发与管理融为一体的集成化环境UML＿IDME，集中讨论环境如何提供和协调过程模型，产品模型，组织模型和开发工具集合来达到开发与管理集成的目的。此外，还讨论了过程模型如何组织，指导和监控软件开发。
关键词
软件开发环境 软件开发管理 软件体系结构 元模型
Keywords
： Software Development and Management Environment，Process Engineering Environment，Unified Modeling Language（UML），Software Architecture
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 一种有效的软件测试工程化方法
被引量：3
11
作者
曹明 孙昌爱 刘超
机构
北京航空航天大学 软件 工程 研究所
出处
《计算机工程与应用》
CSCD
北大核心
2003年第5期127-128,147,共3页
文摘
合适的软件测试方法可以明显提高软件测试的质量和效率。该文以POCERM软件测试过程模型为基础,结合一个实际测试项目,阐述了一种有效的软件测试工程化方法。
关键词
软件测试工程化方法 软件开发 软件工程 软件测试 过程模型 面向对象 软件开发工具
Keywords
software engineering,software testing,process model
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 软件体系结构层次的适应性度量技术研究
被引量：7
12
作者
高晖 张莉
机构
北京航空航天大学 软件 工程 研究所
出处
《计算机科学》
CSCD
北大核心
2008年第4期259-264,共6页
基金
新世纪优秀人才支持计划资助~~
文摘
软件适应特定变化的能力对软件开发和维护都具有重要的影响。软件适应性(Software Flexibility)是反映软件适应变化能力的一项重要质量特征。实践说明软件体系结构设计在很大程度上决定了软件的适应性。在软件体系结构层次上量化地度量软件适应性,有助于设计人员改善和比较软件体系结构的设计方案,并可以辅助设计人员评价软件体系结构的质量。本文首先定义了软件适应性的因素-准则-度量模型(FCM模型);然后在此基础上提出了一种利用变化影响图(CIG)对软件适应性进行度量的方法。
关键词
软件适应性 软件体系结构 软件度量 变化影响图
Keywords
Software flexibility, Software architecture, Software metrics, Software quality
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
U416.221
[交通运输工程—道路与铁道工程]
题名 基于本体的软件测试知识管理模型研究
被引量：4
13
作者
赫建营 晏海华 刘超
机构
北京航空航天大学 软件 工程 研究所
出处
《计算机科学》
CSCD
北大核心
2007年第10期281-283,289,共4页
基金
国家自然科学基金(编号:60373016)。
文摘
本文针对知识管理在软件测试领域的具体应用,提出了一个基于本体的软件测试知识管理模型,其关注的主要对象是软件测试过程中产生的具有高知识密集性的创造性文档。该模型的主要思想是:将软件测试知识分为个人知识和组织知识,并以本体索引的自由文本为软件测试知识的方式得以表示和组织,然后根据SWEBOK软件测试领域本体得到分类保存,最终目的是协助软件测试知识以"知识螺旋"的方式得以共享和重用。
关键词
本体 软件测试 知识管理
Keywords
Ontology, Software testing, Knowledge management
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 软件过程中的度量数据收集方法研究
被引量：6
14
作者
周宇 钱红兵
机构
北京航空航天大学 软件 工程 研究所
出处
《计算机应用研究》
CSCD
北大核心
2005年第1期20-22,共3页
基金
国家"863"计划资助项目(2001AA110243)
文摘
度量数据收集在软件过程改善实践中起着重要作用,但是往往在研究中受到忽视。介绍了软件过程数据收集方法和技术的发展历程,提出了软件过程度量数据收集方法的评价准则,给出了一个软件过程度量数据自动收集的框架,并且列举了四种实现方法。
关键词
度量数据收集 软件过程改善 自动数据收集 评价准则
Keywords
Metric Data Collection Software Process Improvement Automating Dada Collection Evaluate Guide Lines
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 营造个体软件工程规程
被引量：3
15
作者
车向东 徐红 周伯生
机构
北京航空航天大学 软件 工程 研究所
出处
《计算机工程与应用》
CSCD
北大核心
2001年第12期93-95,共3页
文摘
软件产品的开发都是由个体软件工程师完成的，因此能否具有有效的个体软件工程规程会直接影响到产品开发的效率、费用和最终产品的质量。文章从自我意识、过程规程和开发规程三个层次描述了个体软件工程规程应该包含的基本内容，给出了构建个体软件工程规程的基本步骤，并进一步讨论了个体软件开发过程中的工具支持、个体软件工程规程同软件企业能力成熟度之间的关系等问题。
关键词
软件工程 软件过程 个体软件过程 规程
Keywords
： process，software，software engineering，software process，personal software process
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 Linux内核软件体系结构恢复的研究
被引量：1
16
作者
周建国 王雷 金茂忠 周伯生
机构
北京航空航天大学 软件 工程 研究所
出处
《计算机工程与应用》
CSCD
北大核心
2001年第3期42-44,共3页
文摘
Ｌｉｎｕｘ是由全球范围的系统软件设计专家在遵守通用公共许可证条款（ＧＰＬ）的前提下共同开发的符合ＰＯＳＩＸ标准的类ＵＮＩＸ操作系统，在开发过程中没有严格完整的文档化软件体系结构，因而不利于内核开发者对Ｌｉｎｕｘ内核的理解和维护。文章在综合分析Ｌｉｎｕｘ内核有关文档的基础上，利用软件工具并分析部分Ｌｉｎｕｘ内核源码，恢复了Ｌｉｎｕｘ内核文档化的软件体系结构，以提高其可靠性、可维护性和可扩展性。Ｌｉｎｕｘ代表了Ｉｎｔｅｒｎｅｔ时代一种新的软件开发模式，对Ｌｉｎｕｘ内核软件体系结构恢复的研究，是这种新的开发模式下进行软件工程学研究的一种尝试。
关键词
软件体系结构 软件工程 LINUX 操作系统 内核 UNIX
Keywords
Software architecture, software engineering, architecture recovery, Linux operating system
分类号
TP316.81
[自动化与计算机技术—计算机软件与理论]
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 面向过程的软件工程环境的集成问题探讨
被引量：4
17
作者
刘又诚 张莉
机构
北京航空航天大学 软件 工程 研究所
出处
《计算机应用与软件》
CSCD
1996年第5期9-15,64,共8页
基金
国家八五科技攻关项目
文摘
本文前五节仔细介绍了Thomas和Nejmeh一文“Definitions of Tool Integration for Environments”中的基本观点,并给以必要的评述。这些观点对我们考察软件工程环境的集成问题仍然是有益的。本文第六节提出了构造面向过程的软件工程环境的集成机制,这是美国当前建造软件工程环境的一个新的潮流,值得我们注意。
关键词
软件工程 面向过程 环境集成
Keywords
Tool integration, process model, software engineering environment.
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 软件体系结构层次的结构度量研究
被引量：7
18
作者
高晖 张莉
机构
北京航空航天大学 软件 工程 研究所
出处
《计算机工程与应用》
CSCD
北大核心
2007年第24期19-23,共5页
基金
新世纪优秀人才支持计划资助(Supported by Program for New Century Excellent Talents in University)
文摘
提出了一套可操作的度量组,利用该度量组可以对软件体系结构模型的结构特征(复杂性、耦合性、形态)进行测量。利用软件度量中常用的相关性分析方法对度量的经验值进行分析,初步得出了各种度量间可能存在的相关关系。此研究为研究软件体系结构的结构特征与软件其它质量属性的关系提供了必要的基础。
关键词
软件体系结构软件度量软件质量
Keywords
software architecture software metrics software quality
分类号
TP301
[自动化与计算机技术—计算机系统结构]
题名 关于软件过程改进中测量问题的研究与实践
被引量：2
19
作者
吴超英
机构
北京航空航天大学 软件 工程 研究所
出处
《计算机应用与软件》
CSCD
北大核心
2001年第11期21-24,55,共5页
文摘
在扼要讨论了过程管理的核心职责、过程的宏观特性、过程的测量过程以及过程测量元的选择原则之后,详细描述了过程改进的六个测量要素,即进度、工作量和成本、需求、关键计算机资源、过程和产品质量以及风险,并给出了这些测量元的概念、意义及其表达方式。认真进行过程测量,对改进软件过程和发展软件产业都具有迫切的现实意义。
关键词
软件过程 软件开发 测量 软件能力成熟度
Keywords
Process Measurement Performance Capability
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 软件产品评价技术研究
20
作者
杨海燕 李虎 高仲仪
机构
北京航空航天大学 软件 工程 研究所
出处
《计算机工程与应用》
CSCD
北大核心
2001年第12期85-88,共4页
基金
国家总装备部"九五"预研课题基金
文摘
文章给出对软件产品进行评价的一般过程，并介绍了对评价过程的关键环节——选择度量，建立度量评分等级，建立评估标准所进行的研究，提出了质量预测模型技术。
关键词
软件产品 评价 预测模型 软件工程
Keywords
： Software product，Evaluation，Predicting model
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
