论文部分内容阅读
本文提出了一种可形式化的新的结构测试方法STM（Structural testing method)，文中首先引入了扩展结构程序设计方法，并基于Jackson图，设计出一种描述扩展结构程序之程序结构的图示工具－E－J图，同时定义了代数系统G。STM包括由E－J图生成路径表达式，然后按代数系统G中规则将表达式展开成一个路径集。文中描述了对第一E－J结构的详细处理过程。本文还讨论了与STM及测试相关的其它问题，如路径组合、分割及测试例生成等，并对STM进行了评估。