对NASA指挥中心软件测试度量的评定

软件度量用于软件开发过程和软件产品质量的评定，在ＮＡＳＡ航天飞机指挥控制中心改造工程的测试阶段，采用了五种度量，除一种度量之外，其它度量均提供了很有用的信息，根据我们的经验，我们建议在软件开发的测试阶段使用这些度量，同时提出另外的侯选度量供进一步研究。     

软件度量及应用

本文简要介绍软件度量的基本概念和软件度量过程的主要活动内容，并结合在软件产品评估中的实践，讨论了软件度量技术的应用情况。     

一种软件质量度量模型的研究与应用

软件质量度量是软件工程方面的研究重点之一.通过量化的手段对软件产品进行度量和评价是最有效的质量保证手段.本文提出了软件质量度量模型,根据标准的评价过程模型对其进行了分析,从而确立了质量特性、质量子特性、度量特性和度量标准,并给出了这些特性的之间的关系以及它们的权值.然后运用一组公式对度量方法进行了表示并提出了该模型的应用.本文为软件质量度量提供了一套可行的定量评价方法.     

基于CMM的软件过程度量的研究

本论文使用统计过程控制和控制图表的方法来度量和分析软件过程，达到了商业目的和技术要求     

软件开发项目管理模式及过程量化

结合项目管理及软件工程等相关知识,提出了软件开发项目管理模式。为了对软件开发过程进行有效的管理,提出开发过程的可视性,进行了软件开发过程的全方位度量活动,以促使软件组织的自身过程能力不断得到改善,度量体系日臻完善。     

度量空间X与H(X)空间的连续映射

度量空间是用距离来定义拓扑结构的特殊拓扑空间，度量空间的完备性是度量空间的一个独有的性质．在完备度量空间上建立分形空间H(X)，如果函数在完备度量空间上连续，则函数在分形空间H(X)空间上连续。由局部基的覆盖来刻划紧空间，用H(X)表示X中的全体非空紧集构成的集族．在此集族中定义豪斯道夫距离，连续映射的定理在分形空间成立。     

航天运输系统中软件复杂性度量与控制

用软件度量学的方法来科学地评估软件质量,能够更有力地对软件开发过程进行控制和管理,合理地组织和分配资源,制定切实可靠的软件开发计划,从而获得高质量的软件.     

ν-gap度量及其在飞行控制律评估中的应用

 传统控制律评估方法主要用于单输入单输出（SISO）系统，且对模型参数摄动考虑不够全面,针对这些不足，研究了ν-gap度量方法。在介绍系统广义稳定裕度相关概念的基础上，给出了ν-gap度量的定义、特点和性质以及近似摄动模型的计算，提出ν-gap度量评估控制律的步骤。实例结果表明，该方法不仅克服了上述传统评估方法的缺陷，而且还有根据所求的各摄动影响情况忽略影响小的元素，以减少计算量及可以找到最坏情况下的参数摄动组合等优点。     

基于早期数据的航天测控软件缺陷预测

为提高航天测控软件的质量与可靠性,提出一种基于改进的PSO-SVM(Particle Swarm Optimization-Support Vector Machine,粒子群优化支持向量机)方法的航天测控软件缺陷预测模型。针对航天测控软件领域特征,构造了基于软件生命周期的软件度量集,并收集了实际航天测控软件的度量和缺陷数据,通过对软件历史版本数据的学习,在软件当前版本的生命周期早期数据的基础上进行缺陷预测。实例应用结果表明,采用历史版本软件数据对当前软件版本进行缺陷预测,从全局来看可达90%的预测准确度。因此,该方法可用于对航天测控软件的缺陷预测。     

基于CVaR风险度量方法的投资组合模型研究

介绍了CVaR的概念及算法,并利用CVaR对风险进行度量,提出一个新的基于CVaR风险度量方法的投资组合优化模型。利用股票数据进行了实证分析,验证了模型的有效性。     

基于数据操作的航天测控软件测试复用模型

测试复用技术是提高软件测试效率和质量的重要技术手段,在分析航天测控软件行为模式的基础上提出了基于数据操作的航天测控软件测试复用模型,给出了测试用例搜索和匹配算法;以航天测控外测数据处理软件的可靠性测试为例给出了模型的具体应用。结果表明,基于给定模型的测试复用方法可提供该软件约65%的测试用例,有效提高了测试效率,所提出的模型和方法对专业领域软件测试效率和质量的提高具有一定的借鉴意义。     

面向信号的 ATS测试软件结构及相关模型

面向信号的自动测试是通用自动测试系统的发展方向，建立统一的测试系统模型是面向信号测试系统中信号管理与任务调度的关键。为了实现面向信号的测试系统软件的规范化描述，文章采用测试软件分层描述的方式，以信号模型为中心，给出了仪器模型和测试任务模型，并论述了各模型之间的关系。     

一类基于神经网络技术的软件故障静态测试方法

对测控软件可靠性增长模型的现状进行了分析,提出了基于神经网络的可靠性增长模型,选用了具有良好泛化能力和强大的非线性逼近能力的 BP 神经网络,对测试软件进行拟合,并对软件故障数进行静态预测和验证,实验表明,该模型具有很高的预测精度和良好的对非线性映射的逼近能力。     

软件行为的一种静态可信度量模型

根据用户必需的软件中可能隐藏的缺陷或者破坏行为在整个软件中所占比例极低、而当前一般的恶意代码分析技术不适合此类软件的可信度量分析这种情况,提出了理想化的主体行为静态可信的强约束条件,然后结合软件业务流程的确定性、软件代码的可见性以及信息资产风险可评估性,提出了适合工程应用的主体行为静态可信的弱约束条件,并基于主体行为静态可信的弱约束条件构建了模型的实现框架,对用户必需的软件是否将如实地按照用户需求运行进行可信度量,提前确定软件中是否含有对信息系统或信息资产的潜在威胁,以便采取必要的防护措施。     

航空发动机动态链接库模型建模技术研究

针对目前航空发动机组态建模软件不能输出用户所搭建模型的局限性,设计了与组态建模软件相匹配的通用发动机动态链接库模型框架,并将用户在组态建模软件上录入的模型信息输出为1个配置文件,加载该动态链接库模型和配置文件进行发动机仿真,仿真结果与采用组态建模软件所得到的结果一致。通过该方法实现了输出组态建模软件中模型的功能,输出的模型可用于发动机数控系统的设计等工作中。     

面向复用的航天测控软件测试用例建模研究

首先阐述了测试复用的基本原理,在对航天测控软件测试可复用资源和复用层次进行分析的基础上,利用现有测试资源,提出了基于用例包的测试用例可复用结构改造技术、基于行业领域主题词的检索技术和测试用例的复用策略,给出了对应的测试用例复用模型,实现了用例有效复用及管理。按该模型构建的航天测控软件测试用例复用库系统对提高测试效率和测试质量具有一定的借鉴意义。     

Software radios: Survey, critical evaluation and future directions

A software radio is defined as a set of digital signal processing (DSP) primitives, a metalevel system for combining the primitives into communication system functions (transmitter, channel model, receiver, etc.), and a set of target processors on which the software radio is hosted for real-time communications. The performance of enabling hardware technologies is related to software radio requirements, portending a decade of shift from hardware radios toward software intensive approaches. Computational models and architecture are discussed, stressing the need for topological consistency of radio functions and host architectures. A layered topology-oriented design approach encapsulated in a canonical open architecture software radio model is presented. The model provides a unified mathematical framework for quantitative analysis of algorithm structures, host architectures, and system performance for CAD     

基于仿真系统的GUI测试模型

基于仿真系统的GUI测试模型的规划方法,将GUI软件界面的各种图形对象以及其属性看作是维度,图像对象的属性的具体值作为维度数据,将软件的各种功能操作看作是事件,在不同的事件交互中,通过抽取不同的维度,建立测试模型,并对模型中抽取的维度映射维度数据,用模型语言完整准确地描述被测试软件系统,并使用事件交互图完成测试模型与自动化的测试工具的对接,提出了一种全新的GUI软件测试方法。     

LENS风洞试验返回器模型气动热特性模拟

国家数值风洞高超声速流动模拟软件HyFLOW的研制对打破国外同类软件的技术壁垒具有重要意义。与国外DPLR软件进行了对比研究，同时系统介绍了HyFLOW软件求解器的数值方法、物理化学模型以及壁面催化特性计算模型等主要方法，采用典型算例对有限催化模型进行了数值验证，最后基于LENS风洞试验146 mm返回器标模外形开展了高超声速气动热特性数值模拟。研究结果表明，HyFLOW软件在高超声速热化学非平衡流动模拟与评估方面的气动力计算精度高，与国外同类软件DPLR相当，同时其壁面催化条件下的气动热计算精度可靠，可信度高。