Block-based test data adequacy measurement criteria and test complexity metrics

On the basis of software testing tools we developed for progrmnming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program-based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J-complexity 0; J-complexity 1 ; J-complexity 1 ; J-complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.     

一种共前缀码的测试数据压缩方案

提出了一种新的基于游程编码的测试数据压缩/解压缩的算法:共前缀码编码(SPCS),它在传统游程使用较短的代码字来代替较长的游程的基础上,进一步探讨游程之间的相关性,使用一位来代替具有与前一游程相同前缀的后一游程的前缀,使需要多位才能表示的代码字的前缀用-位就可以表示,进一步提高了压缩率.相比类似的编码测试数据压缩方案,具有压缩率高、解压控制过程容易实现的突出特点.理论分析和对ISCAS-85和ISCAS-89部分标准电路硬故障集的实验结果证明了本方案的有效性.     

中国首款BSG混合动力车——奇瑞A5BSG上市

1月10日，奇瑞A5BSG混合动力车上市暨芜湖市场首发仪式在芜湖隆重举行。此次上市的车型为标准型，售价7．48万元。奇瑞A5BSG是中国首款BSG混合动力车，标志着奇瑞汽车拉开了新能源产品实用化的大幕。根据前期在芜湖投入出租车试运营的奇瑞A5BSG车测试数据，该车比普通车型百公里节油1L以上，按照5元／L的燃油价格计算，5年左右便可省出一辆奇瑞QQ车。     

生成测试数据的结构归纳法

提出了生成测试数据的结构归纳法,并举例说明如何运用结构归纳法产生程序的测试数据,以利于程序员有规则地产生测试数据。它对提高测试效率,改善软件产品的可靠性有促进作用。     

基于区间相容技术与GA的测试数据自动生成方法

针对测试数据自动生成完全依赖约束集求解问题（Constraint Solving Problem，CSP）进行求解会导致耗时较大甚至求解不出最终测试用例，以及采用动态GA算法又无法确定变量的最初论域空阃，首次将基于CSP求解与GA的动态算法进行了有机结合，摒弃了二者固有的缺陷，吸取了静态算法对变量论域空间削减速度快的优点。采用eBox区间相容削减标准，过滤变量的论域空间，并在经过削减的空间上采用GA搜索算法自动产生测试数据，应用常变量的逆向推导技术、表达式直接遗传等技术，大幅度地提高了测试数据的生成速度。     

基于遗传算法的多路径测试数据自动生成

遗传算法作为现在启发式搜索算法的理论和实验基础,在测试数据生成方面显示出较大的优越性。由于适应度函数设计是应用遗传算法进行测试数据生成的效率的关键,因此本文综合考虑现有适应度设计的因素,设计出一种新的基于遗传算法的多路径算法。该方法是首先设计一种衡量两条路径相似度的算法,然后在此基础上设计了一个针对多路径的算法。通过与现有方法的生成效率进行比较发现:对于基于遗传算法的测试数据生成问题,该方法的测试生成效率有较大提高。     

中学生体质现状实施分析及对策研究

1.研究目的 通过对当前学生体质状况作出宏观的掌握,从而对国家学生体质健康标准的实施现状作出判断,发现成功的经验与在实施过程中遇到的问题与难点,对标准的进一步实施提出对策提供科学的依据。2.研究方法2.1数据分析法根据本次调查收集上来的2007年、2008年江苏省《国家学生体质健康标准》测试数据、2009年湖北黄石二中学生体质健康数据、2010年苏州市普通高中高三学生身体素质抽测结果、江苏省部分高校2009级新生身体素质测试结果、张家港市2007、2008、2009年《国家学生体质健康标准》统计表、2009年南京九中体质健康测试数据、     

基于分组的并行程序多路径覆盖测试数据进化生成

尽管并行软件测试已经得到软件工程界的广泛关注,但是,如何高效生成覆盖并行软件多条路径的测试数据,相关的研究还比较少。本文研究消息传递并行程序多路径覆盖测试数据生成问题,并提出基于分组的测试数据进化生成方法。首先根据并行程序包含的进程数、可用的计算资源以及路径相似度,将目标路径分成若干组,并基于每组目标路径,建立多路径覆盖测试数据生成问题的数学模型;然后采用多种群并行遗传算法求解上述模型,使得一次运行遗传算法,生成覆盖所有目标路径的测试数据。性能分析表明,所提出的目标路径分组方法不但能够保证不同组包含的目标路径相差很少,而且同一组的目标路径之间具有很大的相似度。将所提方法应用于4个基准程序的测试中,并与已有方法比较,结果表明,所提方法在保证路径覆盖率的前提下,可大大缩减个体评价次数和耗时。     

最小游程切换点标记编码压缩方法

针对集成电路所需测试数据量庞大、测试成本过高的问题,该文提出了最小游程切换点标记编码压缩方法,将原始测试数据压缩,达到减少测试成本的目的。该方法将测试集按若干向量分组编码,利用组内向量游程切换范围的重叠关系合并游程切换点,可以将组内所有测试向量的游程位置用一个向量表示出来,突破了传统编码压缩要用编码字后缀表示游程长度的限制,相较于传统编码压缩,极大地缩短了编码字。该方法解压规则简单,硬件开销小, ISCAS 89标准电路实验结果表明:该方案压缩效果优于其他几类编码压缩方案,可为测试数据量过大提供有效解决方法。