题库、试卷建设是教学活动的重要组成部分，传统手工编制的试卷经常出现内容雷同、知识点不合理以及笔误、印刷错误等情况。为了实现离散数学题库管理的信息化而开发了离散数学题库管理系统。 该系统采用C/S 模式，前台采用JAVA（JBuilder2006），后台采用SQLServer2000数据库。本文详细论述了系统总体设计思想、数据库设计以及功能模块设计等。应用软件工程中的瀑布开发模型，开发实现了以下功能：题库的管理与维护、自动生成试卷、手工改动生成试卷、生成WORD试卷和答案。 离散数学题

It has been said before but it bears repeating: Writing defect-free software is exceedingly diffi cult. Proof of correctness of real systems is still well beyond our abilities, and specifi cation of behavior is equally challenging. Predicting fut