欢迎访问北京化工大学学报(自然科学版),今天是
Email Alert  RSS

2007年, 第34卷, 第s1期 刊出日期:2007-11-15
  

  • 全选
    |
    综述
  • 单锦辉;徐克俊
    . 2007, 34(s1): 5-8.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    软件在国民经济和社会生活中发挥着重要作用。软件出现故障可能造成严重危害。但是,目前尚未明确提出软件故障诊断的概念,缺乏对软件故障诊断的系统深入研究。当前硬件系统故障诊断的研究和实践都取得了较大的进展。本文分析软件故障产生的原因和软件失效机理,介绍各种硬件系统故障诊断技术,并对软件故障诊断进行了初步的探讨。
  • 孙茜1;宫云战2杨朝红2,3
    . 2007, 34(s1): 9-12.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    静态分析方法可以自动地提取软件的行为信息,从而检测出软件中的安全漏洞。和其他程序分析方法相比,该方法具有自动化程度高和检测速度快的优点。本文介绍了Java语言的安全漏洞的故障模式,说明了类型推断、数据流分析和约束分析等主要静态分析方法及两种特别的分析方法,最后介绍了几种常用的静态代码安全检测工具。
  • 研究论文
  • 王晓潭;易军凯;赵恒永
    . 2007, 34(s1): 13-16.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    多语言信息服务系统的构建既是一个理论问题,也是一个实践问题。本文结合当前多语言服务发展的实际情况,提出使用UML用例图、组件图及类图三种方法来构建系统模型,把系统的组成分成若干个模块,并给出了系统的框架图、应用拓扑图及总体用例图,对信息辅助翻译、数据交换平台、信息加工协作平台三个子系统及综合信息资源库进行了建模分析。
  • 刘怡文;王岩;程朝辉
    . 2007, 34(s1): 17-20.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对IP数据包在大型网络上传输可能遇到的数据包时延、数据包重复、数据包丢弃、数据包、顺序偏移、数据包错误等多种损伤或情况,研究了IP数据包传输稳定性测试技术,提出了适用于网络设备IP数据包传输稳定性测试的测试用例设计方法并进行测试用例设计,开发了传输稳定性测试工具,运用该工具对网络设备IP数据包传输稳定性进行了测试。
  • 白毅;易军凯
    . 2007, 34(s1): 21-24.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在BNF范式编码的基础上,深入讨论了生僻汉字数字化处理问题。根据对生僻汉字部件的统计和分析,本文提出了基于编码的生僻汉字输入方法,建立了相应的生僻汉字部件库,实现了生僻汉字的数字存储和显示。此外,应用测试用例自动生成的方法,对输入方法进行了测试,表明该方法具有造字速度快,应用范围广,与现有字体兼容性强等优点,从而为生僻汉字的数字化提出了一个新的解决方案。
  • 高传平1;谈利群1;宫云战2
    . 2007, 34(s1): 25-29.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    软件测试是排除软件故障,提高软件质量和可靠性的重要手段。从是否需要执行被测程序角度考虑,软件测试分为静态测试和动态测试。动态测试通过输入测试数据,动态执行程序来发现软件中存在的错误。尽管动态测试能发现部分软件错误,但对于一些特殊类型错误的检测无效。鉴于此,本文采取了一种特殊的静态分析技术来实现对代码的测试。本文首先讨论了传统软件测试方法的缺点和局限性,给出了软件的故障模型,进而提出了基于抽象语法树的静态分析技术,并给出了故障自动检测算法。依据该算法开发了自动化测试工具,给出了实验结果和对比分析,并指出了下一步的研究方向。
  • 张凯
    . 2007, 34(s1): 30-33.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    快速判断软件质量改进速度是很多研究都致力于追求的目标,但是这类研究构造出的算法多半比较复杂,不太方便。除了要仔细分析软件质量改进序列外,把握“大趋势”也是本文关心的题。本文试图用灰色理论,数据平滑处理方法和直线的斜率,构造出一个简单实用的算法,用于软件质量改进序列收敛速度的快速判断。
  • 孙全洲;杨玲萍*;张素芬
    . 2007, 34(s1): 34-38.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    通过GQM范式建立了软件充分性度量指标体系,阐述了指标体系中各种模糊因素的模糊数学处理方法,构造出测试充分性模糊决策模型,有效解决了测试充分性难以定量评价问题,在很大程度上提高了软件测试过程质量判断和决策的准确度和可信度,并以一个实例验证了该方法的可行性.
  • 朱;高建华
    . 2007, 34(s1): 39-42.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    参数的配对组合测试广泛用于软件系统错误的检测。然而在实际参数组合测试的应用中,由于时间或预算等限制原因,无法运行整个测试集。在此情况下,必须设置测试案例的优先级。本文引入优先级权值的概念,使用一个贪心算法为已生成的参数配对组合覆盖测试集按照优先级高低进行排序。不论测试在任何时刻中断,都可确保最重要的测试已被运行。
  • 李伟;程朝辉
    . 2007, 34(s1): 43-46.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    嵌入式实时系统的应用越来越广泛,其可靠性更加依赖于嵌入式软件的质量。对嵌入式软件进行测试是提高其质量的重要手段之一。本文主要研究了嵌入式软件的测试策略,分别讨论了基于主机的仿真环境下和基于目标机平台下如何测试嵌入式软件。
  • 汤国军;王翠荣;赵煜辉;张岩峰
    . 2007, 34(s1): 47-50.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    视频会议服务器的性能测试需要模拟大量的客户端和真实的流量,本文提出了一种基于Wind ows完成端口模拟客户端来产生真实流量,从而进行视频会议服务器性能测试的方法,并描述了设计与实现过程,最后通过理论分析和实验验证,表明该方法在视频会议服务器性能测试中的准确性和低开销性。
  • 林珂珉;易军凯;范国闯
    . 2007, 34(s1): 51-54.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    OnceAs是网驰(ONCE)软件基础平台的一个核心部分,基于J2EE13规范进行设计和开发,实现J2EE规范中约定的接口和服务,目前OnceAs提供标准版和集群版两个版本,可运行于多个异构操作系统,支持多种数据库管理系统。OnceAs已通过SUN JPS的所有功能测试,并在高端的PC机或低端的服务器上就可以达到J2EE应用服务器性能测试基准ECperf所要求的各项性能指标。本文介绍OnceAs的系统结构,各主要功能模块、服务和工具的实现方式,并通过Ecperf测试描述了OnceAs的各项主要性能。
  • 万琳;刘娟;宫云战
    . 2007, 34(s1): 55-58.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    测试是研发过程中的一个重要环节,但同其他过程相比,测试往往没有得到应有的重视,开发人员会将测试工作视为阻碍其按期完成开发进度的额外的负担。同时,传统的测试模型会推后发现错误的时间。本文介绍一种前置测试的开发方法,在开发之前就提前定义好该如何对程序进行测试,这不仅可以早期发现问题,并能够有效缩短开发时间。本文通过一个实例描述了该方法的基本原理。
  • 舒燕君1;吴智博1;刘宏伟1,2;杨孝宗1
    . 2007, 34(s1): 59-63.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    很少有软件成本模型会考虑测试的实际情况,因此不能够准确地反映测试过程中成本的实际消耗以及当测试情况需要发生改变时对软件成本需求的变化。绝大多数的软件测试存在着不完全排错和学习过程等现象,这些现象通常反映了实际测试的成本使用情况。本文提出了一个反映实际测试情况的测试级别,在此基础上构造了一个新的软件成本模型,并讨论了基于最低软件成本的最优发布策略。实验证明该成本模型更符合软件测试的实际情况,软件开发者可以利用该模型实现对测试成本科学的管理。
  • 陈萍;赵会群;尚思超
    . 2007, 34(s1): 64-67.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    简要介绍了TTCN3标准的第三部分GFT(Graphical presentation Format,图形表示形式),并且根据GFT与TTCN3核心语言的内在关联以及标准中的语法规定设计开发了一套由图形表示格式自动生成用核心语言描述的测试套的转换工具,从而可以减少测试相关人员在测试套开发过程中的工作量。
  • 成燕1;江建慧2,3;楼俊钢2,3
    . 2007, 34(s1): 68-72.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    负载能力是表征电子商务软件性能的一项重要标准。负载能力的评价方法包括在线系统的数据统计和估算、程序测算、基于测试的评估方法等。其中,基于测试的评估方法越来越受到人们的重视。本文以一个小型电子商务系统为例,采用基于测试的评估方法进行了系统的负载能力分析。结果表明,对于以优化为目标的系统评估,可以在优化后采用逐步细化的负载 测试方式得到最佳负载预测数据。同时,在负载能力的评估过程中,需要根据系统的主要功 能来选择合理的评估指标。
  • 肖庆;杨朝红;毕学军
    . 2007, 34(s1): 73-76.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    基于状态机对故障模式进行了统一的描述,使得故障描述更准确、无二义性。为了避免路径组合爆炸,提出基于控制流的状态集迭代分析算法进行故障检测,可以使算法的计算复杂性由O(P)(P是路径数目)减少为O(N+E)N)(N是控制流图节点数,E是控制流图边数)。由于状态机的独立性,对控制流图进行一遍迭代可以同时计算多个故障模式,大大提高测试效率。同时,该方法还采用了带条件的状态计算可以较好地减少误报的情况。
  • 李春梅1;宫云战2
    . 2007, 34(s1): 77-80.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    借助CMU200模拟3G网络,Motorola 3G终端,Gemplus USIM Card以及GemXplore Admin应用软件,对3G核心技术——鉴权做了详细分析,对终端接入3G模拟网络进行研究,并成功接入3G网络.
  • 刘玉璇1;宫云战1;杨朝红2
    . 2007, 34(s1): 81-84.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    多线程技术在近年来得到了广泛的发展和应用,对其的测试分析具有重要的意义。本文提出了针对多线程的一些故障模式,介绍了现有的对多线程故障分析的几种方法,并对他们进行比较,以利于以后新的检测工具的生成,促进软件测试在多线程技术方面的发展。
  • 杨朝红1,2;宫云战2;肖庆1;毕学军1
    . 2007, 34(s1): 85-88.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践,本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点,但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类,并对其故障密度等参数进行了初步的分析。最后,本文给出了一种基于模型的软件测试方法。
  • 黄玉麟;赵瑞莲
    . 2007, 34(s1): 89-92.
    摘要 ( )   可视化   收藏
    软件性能工程SPE是一种重要的性能分析方法,它将UML顺序图转化为执行图,进而分析软件的性能是否符合期望的指标。然而软件性能工程(SPT)却未给出顺序图到执行图的具体转化方法,在实际应用特别是自动实现时存在一定的困难,文中通过对模型图的形式化定义,提出了一种顺序图转换为执行图的基本算法,并给出了一种基于顺序图的软件性能评价方法。
  • 张广梅1;李劲松2
    . 2007, 34(s1): 93-96.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    程序中的无用代码意味着算法设计、代码实现中存在着问题。无用代码的存在增加了软件开发、测试、使用中的开销,对正确进行程序测试评估产生影响。在对无用代码的表现形式进行分析的基础上,对影响无用代码检测所要进行的数据流分析的各种因素进行了讨论。文中关于到达定值数据流分析过程中的常数传播、谓词表达式的变换、程序插装等的关于谓词表达式的求解方法为无效分支的检测提供了依据。
  • 傅程1;宫云战2;洪慧1
    . 2007, 34(s1): 97-100.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文分析了目前军队构件化软件开发的实际情况,在已有的工作基础上,提出了一个对构件可测试性进行度量的五边形法则,该方法能够直观地体现被测构件的可测试性指标数值,能够让构件开发者清楚地了解构件存在的缺陷,指导开发人员设计出高可测试性的构件。针对笔者的实际测试项目,通过先后几次的实验数据表明五边形法则可以有效地提高构件可测试性,并得到了开发方及测试人员的认可。
  • 胥光辉1;杜瑜1*;李翔2;徐永森3
    . 2007, 34(s1): 101-105.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    对国内外软件测试工具的系统框架进行研究,在此基础上提出一种扩展性更好的系统框架设计方案。在本文提出的系统框架中,源程序信息使用XML格式的文件表示,根据具体应用,系统使用不同的信息提取模板文件(XSLT格式)对应用关心的程序信息进行提取。随着应用的增加,系统只需要扩充相应的信息提取模板文件,而不用改变源程序信息文件。
  • 张楠1;尹乾1*;郭平1,2
    . 2007, 34(s1): 106-109.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文提出了一种改进的扩展表决系统,该系统是利用自动分析表决系统可靠性等参数的工具来构建的。在软件容错中采用N模块冗余(NModular RedundancyNMR)及N版本编程(N version Programming),应用表决技术,可以屏蔽整个软件系统中出错的部分。在实践中直接应用理论的表决模型会发现很难得到理论分析的结果。针对这样的问题,本文提出一种基于多数(plurality)的扩展表决系统:使用构造决策树的方法和进行DFT遍历作为自动化的计算工具;通过对基本的多数表决系统进行模型扩展,加入指导性规则对决策树进行重构,以自动计算工具的结果作为参考,从而选择更加可靠的表决结果作为输出。最终的模拟测试表明,所提出的扩展表决系统能够提高系统输出的正确率。
  • 侯斌;张冠楠*;宫云战
    . 2007, 34(s1): 110-114.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    面向故障的软件测试方法正在快速发展中,应用这种方法的关键之一就是定义各种故障模式。本文针对涉及软件性能方面的几类Java语言故障模式,给出其一般形式和产生原因,并分析其对于保证软件质量的重要性及改进措施,最后简要介绍了对故障模式进行检测的方法。
  • 李少衡;张琨;王翠荣
    . 2007, 34(s1): 115-118.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对无线传感器网络中部分路由协议在设计时对安全性考虑不够的问题,本文提出一种安全高效的路由协议-STEEN协议。该协议是在TEEN(Threshold sensitive Energy Efficient sensor Network protocol)路由协议的基础上,以增强路由安全性同时兼顾网络的能量消耗为目标而设计的。该协议通过预置密钥和采用随机密钥对密钥管理的方法,解决了节点间的认证和安全通信的问题,增强了网络的安全性。通过安全性分析可以看到,该安全路由协议可防御多种针对网络层的攻击。
  • 朱玉文;刘俐;杨家宁;刘万春
    . 2007, 34(s1): 119-123.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    介绍了一种基于模型的软件动态测试方法,该方法通过将被测程序抽象成有限状态机,将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时,能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。
  • 研究简报
  • 于秀山;董昕;蒋秀锋
    . 2007, 34(s1): 124-125.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    回归测试用例设计是回归测试中一项重要的内容,本文从应用的角度出发,在商用软件测试工具产生的程序流程图基础上,提出了覆盖变化结点的所有路径算法,并开发了相应的工具软件。应用实践表明,该工具软件能够有效地辅助回归测试用例设计工作。
  • 程诺;万琳;张威
    . 2007, 34(s1): 126-129.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    使用定量的软件质量度量能够为质量管理人员的决策提供数据的基础,并减少定性评价或者主观评价的片面性。本文基于ISO/IEC9126软件质量标准,在分析软件质量度量的量化指标的基础上,进行了软件质量度量方法的研究,完善了软件质量综合特性和定量指标的度量模型。
  • 董昕;于秀山
    . 2007, 34(s1): 130-132.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    介绍了正交试验设计方法的概念和原理。本文联系正交试验设计的基本方法,说明如何选用正交表以及设计测试用例的主要步骤。以笔者在实际工作中的项目作为实例,讨论了正交试验方法在测试项目中的应用。