基于和欣操作系统的面向服务软件模型研究

本文介绍了嵌入式和欣操作系统,提出了面向服务软件模型及其提供的三种服务模式,解决了传统的面向对象软件模型的局限性,并使用此编程模型构造了一个电子签名软件,具体说明了此模型的优点。     

基于证据推理的软件项目复杂性评估

软件项目复杂性是软件项目管理中很重要的指标。该文定义了软件项目复杂性的概念,建立了软件项目复杂性模型,提出了基于证据推理的软件项目复杂性评估模型和方法。并结合一个简单的例子,验证了方法的可行性。     

一种模型驱动的笔式表单界面软件开发方法

由于用传统的开发方法开发笔式表单界面软件,开发周期长、成本高且难以适应需求变更,难以提供用户概念模型和系统实现模型相一致的软件,针对此问题,提出了一种模型驱动的笔式表单界面软件开发方法,首先提出笔式表单用户界面模型——PFUIM.然后,基于PFUIM提出模型驱动的笔式界面软件的开发框架.该框架描述了笔式用户界面软件的开发模型,详细论述了各个模型的结构以及模型之间的关系;最后,在开发框架的基础上,提出了开发笔式表单界面软件的建模方法和系统自动生成方法,并通过一个实例说明该框架指导笔式表单界面软件开发的指导作用.     

基于小型软件企业的软件过程改进模型的研究

软件过程改进是小型软件企业提高软件质量和生产率的必经之路.文章分析了集成软件能力成熟度模型CMMI、个体软件过程PSP和群组软件过程TSP三者之间的关系,并结合我国小型软件企业的特点,提出了一种适用于小型软件企业的过程改进模型.     

一种弹性的软件过程模型验证工具

过程模型验证是保证软件过程定义正确性的重要手段.针对目前过程模型验证中的一些问题,首先提出了一种以活动为中心的软件过程元模型,并以XML对其进行描述.在此基础上,从行为、资源、组织视图结合的角度,提出了保证软件过程模型正确性的语义约束规则.最后,提出了一种弹性的用于验证XML描述的过程模型的机制,并基于此实现了过程模型验证工具,来验证过程模型的正确性.     

基于模型检测的软件测试技术

提出了软件模型检测技术与软件测试技术的集成框架,在合适的软件检测模型基础上,通过模拟仿真,产生软件的测试用例,提高了软件的测试效率与降低了软件的测试成本。并对飞行控制软件作实例研究,取得很好效果,提高飞行控制软件的可靠性。     

一种基于JMX的动态自适应软件模型

为应对软件复杂性危机,学者提出了自适应软件的概念。该文描述了一个支持动态自适应的软件模型。该模型四层构成,其中应用层是模型管理的资源集;接口层提供了感应器和效应器;决策层使用MAPE-K环实现了软件的动态自适应;监督层协调决策层的执行并提供了错误修复能力。文章最后分析了模型的优点,并给出了下一步工作的方向。     

基于AHP的公路路政管理评估模型的研究与实现

构建了公路路政管理综合评估模型,提出了利用层次分析法对模型进行分析,确定模型中各指标权重,并依据该模型开发的相应软件计算出评估结果。软件运行结果证明了该评估模型的科学性和有效性。     

软件生产线可变性建模与分析方法的研究

为了对软件生产线进行可变性建模,提出了使用特征模型捕获领域需求的思想。针对传统特征模型缺乏对可变性建模的支持,仅有图形上的表示,缺乏严谨的语义分析的不足,通过对软件生产线可变性依赖约束的形式化描述,提出了一种扩展特征模型的软件生产线可变性需求建模方法,以手机领域为例子进行了可变性需求建模。提出了扩展特征模型图形元素的语义特征及文档类型定义,并与传统特征模型建模进行了对比。结合逻辑学提出了可变性绑定配置过程中的分析方法。     

基于CMMI的软件测试过程度量研究

对软件测试过程的度量能够提高软件测试的有效性,保证软件的质量.通过CMMI与软件测试、度量的分析,提出了基于CMMI的软件测试过程模型,并以此为基础对软件测试过程度量元的有效选取进行了研究.建立了CMMI与GQM的映射关系模型,提出了度量元的选取原则,以一个应用案例证明了研究结果的可行性.     

一种软件智能部署方法的研究

研究了能够根据不同环境自动调整软件部署过程的软件智能部署问题。介绍并分析现有软件的部署工具,提出了软件智能部署的概念、整体框架和部署工作流程。介绍并分析了软件规范化描述语言和客户端信息的模型描述方法。在此基础之上,提出了一种能够根据环境差异,自动调整软件部署过程的软件智能部署算法。最后,对比并分析了软件智能部署实际应用效果。     

基于案例推理的软件需求分析研究

针对软件需求分析过程中知识的管理与重用,将CBR技术引入到了软件需求分析的处理中,从知识管理的角度运用基于案例推理的方法提出了软件需求分析的框架模型,并对该模型的关键技术进行了详细说明.     

一种基于关键非功能需求的软件可信性度量模型

为了更为合理准确地度量软件可信性,提出了一种基于关键非功能需求的软件可信性度量模型。首先,分析了该模型所涉及的软件可信性、非功能需求、关键非功能需求的定义;其次,对非功能需求进行分解以及权重的分配,并将非功能需求细分为A、B、C、D四类以便更好地获取;最后,应用Web软件中的“在线旅行”网站详细阐述了该模型的具体度量过程。提出的模型是一个通用的软件可信性度量模型,适用于不同形态的软件,支持软件可信性的定制,对于软件可信性的度量具有一定的指导意义。     

一种面向对象的Web Application测试模型

为了保证Web应用的质量和可靠性,需要不断加强对Web应用软件的测试研究.Web应用软件的有效测试依赖于对其进行充分的分析和理解,提出良好的测试模型,并基于测试模型提出测试策略和测试方法.提出了一种面向对象的Web应用软件测试模型WATM,并且基于WATM提出了测试用例的设计和选择的方法,从而更好地支持Web应用软件的导航测试和状态行为测试.     

基于CMM的中小型企业的软件项目管理模型研究

本文以中小型软件企业为研究对象,分析了中小型软件企业软件过程管理存在的问题,提出了一个基于CMM可重复级（2级）的软件项目管理模型,并给出了模型各实施阶段的主要工作和需要注意的问题,对我国中小企业的小型软件项目开发及过程改进具有借鉴意义。     

基于BBNs的软件残留缺陷预测模型

介绍了软件残留缺陷的重要性,简要阐述了目前对残留缺陷进行预测的一些模型,并指出了其中的问题及现有模型适应性不好的原因,提出了基于BBNs的软件残留缺陷数预测模型,给出了模型构建的具体过程。     

基于CMMI的软件过程度量

软件度量已经逐渐成为了软件工程领域中极其重要的一部分。该文提出了一种软件过程的度量模型。在该模型中定义了与实施软件过程度量有关的活动。并在此基础上,重点阐述和说明了数据收集、认证和分析的目标、任务以及方法。文中还给出了一个把该模型应用于大型软件公司的实例,以说明该模型能够有效地评估并改进软件过程。该文的研究结果对改进软件过程、增加组织的过程能力成熟度是很有帮助的。     

基于CMMI的软件过程度量

软件度量已经逐渐成为了软件工程领域中极其重要的一部分。该文提出了一种软件过程的度量模型。在该模型中定义了与实施软件过程度量有关的活动。并在此基础上,重点阐述和说明了数据收集、认证和分析的目标、任务以及方法。文中还给出了一个把该模型应用于大型软件公司的实例,以说明该模型能够有效地评估并改进软件过程。该文的研究结果对改进软件过程、增加组织的过程能力成熟度是很有帮助的。     

基于模块关系图的测试程序生成

分析了科学计算软件测试和度量的特点并结合程序的性质提出了描述模块之间关系的模块关系图(MRD)模型,然后研究了这一模型在软件自动测试程序生成中的具体应用。在此基础上,对回归测试中重测试模块进行了探索,提出了相应的算法。将以上研究思想应用于国家自然科学基金项目“软件可测性设计新概念—软件内建自测试”,实践证明,该模型有助于软件自动化测试的进一步研究。     

软件适应性度量方法研究*

为了能够通过软件的源代码度量面向对象软件的适应性,提出了一个包含七个具体度量指标的软件适应性度量模型,并开发了在Java软件中提取各度量指标的支持工具FlexTool;为了避免通过手动调整大量软件源代码的方式度量软件适应性,使研究人员能够在不太了解软件实现细节的情况下对适应性进行度量,提出了将该适应性模型应用于软件版本的演化从而度量软件适应性的方法,并通过著名开源软件Ant的版本演化对该方法的合理性进行了验证。