区间算术在软件测试中的应用

程序结构测试可以分为４个阶段：静态分析、路径选择、测试数据生成和动态分析．本文应用区间算术在测试数据生成阶段对约束集求解．由于正则约束式的引入，能够处理复杂的逻辑表达式组，找到一组解以供第４阶段动态分析使用．文中提出的算法具有非常大的灵活性，可以处理非线性约束，经改进后。

一种路径覆盖的自动生成算法──剪枝法

程序结构测试可以分为四个阶段：静态分析，路径选择，测试数据生成和动态分析．文中提出了“层次树”的概念，用来表示一个由结构化程序设计语言书写的程序的结构，从而可以充分利用结构化程序设计语言的优点．以此为基础，提出了一种路径覆盖的自动生成算法，称作“剪枝法”，在软件测试的第二阶段使用．该方法的最大优点是简单性和灵活性．

文本状态下图形鼠标光标的实现

凡是使用过鼠标的人都知道,在文本状态下,鼠标的光标是一个实心方块。当移动鼠标时,它在字符间一跳一跳地,不能象在图形模式下那样,光标是一个箭头,能够平滑移动。这主要是因为显示模式的原因。 但是一些人在用过NORTON的磁盘医生Disk Doctor等类似的实用工具后,不禁会产生疑问:NDD也是在文本状态下执行的,为什么在它执行时,鼠标光标可以象在图形状态下一样平滑移动呢?它究竟是怎样实现的呢? 我们称此时的光标为“true mouse cursor”,它的实现需要涉及到以下几方面的技术:1.字符发生器的修改;2.