计算机研究与发展杂志 北大期刊 CSCD期刊 统计源期刊

计算机研究与发展 2010年第S1期杂志 文档列表

基于无线传感器网络的植被叶面积指数测量方法1-4

摘要：叶面积指数(leaf area index,LAI),是估计植物冠层功能的重要参数,在农业遥感、植被保护、产量估测等方面有着重要的应用.长期以来,国内LAI测量大量依赖于进口手持式设备.由于测量范围较大,测量时间较长,常常需要耗费巨大的人力物力.针对LAI测量时间长,测量范围广的实际需求,结合无线传感器网络自组织、低功耗、工作稳定的特点,提出了将无线传感器网络应用于LAI测量的新方法.该系统由无线传感器节点和无线网关组成,可以实现无人情况下的长时间数据采集和灵活的数据收集模式.同时重点探讨了系统对若干关键问题的解决方案.

前言4-4

摘要：由中国计算机学会容错计算专业委员会主办的中国测试学术会议,每两年举办一次,旨在为国内测试领域的科研工作者提供一个学术交流和成果展示的平台,是代表中国国内最高水平的测试会议.第6届中国测试学术会议(CTC2010)将于2010年7月24-25日在合肥工业大

汽车安防检测系统的设计与实现5-9

摘要：以ARM为开发平台,结合检测技术、传感器技术、GPS技术、GPRS技术、数字滤波技术设计以汽车安防检测为目的嵌入式系统.从软硬件两方面具体论述了系统的总体设计,建立了相关的数学模型,对提高系统可靠性提出了相应措施,软件方面采用平均值滤波法和中位值滤波法抑制各种频率的干扰信号,阐述了该系统的优势.本嵌入式系统以低成本、高性能、实时性、高可靠性等优势实现汽车安防功能,具有很高的实用价值.

基本树空间响应压缩器的优化设计10-14

摘要：传统的基本树空间压缩器是一种零混叠的空间压缩器结构,其中AND,OR,NAND和NOR被用来压缩被测电路的输出端.但是,由于在传统的基本树空间压缩器中没使用XOR结构,这将导致压缩率在某些条件下恶化.为了提高传统的基本树空间压缩器的压缩率,提出了一种改进的基本树空间压缩器结构.改进的基本树空间压缩器将引入XOR门来提高基本树空间压缩器的压缩率,除此之外,还提出了一种简单的基于故障仿真的综合算法来设计改进的基本树空间压缩器结构.针对ISCAS89实验电路的实验结果表明,改进的基本树空间压缩器结构需要更少的硬件开销,能够获得更高的压缩效率.

基于TPC-C基准的高端容错机评测系统的研究15-21

摘要：高端容错计算机广泛应用于金融、电信等行业,选择合适的基准测试并设计负载模拟系统是对高端容错机性能评估和评测的重要手段之一.TPC-C基准因其完备性、持久性、跨平台等优点被人们广泛地应用于联机事务性处理(OLTP)的商业应用中.设计了基于TPC-C基准的负载模拟系统,并构建了相应的TPC-C基准评测环境平台,实现了对高端容错机性能的评估和测试.实验证明,上述方法是一种合理、有效的针对高端容错机性能的测试分析手段.

不规则结构片上网络的测试方法研究22-27

摘要：随着芯片集成度与复杂性的提高,片上网络(NoC)作为一种新的集成电路体系结构被提出.目前针对NoC的研究主要基于几种通用的规则拓扑结构(如2D-Mesh等),而在实际应用中往往需要自定义的不规则拓扑结构.针对具有不规则拓扑结构的NoC,基于其工作原理研究其故障诊断问题,并提出了一种分阶段的故障检测定位方法.该方法通过路由节点可达性试探与转发功能测试两个阶段对NoC进行故障检测.理论分析与仿真实验表明,该方法具有较高的故障覆盖率以及测试效率.

TADS装备测试性分析软件平台28-33

摘要：随着装备复杂程度的不断提高,装备诊断维护的难度越来越大.为了保证复杂装备系统的可靠运行,必须要有自动化测试分析软件的支持.国内在这方面一直依赖于国外软件产品,无法实现与本地使用流程的紧密结合,使自动化程度受到影响.本项目设计的TADS软件在参照国外现有测试性分析软件功能实现的基础上,充分考虑了相关单位的实际使用需求.软件具有良好的可扩展性,并支持多种标准输出格式.简要介绍了TADS软件的设计架构,给出了软件在建模分析中的具体使用流程.

一种基于GPTS3.0的自动测试诊断系统34-38

摘要：介绍了以标准ATLAS716编译器和国内唯一使用IVI COM技术为核心的GPTS3.0通用自动测试软件平台.并针对综合测试诊断系统(CTDS)测试软件平台发展的新要求,提出了一种采用GPTS3.0测试软件平台构建的自动测试诊断系统.以某型罗盘为例具体地描述了GPTS3.0在CTDS中开发UUT自动测试系统的方法,给出了利用GPTS3.0在CTDS中开发测试系统的流程.

一种基于响应中无关位填充的测试数据压缩方法39-43

摘要：提出一种测试数据压缩方案,利用测试向量与扫描链中响应数据的分块相容,进一步增加被编码测试向量中的无关位;降低了线性反馈移位寄存器中编码种子的度数,最终达到压缩测试数据的目的.该方案不增加额外的测试向量,解压电路简单,仅需一个LFSR和简单的控制逻辑.

测试驱动过程模型在辅助决策系统开发中的应用44-49

摘要：为了解决辅助决策系统中模型、知识和数据的选择问题,在辅助决策系统开发过程中引入测试驱动过程模型,并对测试驱动过程模型及其开发步骤进行详细分析.以空调机组的辅助决策系统开发为例,研究测试驱动过程模型应用在辅助决策系统开发过程中的方法.最后以确定预测模型为例,说明测试驱动开发模型应用在模型和知识选择中的具体流程,并验证其优点.案例表明在辅助决策系统开发过程中应用测试驱动过程模型,开发过程更加有针对性,模型、知识和数据的选择更加明确.

基于软件运行记录的交互测试研究50-55

摘要：为了进行交互测试并监测整个交互过程,采取插桩交互图获取软件运行记录的方法,通过记录和分析软件运行时的所有交互信息,比较预期输出结果和实际输出结果实现故障定位.并通过分析唯一输入输出测试用例生成方法,在保证测试覆盖率的基础上对运行记录进行优化.最后以地铁售票系统为例,说明软件运行记录的实现过程,并通过运行Logiscope覆盖率检查工具验证减少信息记录方法的正确性.

基于I/O关系的适应性随机测试56-63

摘要：随机测试(random testing,RT)是一种简单易用的测试技术,它从输入域随机地选择测试用例,直至发现一个失效或测试资源耗尽.但它因为不利用任何软件需求和代码信息而被认为是效率低下的.基于失效域分布的特征,Chen提出了一种名叫适应性随机测试(adaptive random testing,ART)的新方法.ART虽然提高了随机测试的失效发现效率,但与RT一样,在发现一个失效后就停止测试,而现实中许多软件都是具有多个输入输出变量的,它可能存在多个缺陷,针对这样的软件进行测试,ART显然存在一定的局限.将I/O关系信息引入ART,在I/O关联性分析的基础上,提出了一种基于I/O的ART新方法.仿真实验的结果证明,相对于FSCS-ART而言,新算法发现失效的效率有了极大的提高,同时,它可以一次发现多个失效,更适用于多个输入输出变量的软件的测试.

Java语言基于函数摘要的全局分析静态测试方法64-68

摘要：静态测试是软件测试的一种,它是在不运行源程序的基础上,通过对源程序或者中间代码进行抽象和理解,抽取程序的属性并预测其运行时行为和状态来完成测试.通过对DTSJava系统的分析,来说明通过函数摘要对程序进行全局分析的静态测试方法.函数摘要是对函数信息的一种抽象,一般与具体的缺陷模式相关.包括前置信息、后置信息和特征信息.前置信息主要是对调用该函数的条件的一种约束,如参数不能为空.后置信息主要是对类成员和实例成员变量的影响.特征信息是对当前函数一些特征的描述,如资源分配或释放信息.

一种悬挂指针故障的静态检测方法69-73

摘要：悬挂指针是指那些不指向任何合法对象的指针,它引起的故障会导致程序产生无法预料的后果并且不容易找到问题的原因.针对C/C++语言中常见悬挂指针故障进行了分析,建立了悬挂指针类型故障模型,设计并实现了一种悬挂指针故障的静态检测方法.通过函数摘要实现跨函数分析,方法能够同时检测函数内和函数间的悬挂指针故障.实验证明,该方法能够检测出故障点,误报率低.该方法已应用于软件测试系统中实际项目的缺陷检测.

过程间的非法计算故障静态检测方法74-78

摘要：非法计算是程序中常见的故障,极易导致系统崩溃.例如:除0运算、对负数开平方根运算等.现有的测试方法大多只能检测过程内的非法计算故障.提出了一种针对函数调用引起的过程间的非法计算故障的静态检测方法.该方法首先对可能存在非法计算的函数提取相应的函数摘要,然后利用函数摘要实现跨函数间的分析.实验结果表明,该方法能检测出更多的非法计算故障点,同时有效地提高非法计算故障检测的准确性.

一种改进的基于EFSM变迁依赖图的协议测试序列生成算法79-85

摘要：为兼顾协议测试中数据流和控制流两个方面,以扩展有限状态机模型及其变迁依赖图为基础,对结合控制流与数据流生成测试序列的方法进行了研究探索.在数据流测试中,为了解决传统静态数据流分析方法中,因标记已访问变迁结点导致的测试路径分析不完整问题,提出了通过重用各变迁间数据依赖关系生成测试序列的方法;在控制流测试中,提出了通过构造子序列间最短遍历路径生成测试序列的方法.同时采用路径叠加技术对测试序列进行合并,优化了测试序列集.该算法通过与传统方法的实验对比,得到较高的路径覆盖率和较小的控制流测试时间复杂性.

游戏软件测试模式选择与测试估计研究86-90

摘要：通过对游戏软件特有的测试模式分析,进行游戏软件测试工作量估计.以美国软件生产力研究所(Software Productivity Research)的一般软件测试估计的数据为基础,以网络游戏为例,选择了12个测试阶段为游戏软件测试模式,对游戏软件测试工作量进行估计.通过3个游戏项目的实验对比,测试估计的误差在15%～20%之间.指出进一步收集并构建游戏软件测试数据,确定数据调整因子的研究方向.

一种过程内及过程间数组越界故障的静态检测方法91-95

摘要：数组越界是C和C++程序中常见故障,在各种软件测试系统的设计中,都占据重要位置.首先对数组越界故障进行分析,建立数组越界类型故障模型,设计并实现了基于静态分析,以函数摘要作基础对源代码进行函数内及函数间分析的检测方法.最后用实验方法对实例源码进行测试,实验结果验证了该方法的有效性.此方法已实现,并应用于实际项目中.