面向上下文无关语言的测试工具的设计和实现

软件测试是软件开发生命周期的重要组成部分，也是目前和今后相当长一段时间内保证软件质量和可靠性的主要手段，首先以两个已经实现了的分别面向VB和C/C 语言的计算机辅助软件测试工具为基础，将该系列测试工具的系统结构推广至适用于任何一种上下文无关语言。而该系列测试式工具高度的模块可重用性特征为这种推广提供了必要的基础。为实现这种高度的模块可重用性特征。从各个角度论述了增强该特征的设计，提出了基于块的程序划分机制。这种机制从根本上保证了对多种上下文无关语言的测试语义的一致性，最后，还给出了两个不同语言写就的实例的运行结果，以说明这种一致性。

DESIGN AND IMPLEMENTATION OF TESTING TOOLS FOR CONTEXT-FREE LANGUAGES

Software testing, also known as an important part of software development life cycle, will continue to be a primary approach for ensuring correctness of software systems. On the basis of two developed testing tools for the Visual Basic and C/C language respectively, the architecture of testing tools is extended to cover any context free language. And the module reusability of these testing tools provides the foundation for the extension. Then, the ways to enhance this module reusability are analyzed from various aspects of system design, and the block based program partition mechanism is presented, which ensures the consistency for testing semantic defined for any context free languages ultimately. Finally two examples are shown to illustrate this consistency.