基于软件测试的软件可靠性评价技术研究

提出了利用软件测试结果进行软件可靠性评价的技术和方法,并结合具体的软件项目,计算出了软件模块的可靠性以及软件的可靠性.该方法能够有效满足在软件开发的不同阶段对软件可靠性进行评价的需要.     

使用IBM Rational Test RealTime进行嵌入式软件测试

介绍IBM Rational Test RealTime测试工具,并以单元测试为重点说明其在嵌入式软件测试中的应用。     

符号执行中高语句覆盖率的路径调度

符号执行和约束求解相结合的软件测试方法采用深度优先搜索的路径调度算法会造成测试路径聚居性问题,实际软件中存在路径爆炸,使得采用该算法的测试语句覆盖率低下。提出一种新的PSHC路径调度算法。先将路径分为前缀和后缀两部分,每次测试总是试图寻找这样的路径,该路径与已存在的路径具有最短的相同前缀,并且包含尽可能多的尚未被访问过的基本块作为其后缀。基于Phoenix漏洞发掘工具的实验结果表明,PSHC算法可以迅速提高测试的语句覆盖率到100%,有效解决由于深度优先搜索的路径聚居性导致的测试代码的局部性问题,PSHC算法产生的路径数与循环深度无关,软件规模越大,该算法的表现越好。     

外包软件测试项目的研究

本文主要从软件测试技术,外包测试和质量管理的概念入手,阐述了影响外包测试项目质量的因素和目前外包测试项中存在的质量问题。     

走向成熟——改良版奔图P1000激光打印机评测

打印机2010年12月中国第一台自有核心技术的激光打印机奔图激光打印机正式亮相。PCWorld中国实验室曾在第一时间对奔图P1000打印机进行了测试(评测文章见本刊2011年第一期)。时隔八个月有余,我们再次迎来了奔图P1000,与上次有所不同的是,此次评测机型为改良版(5月15日生产)。     

HDMI授权测试实验室落户赛西科技——数字接口及软件测试技术国际论坛在京隆重召开

为进一步拓展数字高清接口技术应用领域,5月11日,由北京赛西科技发展有限责任公司主办,UCPS论坛、数字视频产业技术创新战略联盟、《信息技术与标准化》杂志社共同协办,矽映电子科技(SiliconImageInc.)、SimplayLabs、HDMILicensing,LLC提供支持,国内外著名企业、机构共同参与的"数字接口及软件测试技术国际论坛"在京召开。     

ADS开发环境下的CodeTEST插桩技术研究

嵌入式软件白盒测试工具CodeTEST在工具链的开发环境中,通过工程管理文件Makefile自动给源代码插桩做标记。本文灵活利用CodeTEST插桩技术,通过工具链的方式实现对ADS工程源文件自动插桩,以获取CodeTEST更广泛的测试范围。     

基于Java内存模型的并发程序模型检测

为了提高性能,Java内存模型允许编译器在优化过程中改变代码的执行顺序,同时该技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程Java并发程序中,这些代码乱序执行会引起很多难以发现的错误。现有的Java程序模型检测技术并没有考虑这些顺序改变的问题。因此,本文提出了一种建立包含多线程交互及线程内代码乱序执行的完整模型,并利用模型检测工具进行穷举检测的算法。该算法可以发现原有技术无法发现的新问题,更好地检测高可靠性要求的Java并发程序。     

提高中小软件公司测试水平的见解

本文介绍了中小软件公司提高软件测试水平的一些见解.包括思想方面,管理实施的方面,及技术的方面.     

Matlab在辅助火箭飞行控制软件测试中的应用

介绍了Matlab在软件测试中的应用.通过仿真设计,针对控制系统稳定设计线形控制、非线性控制的特点,提供在阶跃信号和斜坡信号输入下,被测飞行控制软件输出的理论判断依据,提高软件测试的效率,降低测试成本.