摘要
基于面向扩展结构程序设计的一种结构测试方法STM及其形式算法FSTM,开发了一个软件测试支持工具STT(structuraltestingtool),并给出了该算法在微机TurboProlog环境下的实施.
Based on a novel structural testing method(STM) for expanded JSP designed programs and its formal algorithm (FSTM),a software tool STT(structural testing tool) is developed to support this algorithm.
出处
《武汉水利电力大学学报》
EI
CSCD
1997年第3期86-89,共4页
Engineering Journal of Wuhan University
关键词
结构测试算法
软件工具
程序设计
structural programming
algebra
testing
algorithms
software tool