Test frame updating in CPM testing of Prolog programs

Category Partition Method (CPM) is a general approach to specification-based program testing, where test frame reduction and refinement are two important issues. Test frame reduction is necessary since too many test frames may be produced, and test frame refinement is important since during CPM testing new information about test frame generation may be achieved and considered incrementally. Besides the information provided by testers or users, implementation related knowledge offers alternative information for reducing and refining CPM test frames. This paper explores the idea by proposing a call patterns semantics based test frame updating method for Prolog programs, in which a call patterns analysis is used to collect information about the way in which procedures are used in a program. The updated test frames will be represented as constraints. The effect of our test frame updating is two-fold. On one hand, it removes “uncared” data from the original set of test frames; on the other hand, it refines the test frames to which we should pay more attention. The first effect makes the input domain on which a procedure must be tested a subset of the procedure’s input domain, and the latter makes testers stand more chance to find out the faults that are more likely to show their presence in the use of the program under consideration. Our test frame updating method preserves the effectiveness of CPM testing with respect to the detection of faults we care. The test case generation from the updated set of test frames is also discussed. In order to show the applicability of our method an approximation call patterns semantics is proposed, and the test frame updating on the semantics is illustrated by an example.

城市轨道交通电力监控系统测试的研究及应用

针对电力监控系统具有实时性、可靠性、硬件依赖等特点,为了保证电力监控系统的可靠、安全和稳定性。提出了适用于该系统的测试方法。根据系统的特点制定了相应的测试策略,并进行了测试的总体设计和测试用例的设计。最后通过对测试环境的分析,开发了相应的模拟器。通过模拟器和测试用例实现了测试的自动化。根据测试的过程和结果表明,采用正确的测试设计方法能够有效的发现系统中存在的问题,保证系统的质量。     

构件测试元数据及其提取与展现技术

构件具有的封装性给构件测试带来了困难,而目前构件包含的元数据尚不完整。为了充分利用构件元数据进行构件自动化测试,从构件使用者和测试者的角度设计了内涵丰富的构件元数据,并且针对COM构件,通过访问类型库来自动获取构件结构信息元数据,按层次提取并用XML形式化描述类型信息,得到了COM构件辅助测试规格说明。实例表明,该方法能直接操纵COM构件,自动获取元数据,便于测试脚本自动生成。     

Economic modeling of board test strategies

A long and deep recession, coupled with continuous competitive pressure to reduce costs, is forcing many companies to review their test strategies. Testing costs have become a more significant proportion of the overall manufacturing cost even though manufacturing yields have increased dramatically over the past ten or twelve years. This causes attention to be focused on testing costs as a key source of cost reduction. The increased use of DFT and the integration of design and test are very positive moves towards controlling testing costs but other methods employed can often backfire. The increased use of low priced testers is one such method. The pressure to reduce costs, higher process yields and exhortations that testing adds no value can lead the test engineering manager to take the cheap route. In reality this can often turn out to be an expensive decision. The only way to avoid expensive mistakes is to perform an economic analysis of the alternative courses of action. In most cases this is done, but not always in the right manner or with the necessary amount of detail to make the comparisons meaningful. This article discusses the need for effective cost analysis of test strategies and highlights some of the pitfalls.     

Multi-Objective Modified Particle Swarm Optimization for Test Suite Reduction (MOMPSO)

Software testing plays a pivotal role in entire software development lifecycle. It provides researchers with extensive opportunities to develop novel methods for the optimized and cost-effective test suite Although implementation of such a cost-effective test suite with regression testing is being under exploration still it contains lot of challenges and flaws while incorporating with any of the new regression testing algorithm due to irrelevant test cases in the test suite which are not required. These kinds of irrelevant test cases might create certain challenges such as code-coverage in the test suite, fault-tolerance, defects due to uncovered-statements and overall-performance at the time of execution. With this objective, the proposed a new Modified Particle Swarm optimization used for multi-objective test suite optimization. The experiment results involving six subject programs show that MOMPSO method can outer perform with respect to both reduction rate (90.78% to 100%) and failure detection rate (44.56% to 55.01%). Results proved MOMPSO outperformed the other stated algorithms.     

Isolation and identification of (3-methoxyphenyl)acetonitrile as a phytotoxin from meadowfoam (Limnanthes alba) seedmeal

Ethyl ether, ethanol, and water extracts of meadowfoam (Limnanthes alba Hartweg ex. Benth.) seedmeal were prepared and bioassayed against velvetleaf (Abutilon theophrasti Medicus) and wheat (Triticum aestivum L. Cardinal). Both the ethyl ether and ethanol fractions, but not the water extract, inhibited velvetleaf and wheat radicle elongation. Fractionation of the extracts indicated that (3-methoxyphenyl)acetonitrile (3-MPAN) was the active compound from both extracts, comprising >97% of the active ethanol fraction. 3-Methoxybenzyl isothiocyanate, which had been previously shown to be the major breakdown product of glucolimnanthin, the majorL. alba glucosinolate, was not detected in either extract. Radicle elongation of velvetleaf and wheat were inhibited by 3-MPAN with I₅₀ (the concentration required to inhibit growth by 50%) values of approximately 4 × 10^–4 M (velvetleaf) and 7×10^–4 M (wheat).Mention of firms or products does not imply endorsement by the U.S. Department of Agriculture over other firms or products not mentioned.     

煤矿井下中央变电所内电磁干扰测试及分析

通过对煤矿井下中央变电所电磁环境进行测试分析,得出如下结论:(1)中央变电所设备正常运行时,高压开关附近存在低频干扰;(2)中央变电所变压器正常运行时,干扰主要在500 MHz以下,在100 MHz附近产生较大干扰,产生的最大干扰比背景噪声高出40 dB.μV/m左右;(3)中央变电所内开关闭合瞬间会产生较大的电磁干扰,干扰主要在1.5 GHz以下,低频干扰较大,最大值达到193 dB.μV/m;(4)中央变电所设备正常工作时,辐射电磁场达到一级标准(1 V/m);但在开关闭合瞬间,在1 MHz以下电磁干扰较大,超过GB9175—88环境电磁波卫生标准中规定的二级标准。     

一种可行的可用性测试过程

文章综述用户模型法、用户调查法、专家评审法和观察法4类可用性测试方法,根据可用性测试的经验,总结出一套合理实用的可用性测试过程,使得可用性测试的效率高、代价低,尽可能发现更多的可用性问题;提出在程序设计类课程的教学中,应适当向学生介绍可用性测试的方法和过程,以培养学生对自己开发的软件系统进行可用性测试的能力。     

软件质量与测试教学内容改革的探索

通过对软件质量与测试课程的现状展开调研和分析,提出了软件质量与测试课程教学内容改革的原则,并以此为基础,对课程的理论教学内容与实践教学内容分别进行了详细的设计。     

2HL055恒流二极管参数测试

2HL055是贵州博越公司生产的恒流二极管,该类器件恒定电流大,极限电压低,可以直接驱动负载,但器件形成实验室成品后,没有进行过参数测试,其基本参数范围不能确定。文章拟通过试验,进一步测试2HL055器件的基本参数,并确定部分参数的测试方法。