从集合表达式产生测试数据的方法

软件测试保证和提高了软件质量,因此成为软件界最为关心的问题之一。测试数据的好坏直接影响软件测试的效果。形式规格说明中的前置条件可用来产生测试数据。而前置条件是基于关系操作符的谓词表达式。给出了一个针对集合关系表达式的测试准则和产生符合测试准则的测试数据的算法,根据该测试准则产生的测试数据对于集合条件表达式有比较好的错误检测能力。从给出的数据库查询的例子说明了该方法对于检测代码错误的有效性。

地图的集合模型(表达式)及比较应用初探

本文在分析和综合地图实质与内容的基础上,应用比较方法提出了点作为构成地图的“细胞”,并由此入手建立了点的一般集合表达式,指出表达式是点的定位基础信息、表示类属的性质特征信息、区别颜色的表象特征信息以及反映颜色浓淡的信息等6个变量的函数。然后推导了地图要素和最终的地图一般表达式。作为例子,文中运用这些表达式推证了各类点、各种地图要素及几种地图的表达式。 作者认为,依据这些表达式还可对作为传输信息工具的地图在人们认知过程中的作用和结果作进一步的探索。

一个在广播网络中处理查询的优化算法

本文讨论了在广播网络中的某一结点收集分布在各个结点里的满足一类常见的查询表达式的数据的优化问题,我们提出了一个算法,使需要在网络中传输的数据量是最小的。