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

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

基于目标操作化的多引擎协作体系结构研究

基于目标操作化的域原子操作模型,研究分析了面向应用目标的系统设计与实现的基本问题,通过引入解释引擎,提出了面向目标的形式模型与应用软件设计实现的一体化机制;在系统级应用中间件之上,引入组件服务,提出了一个通过处理操作作业流实现目标的、多个操作服务引擎协作的体系结构,通过构造组件适配器,以满足操作服务引擎对异构组件服务的一致性访问.     

航天器舷窗玻璃的强度检验方法和寿命预测

以断裂力学为基础,结合热钢化玻璃应力分布的特点,首次提出了热钢化玻璃的检验试验和寿命预测方法,为热钢化舷窗玻璃的强度检验提供了理论基础。分析示例的计算表明,即使通过相同的检验应力,在不同的使用环境中允许的使用应力是不同的;不同环境下,同样的使用应力,玻璃的使用寿命相差很大。     

多协议多用户GPS/GSM监控系统网关的设计与实现

在多协议、多用户GPS(Global Position System)/GSM(Global System for Mobile communications)监控系统中,网关的设计对系统的性能、可用性和可扩展性有重要作用.讨论了在网关设计中需要注意的几个关键问题:通过分析不同短消息服务器的接口协议,提出使用协议管理器实现多协议接入;给出了与用户系统的通信指令格式,并分析了地址的转换流程.最后剖析了用多线程方式和消息驱动实现这种系统的优点,并给出了一个具体实现的消息循环流程.实践证明这种设计是可靠高效的.     

自动测试技术的发展探讨

介绍了自动测试技术的发展过程.为适应高科技、高效率、高效益市场经济环境的需求,着重从虚拟仪器新概念、测试技术的革新、测试设计和测试方法的策略及被测对象的可测性等方面较详尽阐述了第三代自动测试系统的新思路、新特点和新方向.     

捷联惯导系统计算机硬件检测原理与实现

介绍一种实用捷联惯导系统计算机结构。主模块与美国SESCO/TITAN公司的SECS86/20模块兼容,检测软件可以检测板上大中规模集成芯片,具有检测全面、准确的特点,从方法与原理上都具有通用性,可以方便地移植到其它类似的机器上。该软件已用于实际系统。     

频率合成参数自动测试系统

主要介绍频率合成参数自动测试系统硬件组成及工作原理。通过较详细地介绍频率准确度的表征和频率稳定度的表征来说明测试程序中各参数的计算方法所依据的理论根据，并对主要仪器的诊断程序作了简要介绍。系统采用ＡＳＴ３８６／３３＋ＧＰＩＢ接口板作为系统控制器，ＧＰＩＢ接口板采用成都电子科技大学研制的作为个人计算机辅助测试（ＣＡＴ）工作站的接口板，测试程序采用ＥＳＢＡＳＩＣ语言，该语言是成都电子科技大学在ＧＷＢＡＳＩＣ的基础上，加进了ＧＰＩＢ控制和测试语句而研制的。该语言功能强，尤其对带有ＧＰＩＢ接口的仪器操作特别方便，并可在汉字操作系统下运行，各种曲线绘制程序采用图形语句功能较强的ＱＵＩＣＫＢＡＳＩＣ语言。     

管理软件生成器系统CDBAG—4GL

阐述了“管理软件生成器系统CDBAG-4GL”的研制背景、系统组成、逻辑结构、功能及特点;并简要介绍了设计思想、生成原理以及实现技术要点等。“CD-BAG一4GL”已商品化,它可根据用户要求自动生成各类专用的管理信息系统。为应用开发人员和最终用户提供一个一体化的通用的快速开发工具和环境。作为第四代软件开发工具的生成器和第四代语言是提高应用开发效率和质量的有效途径。     

防止Ⅱ型驾驶员诱发振荡技术的研究

许多严重的飞行事故都与由速率限制引起的Ⅱ型PIO有关。针对如何预防PIO，首先介绍了自适应杆增益和软件限制环节的设计原理。然后以某带速率限制的电传飞机为例，运用同一理论，分析采用自适应杆增益和软件限制环节来改善速率限制的不利影响。仿真结果表明，自适应杆增益环节和软件限制环节都能抑制住PIO的发生，但两者组合加入抑制效果更好，飞行品质也能达到满意的程度。     

关于潜入式SRM冷流模拟试验中相似与模拟问题的探讨

评述了目前ＳＲＭ冷流模拟试验技术的发展，并从相似与模化的基本理论出发，探讨了ＳＲＭ喷管潜入段稳态不可压有加质的湍流流场相似准则，并根据该实验的具体特点，提出了以ＣＴ作为选定量来求解其它相似常数的设想。分析表明，用以高压气源作为冷流模拟气源一般只能近似模拟ＳＲＭ喷管潜入段内流场的流动工况，近似模化必须尽量满足Ｒｅ准则。