结构性自动软件测试的设计方法与实现

阐述了一种自动生成结构性测试用例的设计方法与实现过程。采用广义表数据结构作为源程序的中间表示,在辅助实现结构性测试主要功能的同时,兼顾程序结构可视化。讨论了怎样以适当代价尽量高效全面地生成测试用例,并且提供较易用的使用界面。已经在一个可视化集成开发环境中的程序测试模块得到应用。