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

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

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

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

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

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