摘要：面向对象的软件开发给测试带来了新的挑战。类级测试是面向对象测试过程中的一个重要阶段。本文研究了基于代数规格说明的面向对象类测试方法,构造了一个半自动化的测试框架。公理系统是代数规格说明中的最重要部分,该框架主要基于CLA算法来完成代数规格说明中公理系统的设计和实现,采用GNF方案实现面向对象类级测试中范式半自动化辅助生成工具的设计和实现,最后在此基础上,将GFT算法实现为半自动化辅助工具。

摘要：19世纪，希尔伯特把点、线、面三个概念作为他的几何公理系统的基础．他没有给出定义，但由形成的公理系统定义了它们之间的关系．从此数学教材普遍地遵循希尔伯特的公理系统的模式，认为这些概念易于理解，不需要定义．但是简单地认为这些概念很基本，可能带来一些教学上的问题：学生在多大程度上理解这些基本概念，学生能理解这些基本概念背后的思想吗？

摘要：关系数据库理论是数据库系统原理课程教学的重点和难点,其内容涉及到的概念、定义、定理、推理较多,同时在教学中要求学员能够运用相关的理论和知识解决在数据库应用设计中遇到的实际问题。一、关系数据理论的教学主要内容及教学要求关系数据理论用于指导建立良好的关系模式。

摘要：超图是离散数学中最一般的结构 ,无圈超图已被证明在数据库设计中非常有用 ,笔者在文〔4〕所建立的超图的公理系统基础上 ,用巧妙而构造性方法分别给出了完全二分 3—超图H3 ( p ,p) (p是素数 )的Hamilton圈分解和完全二分 3—超图H3 (p ,p) (2 |p)的Hamilton圈分解 ,并提出猜想 :当 p为素数且p≡ 1(mod4)时 ,H4 ( p ,p)

摘要：在关系数据理论中,属性集闭包的求解不仅是证明Armstrong公理系统的基础,也是关系数据库逻辑模式设计中各种模式分解算法的基础。研究了属性集闭包求解算法的机制,并利用VC++实现了该算法。