一种软件复杂性度量系统的设计与实现

本文结合软件复杂性度量的多种算法,对我们研制开发的一个软件复杂性度量系统,进行了详细介绍,并将系统与已有的各种度量工具进行了分析比较。     

构件软件的回归测试复杂性度量

基于构件的软件构建方法目前被广泛使用在软件开发中,用于减少软件开发的工程成本和加快软件开发进度.在软件维护过程中,由于构件更新或者新版本的发布,基于构件的系统会受到影响,需要进行回归测试.对于指定的软件修改需求,维护者可以实施不同的修改手段.不同的修改手段会导致不同的回归测试复杂性,这种复杂性是软件维护成本和有效性的重要因素.目前的研究没有强调构件软件的回归测试复杂性问题.基于修改影响复杂性模型和度量,提出一种回归测试的复杂性度量框架.该度量框架包括两个部分:基于图的模型和形式化度量计算.该度量可以有效表示构件软件分别在构件和系统层面的回归测试复杂性因素,可视化地体现复杂性变化.然后根据模型,提出具体的度量计算方式.最后,通过实验研究,针对同一个构件软件的相同修改需求,利用若干个实验组进行独立修改实施,然后比较回归测试的复杂性.实验结果表明,所提出的度量方式是可行和有效的.     

一种优化的面向对象软件复杂性度量方法

首先结合面向对象技术特性,对面向对象软件类级别的CK度量方法和系统级别的MOOD度量方法进行了分析,并就CK度量提出了优化的度量方法OCK。然后结合OCK度量和MOOD度量的优点提出了较优化的面向对象软件复杂性度量方法OSCM。OSCM度量可以有效地弥补CK度量和MOOD度量的不足,优化度量结果。     

一种面向对象多态复杂性的度量方法

提出了一种类级多态复杂性和系统级多态复杂性的度量方法。该方法对强制多态、重载多态、类型参数化多态和包含多态这四种类型的多态进行分析,得出反映类的多态复杂性的量度,即强制多态复杂性（CCPP）、重载复杂性（CMC）、参数多态复杂性（CPMP）、包含多态复杂性（CCTP）;然后通过整合得到度量系统级的多态复杂性。实验证明,该方法能够正确有效地度量面向对象软件的多态复杂性。     

软件复杂性度量及其应用

随着软件产品复杂性程度的日益增长,人们迫切需要度量软件的复杂性,对软件开发过程加以控制和管理。在软件复杂性概念中,程序复杂性是其中十分重要的因素之一,它表征了一个程序的可理解性或清晰性。当前软件复杂性度量已经成为软件工程学的一个重要分支。本文回顾了软件复杂性度量的一些典型方法,并对这些方法作一些评价,最后介绍了软件复杂性度量在软件开发过程中的应用。     

软件体系结构层次的结构度量研究

提出了一套可操作的度量组,利用该度量组可以对软件体系结构模型的结构特征（复杂性、耦合性、形态）进行测量。利用软件度量中常用的相关性分析方法对度量的经验值进行分析,初步得出了各种度量间可能存在的相关关系。此研究为研究软件体系结构的结构特征与软件其它质量属性的关系提供了必要的基础。     

消息路径:UML协作图的复杂性度量

针时面向对象软件的复杂性,提出了一种面向UML协作图的软件动态复杂性度量方法--消息路径.基于UML协作图中角色对象间的消息流以及所定义的不同类别的信息标记,给出消息路径图的构造方法和基于消息路径图的面向对象软件动态复杂性度量模型.在该模型中,建立了一组复杂性度量指标,并对这些指标的意义进行了阐述.结合具体实例,给出了消息路径图和各项指标值,并且比较了不同实例的度量结果,表明了所提出度量方法的可行性和实用性.     

面向对象类的复杂性的度量方法

简要分析了已有的几种面向对象软件复杂性度量方法,指出了这些方法在反映类复杂性方面存在的不足,运用软件复杂性分解的思想,提出了一种新的类复杂性度量方法。该方法将类复杂性分解为类成员复杂性、类成员关系复杂性和封装复杂性三个复杂性分量,对各分量分别度量,进而得出总复杂性。其中,类成员复杂性采用类所实现的成员的复杂性SIMC、类接口复杂性之和SCIC反映;类成员关系复杂性通过对文中提出的伪二部图进行分析反映;封装复杂性采用成员可见率反映。最后,通过实例验证了该方法的有效性和可行性。     

基于软件加权网络的软件结构复杂性度量

软件结构复杂性问题一直备受关注。随着软件规模的不断增大,传统的度量方法已很难适应软件的发展。为了有效地度量软件结构复杂性,以复杂网络理论为基础,分析软件加权网络的强度和紧密度特征参数之间的关系,并统计软件样本集的总体特征量。首先选取特征值较大的软件,研究其对应的软件加权网络中强度和紧密度数值较大的节点。然后对比分析排序差别较大的节点的属性和功能。最后评价两种软件结构复杂性度量方法,得出用强度可以度量软件局部结构的复杂性,紧密度能够度量软件整体结构的复杂性。     

一种基于UML的Java类复杂性度量方法

软件产品复杂度在软件度量领域是一个非常重要的方面.软件开发的成本、进度和潜伏的错误数量均与复杂度有密切的关联.由于OOA和OOD被广泛运用,度量面向对象的软件复杂性成为必然的需求.UML是一种面向对象分析与设计的建模语言,已经被接受为工业标准.为此,提出了一种适用于Java语言的根据UML类图对类的复杂性进行度量的方法,并用Weyuker提出的复杂性度量的评价标准对其进行了评价.     

会计信息化系统注册码设计创意

在会计信息化系统中,密码（口令）与注册码作用不同,密码一般是开发者预设初值,用户购买时都一样,用户使用时修改,以便分工划分权限。而注册码是开发者根据用户某属性预设,所有的用户都不同,目的是防止非法使用。注册码设计比密码设计略复杂,这方面的内容公开的很少,本文进行介绍。     

提高汽车背景光大面积照明亮度一致性的光源布置

汽车背景光系统广泛应用LED光源进行照明,单颗LED近似为点光源,在较大面积照明的情况下,LED光源的布置方式在很大程度上影响了亮度的一致性.研究了LED作为背光源的照明特点,分析了LED背光源的布置对汽车背景光亮度一致性的影响,提出一种通过优化光源布置确定相邻LED间距提高汽车背景光较大面积照明亮度一致性的方法.该方...     

基于小波变换的无驱动结构微机械陀螺信号自旋频率的提取

针对一种新型陀螺,它能敏感旋转载体的俯仰、偏航和滚转角速度,敏感信号是一种调幅波信号,载波频率是自旋频率,包络是横向角速度。实际应用中,需要精确提取自旋频率。基于此,提出了一种提取载波频率的新的方法——小波变换构造解析函数法,对自旋频率解算算法进行了理论推导,并通过MATLAB软件对噪声比为30 dB的模拟陀螺调幅波信号进行了自旋频率的提取和误差分析,其中Hilbert变换相对误差为0.033 6,小波变换相对误差为0.017 8。对三轴精密转台实时测试的横向角速度为180°/s的陀螺信号进行了自旋频率的提取和误差分析,其中Hilbert变换相对误差为0.035 9,均方差MSE为7.915 9;小波变换相对误差为0.001 8,均方差MSE为0.293 7。小波变换较Hilbert变换求解自旋频率精度提高二十倍,降噪性能和频率稳定性更好。     

基于ANSYS Workbench的T形结构优化设计

针对T形结构传统设计周期长、材料利用率低、设计成本高等问题,使用SolidWorks建立数字模型,将其转换成ANSYS Workbench可读的格式文件,进行拓扑优化设计。对T形结构在载荷作用下进行最优化设计,建立以单元材料密度为设计变量,以结构最小柔顺度为目标函数,以质量减少百分比为约束函数的数学模型。采用ANSYS Workbench的Topology Optimization模块进行拓扑优化设计,对比优化前、后结构的应力和变形,可知运用拓扑优化技术实现T形结构的轻量化设计合理有效。     

时间可达性计算的最小种子算法

可达性是指从某一地点到达另一地点的难易程度,现有可达性计算的方法存在一些缺点。提出了适用于时间可达性计算的最小种子算法,它把要研究的区域划分成二维格网,以目标点所在的网格作为种子网格,计算与之相邻网格的花费时间,然后选择花费时间最小的网格作为新的种子网格,重复此过程直至所有网格均被处理。该算法简单精确,可以很容易地在GIS图层的基础上加以实现。     

无形是形 形(型)——空间创造的途径

自从有建筑以来,就有关于空间的话题。建筑本来是朴素具体的东西,是与日常生活密切相关的事物。对空间的认知亦是如此,本文以单纯直接的命题,揭示空间的本义和认识创造的途径。即:空间就是形(型)。实体是型,虚体亦是型。有形是形,无形亦是形。空间的特征就是形态的特征,空间的表情就是形态的表情。空间的色彩就是形态的色彩,矛盾的空间就是矛盾的形(型)。空间构成就是形的构成,空间质感就是形态的质感。     

基于遗传算法的0/1背包问题求解

背包问题是一个典型的NP完全问题。该文给出了背包问题基于0/1规划的数学模型,提出了解决该问题的二重结构编码的混合遗传算法;该算法在传统遗传编码方式的基础上提出了一种改进的编码方式二重结构编码,在约束条件的处理上结合"贪心法",提高了搜索效率。最后的实例仿真,通过大量的数值试验,给出了传统遗传编码与二重结构编码的混合遗传算法计算结果的比较,充分证明了使用二重结构编码的混合遗传算法来求解背包问题的有效性和实用性。     

密码协议验证中的Petri网方法

如何验证密码协议的安全性是一个复杂的问题,只有形式化的验证方法才能证明密码协议的绝对正确.利用Petri网给出了一种用于密码协议验证的形式化方法.在合理假设的基础上,区分合法用户与攻击者在执行协议时的前提条件,列出执行协议后的结果,在此基础上建立了攻击者的Petri网模型.最后,用这种方法对NSPK协议进行了验证,证明了最初的NSPK协议中存在一个安全问题,而改进的NSPK协议则消除了这个问题.证明了这种方法的有效性.     

一种基于分支覆盖的测试数据自动生成算法

通过构造新的程序流图,利用Fibonacci法优化选取路径．为指定的分支生成测试数据。提出了路径测试数据生成代价的概念,并给出了代价的计算方法。当所选路径的分支谓词均为线性表达式时,直接求解线性约束集即可生成测试数据,或判定路径不可行;当分支谓词含有非线性表达式时,利用均差近似导数将非线性函数线性化,通过简单的迭代,亦能容易生成测试数据或判定路径在很大程度上不可行。若所选路径不可行或在很大程度上不可行,则选取新的路径,重复以上过程,直至求出所期望的数据,或无新的路径被选取,给定分支不可达。实例和实验表明,算法可行、有效。     

基于PC/104的激励信号源的设计与实现

介绍了一种基于PC/104的激励信号源的设计方法。此激励信号源模块是PC/104标准尺寸模块,可以提供交直流电压及频率信号,其可靠性及稳定性高,应用范围广。在设计中采用了先进的信号发生技术,其中直流电压信号产生部分采用了反馈校正回路,提高了信号精度;交流及频率信号产生部分采用了直接数字式频率合成技术(DDS),并使用FPGA芯片来实现信号的产生,信号分辨率较高。整个系统具有较高的应用价值。