CMMI辅助管理平台设计概述

利用CMMI、软件度量理论和实用软件度量技术等,设计一个CMMI过程域辅助管理平台,实现软件研制的工程过程与CWWI管理过程的无缝集成以及度量数据自动化采集。     

软件覆盖测试技术研究

测试理论认为测试不可能发现程序中所有潜在的软件错误,那么就需要一个可信的方法来度量测试的完成程度。对软件的覆盖测试就是用来度量在某一测试标准下的完成程度,即该测试标准下的覆盖率。覆盖率越高则说明测试工作进行得越完全,软件就越可信。根据覆盖测试的目标不同,逻辑覆盖可分为语句覆盖(SC)、判定覆盖(DC)、条件覆盖(CC)、条件判定组合覆盖(CDC)、多条件覆盖(MCC)、修正判定条件覆盖(MCDC)和路径覆盖(PC)。     

基于信任网络的软件可信评价方法

研究了可信计算领域中的软件可信评价问题,提出了一种基于信任网络的软件可信度量方法,该方法通过信任网络模型将用户划分成不同的用户域,采用可信度量票据的方法保障设备的可信性;在设备可信的基础上建立可信风险树模型,分别从可信和风险两方面对软件进行可信度量,计算异常行为的风险概率;采用多台设备协同工作的方式,通过滑动窗口模型从用户域范围和管理域范围对软件进行可信评价。最后通过实验验证了该方法的正确性和可信性。     

广义度量空间

本文主要内容有三：其一，继承和发展了Ｍｅｎｇｅｒ的基本思想，建立起广义度量空间的理论体系，给概率度量空间、随机度量空间以及模糊度量空间等，提供了一个统一的理论框架。改进了文［４］、［６］的工作。其二，站在广义度量理论的角度，对若干概率度量标准之间的关系进行了讨论，部分地回答了文［８］中提出的问题。其三，讨论了广义度量空间的拓扑结构以及完备化问题，推广了文［２］的工作。     

模糊度量空间

首先给出了有广义度量空间的基本概念，为通常意义下的度量空间、随机度量空间、概率度量空间．．．等不同类型的“度量空间”，提供了一个统一的数学模型，并在该模型下给出了模糊度量空间的一个新定义，改进了文（４）和文（７）的工作。     

金融市场风险度量方法的发展

本文综述有关市场风险度量方法的发展过程和前沿问题.在分类概述基于收益分布矩信息的风险度量、随机优势准则、VaR、Coherent风险度量、凸风险度量和多期动态风险度量等定量模型的基础上,指出各类模型的优点、所存在的问题及可能的解决办法,并对未来风险度量方法的研究进行展望.     

脑力负荷度量方法的新进展述评

按照4类脑力负荷度量的方法:主任务度量法、次任务度量法、生理度量法和主观度量法分别展开,综述了脑力负荷度量方法体系从1995年以来的新进展,并对这些进展进行总结和评价.结论如下:总体上看,脑力负荷的度量方法体系一直在不断发展,但是并无大的突破;针对主观度量法和生理度量法的研究多于针对另外两类方法的研究;有关脑力负荷度量方法的研究趋向于融合多种方法和手段,更接近各种现实的脑力任务,并且考虑更多因素.     

软件可信度量评估系统的设计与实现

可信计算是目前信息安全领域研究的热点问题之一.首先,分析软件可信度量的研究意义,然后对构建了软件可信树体系结构,提出软件可信树的软件可信度量的方法与步骤.最后完成软件可信度量评估系统的分析、设计与实现.结果表明能够对软可信进行等级化度量.     

模糊数空间中的一致收敛度量

讨论模糊数空间中一致收敛度量与其它常用度量之间的关系。和人们对模糊数空间的常识相反，本文中证明了的确一致收敛度量与其它度量之间有内在的联系。     

基于SOA架构的软件项目实训管理系统的设计与实现

软件项目实训管理系统的开发是高等职业教育软件技术专业教学发展的迫切要求。本文探讨使用SOA为基础架构设计这一系统的优势和可行性,介绍了系统设计和实现的整个过程,对于相关的软件项目开发有一定的示范和借鉴意义。     

关于概率度量和数值度量

首先给出了概率度量空间等距同构于度量空间的一个新的充要条件，然后引入了准度量族生成的PMF空间及具有基和目标的E-空间的概念，并建立了这些空间的一些性质．     

一种无监督的软件复杂度度量与评估模型

软件复杂度度量作为软件工程的重要组成部分,可为软件的控制和降解、软件测试的资源分配和高质量软件的研制提供支撑。计算机控制软件往往规模复杂,开发、测试和维护难度大,其复杂度的准确度量意义重大。然而,现有方法大多依赖少量度量元或者人工设置各度量元的超参数权重,工作量大且准确度难以保证。本文提出了一种无监督的、自适应的软件复杂度度量算法,对度量元数据进行高斯混合模型(GMM)的概率建模和归一化;通过皮尔逊相关系数过滤度量元间的涌现特征,借助拓扑排序和图论思想,构建度量元的自适应线性加权模型,综合评估软件的复杂度。在3种数据集上的实验表明,本文提出的软件复杂度度量模型在定量和定性分析结果上取得了更好的度量和评估效果,可以有效解决软件的复杂度度量问题。     

工信部行业标准《软件研发成本度量规范》发布

2013年11月8日，工业和信息化部行业标准《软件研发成本度量规范》发布会在北京中关村软件园召开。发布会由中国软件行业协会系统与软件过程改进分会和中国电子技术标准化研究院联合主办。     

随机度量空间的压缩性质

研究了随机度量空间的三种压缩(概率压缩、随机压缩、度量压缩)的性质、随机Ekeland变分原理和Caristi不动点定理以及它们与完备性之间的相互关系。     

中央空调计算机控制系统仿真软件的开发

阐述了中央空调计算机控制系统的实时仿真,介绍了在此基础上开发的软件的组成及功能.开发的软件使用方便、低成本,为人们学习中央空调计算机控制系统提供了一种实践工具.     

基于风格迁移及度量融合的行人再识别研究

行人再识别是跨场景跨时间的行人图像匹配问题.锁定的目标从一个摄像头下消失后,在其它摄像头视角下再出现时,系统仍能够依据其特征重新锁定.目前该问题遇到的挑战主要来自光照、背景、行人姿态等变化造成的影响.此外,在与训练集不同的数据集上进行测试时性能严重下降,且对大量的数据进行标注的成本非常高.本文采用风格迁移和度量融合的方法:首先,采用循环对抗生成网络将一个数据集中带标签的数据图像风格转换到另一个无标签的数据集上;然后,在风格转换后的数据图像上进行训练,并采用直接度量和间接度量相结合的方式进行相似度度量;最后,在无标签数据集上测试,并将行人图像按相似度由高到低排列输出.实验结果表明:本文方法可明显提高跨数据集的行人再识别准确度.     

一种新换面作图法

换面法是工程图学课程中的重要内容之一,应用广泛.换面法是图解空间几何问题的重要手段,可解决较多的定位和度量问题.在换面法作图中,往往度量线段次数较多,作图很不方便.该文给出的新的换面作图,需设立两个轴,其中一个为换面轴,另一个为度量轴,使作图中度量线段次数大大减少,从而简化了作图,并给出了实例.     

C++在嵌入式软件中的应用

嵌入式系统的一大特点就在于其软件开发的特殊性和困难性。首先,嵌人式系统软件开发会用到一些专用的开发和调试工具。其次,通常嵌入式软件开发中代码的开发机器并不是代码的执行机器,软件的开发环境也并不是软件的执行环境。通过对VxWorks嵌入式平台的体系结构介绍,导入C++语言的应用开发方式,对C++在嵌入式平台软件开发中的应用进行分析。     

三层度量模型Berkeley DB与SQLite系统评测研究

针对在嵌入式系统设计时难以抉择采用何种数据库的现状,提出适用于嵌入式数据库评测的三层质量特性度量模型及其指标体系。在分析嵌入式数据库系统特点的基础上,参考目标问题度量(goal-question-metric,GQM)范式,建立包含质量特性、质量子特性和子特性的度量元三层度量评测模型和指标体系。依据该模型分析阐述Berkeley DB和SQLite的系统性能,验证该评测模型。通过仿真实验,进一步验证其有效性。结论表明能为开发者在实际应用中选择何种嵌入式数据库提供参考。     

嵌入式软件外部质量评价方法设计

目前国内测试机构对嵌入式软件的测试基本套用普通软件质量评价体系,由于普通软件与嵌入式软件具有一定的区别,所以并不能完全适用.本文根据嵌入式软件质量度量的国家相关标准以及多年信息系统软件评测实战经验,通过建立嵌入式软件外部质量模型,将外部质量特性及其子特性作为一、二级评价指标;根据软件测试需求,确定每个指标的权重以及所包含的测量元,并设计测试用例;最后根据测试结果逐级计算得出嵌入式软件外部质量评分并给出了应用实例.该方法简单实用,把外部质量度量结果量化,使得测试人员与用户对该软件的质量有更直观的理解,为第3方软件检测机构建立嵌入式软件质量评价体系提供了参考方案.