摘要：分析了面向过程的白盒测试方法在应用于事件驱动面向对象的软件测试时存在的不足，提出了事件覆盖、事件－语句覆盖、事件－判定覆盖等６个覆盖准则，对面向过程的白盒测试方法进行了扩充，使白盒测试法能够有效地对事件驱动面向对象软件进行测试．给出了结合ＰＥＡＤ图设计测试用例的方法．

摘要：论文主要介绍了平衡施肥WebGIS专家系统的设计思想和实现技术。该系统将WebGIS技术、JAVA技术、数据库技术和人工智能理论有机地结合在一起,形成一个集地理地图处理,智能化推理决策,网络化浏览于一体的基于WWW的平衡施肥WebGIS专家系统平台。

摘要：介绍了设计变量的许用离散集不同的离散变量结构优化设计问题的定界组合算法及其软件系统。根据静定化假设,给出了离散变量结构优化问题的数学模型,该模型实际上是一个组合优化问题,定界组合算法被用来求解该模型。给出了此算法的通用软件,利用MicrosoftVisualC++6. 0在MicrosoftWindows2000Professional下进行程序设计,实现了既可求解一般离散变量的线性规划问题,又能进行杆系结构优化的工具软件。软件也实现了用遗传算法求解离散变量结构优化设计,用户可以选择计算所用的算法。