基于平衡记分卡的国家重点实验室绩效评估

在回顾现有绩效评价方法的基础上,借鉴平衡记分卡的基本分析框架,构建了国家重点实验室业绩评价体系,提出了国家重点实验室实现战略目标的基本途径,最后对我国国家重点实验室的管理进行了探讨,并就处理好几大关系作了进一步的分析。

国家重点实验室技术标准创新有利于参与国际标准化活动

本文介绍了在研制ISO/IEC 19763《互操作性元模型柜架》国际标准过程中的经验和体会,提出了知识创新带动技术标准创新是参与国际标准化活动的关键,并对如何参与国际标准化活动、推广应用研制的标准,以及培养高素质国际标准化人才提出了建议。

重点实验室管理信息系统

本文对重点实验室的日常管理进行了需求分析，阐述了实验室管理系统的设计思想，介绍了系统的主要功能、结构及特点。该系统具有一定的实用价值和推广价值。

高校计算机实验室综合信息管理系统设计与实现

当前高校在不断推进素质教育的过程中,传统的计算机实验室教学管理方式急需改革,需要对计算机实验室的设备和工作人员进行统一、规范的管理,本文对高校计算机实验室的应用范围和目前日常管理中存在的不足进行了分析,总结出了高校目前使用的计算机实验室管理系统的模式,以＂理论与实践一体化＂教学理念为基础设计和实现了计算机实验室综合信息管理系统,使计算机实验室能高效和可靠运行.

构造面向对象软件可复用测试用例的模式研究

从分析测试用例的共性着手,将面向对象系统中的测试用例依据它们的设计方法分为:状态检查测试用例与状态比较测试用例,并进而得出关于这两类测试用例的详细描述.以此为基础,提出了一个统一的测试用例生成、执行的模式,使测试用例能够独立于被测对象,以达到测试复用的目的.

基于复杂网络的软件复杂性度量研究

软件开发者对于日趋复杂的软件系统的理解和控制越来越困难,传统软件工程正接近其复杂性和可扩展性的极限.复杂性使软件开发困难,质量难以保证.复杂网络理论的最新研究成果,为软件复杂性度量提供了新的数学基础.讨论了软件复杂性的形成原因和度量方法,介绍了目前复杂网络与软件复杂性结合的研究工作.探讨了基于复杂网络的软件结构复杂性度量方法,提出一种结合复杂网络和演化算法的软件演化复杂性度量模型.

基于UML的软件过程建模方法研究

论文运用UML对软件过程建模,用类图对静态结构建模,用顺序图,状态图对动态行为建模,并给出了一个软件配置管理过程建模的实例。

基于构件库及构件组合的软件重用

介绍了一种具有动态组合特性的构件Pad，详细说明了它如何规范重用单元的接口以及相互间可传递的消息，并进一步介绍了构件Pad的组合规则消息传递协议．还简要地介绍了一种在面向对象数据库的基础上实现构件库的方法．最后．介绍了已开发成功的一个构件重用支撑环境的原型。

软件系统的复杂网络研究进展

互联网给软件带来了革命性的转变——软件网络化,这种趋势使软件作为全局性的资源,以网络为媒介向大众用户提供各种信息资源的应用服务.软件的计算模式、应用模式、产品形态以及盈利模式都会发生很大的变化,例如今后软件的应用方式就像打电话一样,通过网络租用软件来实现.网络化软件正会成为联接各种网络资源、数据资源、计算资源的核心,成为数据和数据交换的基础.同时,网络化软件系统也将成为复杂系统,而复杂性也是软件开发困难、质量难以保证的关键.软件工程是将系统化、规范化、可度量的方法应用于软件的开发、运行和维护.复杂网络理论的最新研究成果,为复杂系统的软件工程提供了新的数学基础和方法.分析了软件的复杂性,介绍了复杂网络与软件复杂性结合的研究工作,包括软件系统的拓扑特性、形成机理、演化规律以及软件复杂性度量和评估,对软件网络的研究现状进行了小结,并列举了需要进一步研究的问题.提出软件网络观(软件在网络中生长、可以用网络来刻画软件)将有助于我们深入理解和认识软件的复杂性本质.

多级正交软件体系结构及其应用

软件体系结构的设计、进化和重用一直是软件工程领域的重要研究方向，本文首先提出了多级正交软件体系结构的概念，然后给出结构进化和重用的控制方法，并将其运用到实际软件的设计开发，实践证明，我们这一方法对于降低软件（特别是大型软件）进化的复杂性，提高重用率是行之有效的．

支持运行监控的可信软件体系结构设计方法

近年来,软件的可信性成为软件质量的焦点,对软件可信性的分析、度量和应用支撑成为热点问题.对软件实施有效的监控是提升软件可信性的一种重要途径.然而目前的研究工作主要集中在软件编码以及相关技术的实现层,缺乏一套系统的软件体系结构设计方法以指导、支持运行监控的可信软件的分析和设计.通过引入面向侧面的软件体系结构设计方法及其相关概念,文中提出一种支持运行监控的可信软件体系结构设计方法.在支持运行监控的可信软件构造模型TSCM的基础上,利用一种面向侧面的体系结构描述语言AC2-ADL描述具有监控能力的软件体系结构,试图为分析和设计具有监控能力的系统的软件体系结构提供一种有效的解决方案.通过结合网上拍卖系统的案例展示该方法的主要步骤和结果,讨论了研究中存在的问题和进一步的工作.

基于CMM、PSP、TSP的软件开发模型

在软件开发中软件工程师个人及软件组织不可避免地会遇到各种困难,尤其是软件组织在实施CMM中面对的各种挑战。CMM用于提高整个软件组织的能力成熟度,PSP和TSP分别用于改进软件工程师个人的工作风格和提高小组的软件开发质量和效率。三者的有效结合将进一步提高软件产品的质量和生产率以及软件组织的能力成熟度。该文提出一种将三者及软件体系结构等其他技术结合起来的软件开发模型。

基于软件网络的服务自动分类和推荐方法研究

服务的分类和推荐方法对于服务管理和组合都具有重要意义.文中利用服务组合历史,从面向服务软件的结构角度研究了服务分类和推荐方法:提出面向服务软件的软件网络模型,并用于抽象面向服务软件的拓扑结构;利用复杂网络社区发现算法对软件网络进行聚类,从而实现服务的自动分类;利用软件网络描述服务之间的可组合关系及其强度,并基于服务的使用场景提出了相应的服务推荐算法.使用ProgrammableWeb上API服务和mashup应用的真实数据来说明该文方法的有效性.从实验结果可以看出,该方法可以准确地实现服务分类,整个聚类的纯净度达到了86.8%,同时推荐的服务也比较有意义,这对于解决服务计算中的一些问题,包括服务的管理、检索、组合等都具有一定的意义.

网络化软件的复杂网络特性实证

互联网的普及和万维网的兴起,引发了软件技术的变革,催生了新的软件形态——网络化软件,为大众用户提供多样化、个性化的按需服务.随着应用领域的不断扩展和用户群的日益庞大,其规模与复杂度正以超越人类处理能力的速度增长,使得软件工程不得不面临一系列的挑战.为了科学地认识和理解这类规模庞大的人工复杂系统,从网络化-服务化-社会化的三维视角出发,对其基础设施、应用服务和大众交互三方面的复杂网络特性实证研究进行了综述分析,并系统论述了网络化软件中隐含的"小世界"和"无尺度"复杂网络特性对软件工程今后研究的影响和启示.软件工程与其他学科的交叉汇聚,将迸发新的观点和思想,为网络化软件的研究提供新的思维方式和方法论,有望实现软件工程理论、方法和关键技术的创新,从而推动我国软件服务业的快速发展.

实用软件体系结构研究

该文简要讨论了各种软件体系结构，重点讨论了在实践中如何分析大型MIS系统，如何用软件体系结构的方法来开发软件，并对实践之中出现的问题进行了初步的讨论。

基于迁移学习的软件缺陷预测

传统软件缺陷预测方法在解决跨项目缺陷预测过程中适应能力不足,主要是因为源项目和目标项目之间存在不同的特征分布.为了解决这个问题,提出一种新的加权贝叶斯迁移学习算法,算法首先收集训练数据和测试数据的特征信息,然后计算特征差异,将不同项目数据之间差异转化为训练数据权重,最后基于这些权重数据建立预测模型.在8个开源项目数据集上进行实验比较,实验结果表明与其他方法相比本文方法显著提高跨项目缺陷预测性能.

基于面向对象的软件需求分析规范及实施方法研究

本文采用面向对象的技术，对软件需求分析的任务、实施步骤和方法进行了研究，并给出了相应的规范说明。

面向多用户软件系统的可靠性分配的故障树分析法

本文首先对目前已有的各种分配技术与方法的特点进行了探讨 ,介绍了如何采用故障树技术求得导致系统失效的功能模块的最小割集 ,首次提出运用故障树技术进行各模块可靠性的划分和确定 ,并提出了一种新的算法来快速、有效地确定各模块的重要度 ,结合考虑软件的总体开发费用 ,创建了一个新的基于软件实用性的可靠性分配模型并详细讨论了其具体运用 。

面向服务软件异常处理过程的可终止性验证

大规模面向服务软件运行环境的动态性和不确定性使其异常处理逻辑复杂度高,导致异常处理过程的可终止性验证异常困难。而异常处理过程的可终止性是确保其正确性的重要基础,如果异常处理过程不能终止将导致面向服务软件无法正常运行。目前缺乏异常处理过程的可终止性验证方法,从而无法保证异常处理达到预期的目标。基于着色Petri网(colored Petri net,CPN)提出了一种面向服务软件异常处理过程的可终止性验证方法。该方法建立了包括正常流程和异常处理逻辑的异常层次CPN模型(hierarchy CPN model for exception handling,HCPN4EH)。基于此模型验证了异常处理过程的可终止性。通过一个实例说明了该方法的可行性和有效性。得到的可终止性验证结果可为进一步分析异常处理过程的正确性提供基础。

软件可靠性稳定增长与安全性测试的故障树分析法

随着信息技术的发展，计算机应用日益广泛，软件可靠性和软件安全性越来越受到重视，本文提出软件可靠性稳定增长测试与软件安全性测试的概念，并利用故障树分析技术，详细讨论了它们在保证获取高的软件可靠性与安全性工作中的作用，描述了故障树分析方法的分析过程．最后本文分析了它的优缺点，并对该方法的可能的改进及补充进行了一些探讨．