Java程序度量工具的实现及案例分析

介绍了面向对象度量技术,给出针对Java语言的McCabe,Halstead和WMC复杂度的定义,提出了一种新的面向Java语言的度量工具的实现方法,并且通过实例分析说明利用该工具度量Java程序,某些度量值高的模块逻辑复杂、工作量大、易错且难维护,从而引导测试人员重点测试这些模块,同时也使开发人员关注它们,仔细检查程序逻辑,进行合理优化,使整个程序的复杂度降低.确凿实验数据表明,软件度量对改进软件质量具有很大实用价值.本工具采用以下度量标准度量Java程序:针对继承复杂性的DIT(Depth of Inheritance Tree)和NOC(Number Of Children)复杂度;针对模块复杂性的McCabe度量法、Halstead软件科学度量和WMC(Weighted Methods per Class)复杂度;针对类间耦合性、聚集性的RFC(Response for a Class)度量法.每种复杂度从不同方面、不同层次度量Java程序,从而有效全面的评价软件质量,揭示可能隐藏的错误.     

软件测试的度量方法及其应用

软件测试是找出软件中的错误,它是保证软件质量的关键,软件测试的度量是对影响软件测试的属性所进行的定量测量.本文简述了应用软件测试度量技术时所应具有的基本知识,通过一个实例,介绍并讨论了一种实用的关于软件测试进度安排和软件错误数的度量方法.     

软件度量过程的研究与实施

软件度量过程是实施软件过程改进的基础.为了建立支持过程改进的软件度量过程,研究了几种与过程改进有关的度量标准、模型.然后提出一种基于实用软件度量的改进过程,并对过程的实施进行了说明.      

动力系统的Lyapunov稳定性和吸收性

对度量空间中动力系统的Ｌｙａｐｕｎｏｖ稳定性与吸引性之间的关系进行了研究，证明了连通局部紧空间中吸引子和全局吸收子是等价的。     

对象驱动的软件测试性度量

为了使用统一的方式度量各种软件的测试性,降低测试性度量的难度和费用,提出一种对象驱动的软件测试性度量方法. 方法基于一个由测试性度量、易测试特性度量、测试性因素度量及其关系构成的软件测试性度量框架,首先分析度量的对象,确定对象的类型、对象所属软件的类型和测试情况;然后根据软件的类型和测试情况,从度量框架中选取匹配的元素,构造一个专用的软件测试性度量框架;最后根据度量对象的类型,使用专用软件测试性度量框架中的元素计算测试性因素、易测试特性或测试性. 应用表明方法能够得到软件测试性的定量结果,预计测试资源,为软件测试提供帮助.      

基于度量学习的机场交通态势弱监督评估

为准确感知机场场面运行环境，提出基于度量学习的交通态势弱监督评估方法。根据机场场面航空器的时空分布类型，从交通流量、起降队列、资源需求等视角构建交通态势指标体系；借鉴度量学习范式，利用预先定义的相似集和不相似集自动学习态势样本之间的距离度量；在此基础上，采用K均值算法实现弱监督条件下交通态势的等级划分。以上海浦东国际机场实际运行数据为例，分析并验证所提方法的有效性。实验结果表明：起始时刻离场瞬时流量、离场累计流量、离场跑道队列长度及进场累计流量的距离系数大于0.5，对场面态势影响较大；与基于欧式距离的K均值算法相比，度量学习将最优轮廓系数提升了33.3%，得到符合预期语义的聚类结果；此外，机场的平均滑行时间越长、跑道配置越复杂，其场面交通态势等级越高。     

一类混合动态系统的稳定性

混合动态系统是一类同时含有连续时间变量和离散事件变量的系统，在这类系统中，两类变量耦合在一起，具有复杂的动力学特性和时钟关系。本文在一般度量空间上刻画了混合动态系统，并给出了混合动态系统在Ｌｙａｐｕｎｏｖ意义下稳定和渐近稳定的定义及其充分必要条件，同时研究了一类混合动态系统稳定与其连续和离散事件子系统的稳定性之间的关系。     

航天器控制软件可靠性工程方法研究

当前航天器控制软件的复杂度越来越高,软件的规模十分庞大,对软件可靠性安全性要求极高,因此对航天器控制软件的可靠性设计和度量具有重要意义.介绍和分析适用于航天器控制软件的可靠性设计方法,并结合某型号给出实际的软件设计以及可靠性度量的具体实例.     

基于间隙度量的高超声速飞行器包线定量划分

针对高超声速飞行器飞行包线划分缺乏依据、传统划分方法繁琐等问题,将能够描述模型差异程度的间隙度量理论引入到包线划分过程中,提出了一种新型包线定量划分方法。详细阐述了基于间隙度量理论的线性系统间差异度的定量计算方法;以间隙度量值为量化指标,通过分析模型全包线特性变化规律,给出了确定区域划分边界的方法,并在此基础上给出了一种基于模型差异程度最小化的控制器设计标称点选择方法。结合某型高超声速飞行器进行了验证,结果表明该方法能够提高包线划分过程的自动化程度,分区和标称点选择合理,控制效果良好。     

基于间隙度量的鲁棒LPV控制律设计

针对高超声速飞行器飞行包线范围广和模型参数不确定性大的问题,提出了基于间隙度量的鲁棒线性变参数(LPV,Linear Parameter-Varying)控制律设计方法.该方法将间隙度量引入LPV控制器设计中,提出了基于最优间隙度量的凸分解策略,并将其应用于多胞顶点的分解和鲁棒LPV控制器的自增益调参,以降低控制器的保守性;考虑模型的参数不确定性求取多胞LPV系统的顶点模型并设计顶点控制器,以提高顶点边界附近LPV控制器的鲁棒性;以某型高超声速飞行器为对象设计了鲁棒LPV控制器.仿真结果表明:该方法能降低大包线内控制器的保守性,实现高超声速飞行器在整个设计包线内精确的指令跟踪,并且在模型参数存在大的不确定性情况下仍保证系统的鲁棒性能和稳定性.     

基于灰色系统理论的软件可靠性综合评价框架

从系统工程的角度出发,提出一套完整的基于灰色系统理论的软件可靠性综合评价框架.首先,在ISO/IEC 9126软件质量模型的基础上,建立起软件可靠性综合评价体系,并利用灰关联分析方法计算每个度量元与软件可靠性之间的相关程度,由此确定度量元在评价体系中的权重值.在此基础上,提出基于灰色聚类的软件可靠性综合评价方法.初步的实验结果表明,基于灰色系统理论的软件可靠性综合评价框架具有方便实用、全寿命周期评价、数据来源广泛、且可准确反映当前软件可靠性指标水平等优点,适合于软件可靠性工程决策活动.      

软件标准符合性测试

叙述了软件标准符合性测试方法，提供了断言类型判定，测试级别，测试套集，测试工具等关键技术的解决方案，对软件标准测试，软件质量保证均有一定的指导作用。     

软件可靠性预计方法研究及实现

软件可靠性评估可以估计和预计软件可靠性水平.为了解决软件可靠性预计过程中存在的问题,提出了一种软件可靠性预计方法.该方法通过分析和改进模型的预计质量来选择模型进行预计,对模型预计质量的分析使用了U图、Y图和对数PLR图,再标定法和组合法被用于改进模型的预计质量.在该方法的基础上开发了软件可靠性分析工具,此工具可以进行多种软件可靠性模型的原始预计、预计质量分析和改进原始模型的预计质量.     

基于文档状态的软件质量保证过程管理

软件文档贯穿于整个软件生存周期,是软件产品的重要组成部分,它们的质量直接影响着软件的质量.通过对软件文档过程的深入研究,提出了文档状态的概念,详细介绍了基于文档状态的文档角色、文档活动、文档版本和文档间依赖关系,以及如何利用它们对软件文档的过程进行控制、跟踪和管理,进而达到对软件质量保证过程的管理.      

个体软件过程实验研究

为确定个体软件过程PSP(Personal Software Process)在软件开发中的实际应用效果,北京航空航天大学软件工程研究所在1997年进行了PSP的应用实验.本文首先简要介绍了PSP的原理和方法,然后给出PSP实验的结果数据,对该数据从差错率和生产效率2个方面进行了统计和分析.分析结果显示,PSP的应用对于提高软件开发效率、改善软件产品的质量有重要的意义.讨论了PSP应用过程中可能遇到的问题,指出了今后进一步的工作.     

个体软件过程实验研究

为确定个体软件过程ＰＳＰ（ＰｅｒｓｏｎａｌＳｏｆｔｗａｒｅＰｒｏｃｅｓ）在软件开发中的实际应用效果,北京航空航天大学软件工程研究所在１９９７年进行了ＰＳＰ的应用实验．本文首先简要介绍了ＰＳＰ的原理和方法,然后给出ＰＳＰ实验的结果数据,对该数据从差错率和生产效率２个方面进行了统计和分析．分析结果显示,ＰＳＰ的应用对于提高软件开发效率、改善软件产品的质量有重要的意义．讨论了ＰＳＰ应用过程中可能遇到的问题,指出了今后进一步的工作．     

基于量化分析的软件测试过程的控制技术

论述了软件测试的基本过程以及涉及的文档、角色和活动.在此基础上重点讨论了如何通过在测试过程中提取的有效数据来对整个测试过程进行监督、控制和管理的技术,如对测试进度变化、软件问题分布、人力资源情况、软件问题处理时间以及软件问题重现等情况进行分析的技术.为保证被测系统的质量、提高效率、降低成本和改善测试过程提供支持和帮助.      

嵌入式软件的动态测试

软件测试是软件质量保证的重要手段。构建了基于软件测试工具Testbed/RTInsight针对PC104系统的实时嵌入式软件测试环境。以俄罗斯方块的C程序为例,进行PC104系统的软件动态测试,最后给出了动态覆盖率及性能分析的实验结果,和性能分析能记录分析程序中每个函数的最大运行时间,最小运行时间,总的运行时间以及运行次数。