Ada软件测试用例生成工具

软件测试是软件开发过程的一个重要环节，它的主要工作是测试用例的选择．由于人为地选择测试用例带有很大的盲目性和倾向性，因此开发一个能够自动生成测试用例的工具是十分必要的．本文阐述了软件测试用例生成的一些概念和方法，重点讨论了函数最小化方法和插装技术在测试用例生成工具中的应用。

Ada软件性能检测技术研究及工具的实现

介绍了一些软件的性能检测技术和检测工具，并对它们的实用性和适用性进行了讨论．然后，着重讨论了Ａｄａ软件系统的并行机制，并详细分析了与软件的性能密切相关的语法现象，从而设计出合理的处理方法．最后。

遗传算法在软件测试数据生成中的应用

测试数据生成是软件测试中的关键环节，它的实现对于软件测试过程的自动化具有重要意义．本文阐述了用遗传算法作为核心搜索算法来生成软件结构测试数据的方法和技术，其中讨论了编码策略、评价函数构造及插装等问题的解决方案，并重点说明了如何对遗传算子进行改进，使算法在解决本问题时更加有效．实验数据证明该方法是高效的．

Ada软件源代码分析器（ASCA）

论述了Ａｄａ软件源代码分析器的结构、功能以及一些特点。该工具是保证Ａｄａ软件系统质量的工具之一，可为高效地开发和维护大型、复杂的软件系统提供支持。

Ada语言重载的分析和处理

先简要介绍了Ａｄａ语言中的３种重载现象，并给出了表达式的二叉树存储结构，随后阐述了判别重载的基本算法，即先后对表达式分析树进行自底向上和自顶向下两遍类型匹配，来取得表达式最终的惟一合法释义。

两大Web代理服务器孰优孰劣

微软公司和Netscape公司新近推出了新版的Web代理服务器,不过,用这两个代理服务器来进行Web代理,给人的感觉就好象用高射炮打蚊子一样。 Netscape Proxy Server 3.5和Microsoft Proxy Server 2.0的基本功能是将经常访问的内容存在高速缓冲区中,然后直接从缓冲区中将内容传送给浏览器,这比直接从Internet网上下载快。它们同时也可以控制对Internet的访问,并过滤掉一些不想要的内容。

Windows NT Server 5.0拥有分布式能力

备受关注的微软公司下一代网络操作系统Windows NT5.0已经进入β测试阶段,并准备在98年某个时候发布。Windows NT5.0为企业环境提供了更灵活的网络服务部件和更全面的分布式应用平台。 在Windows ST5.0中最令人瞩目的部分是Active Directory——企业级目录服务部件。Active Directory的“名字空间”是由目录的组织方案及对目录对象进行命名、定义和访问的一些约定组成的,它大量借鉴了X.