论文部分内容阅读
软件体系结构（software architecture,SA）通过对系统构件及其交互的抽象,提供了一个描述大型、复杂系统的高层次模型,软件体系结构的动态描述常被用来指导分析和测试.本文通过CHAM（chemical abstract ma-chine,CHAM）描述的SA规格说明生成LTS,并根据测试需求进行测试功能的选取,提出了基于功能的最小LTS图（M-LTS）生成方法,根据McCabe覆盖方法生成M-LTS图的测试路径.最后以B/S结构为例,验证了该方法在生成SA级的测试路径上是可行的.