徐士华, 吕莉媛, 赵磊. 一种软件体系结构级测试序列生成技术[J]. 微电子学与计算机, 2012, 29(1): 117-120.
引用本文: 徐士华, 吕莉媛, 赵磊. 一种软件体系结构级测试序列生成技术[J]. 微电子学与计算机, 2012, 29(1): 117-120.
XU Shi-hua, Lv Li-yuan, ZHAO Lei. Technique of Testing Sequences Generation on SA Level[J]. Microelectronics & Computer, 2012, 29(1): 117-120.
Citation: XU Shi-hua, Lv Li-yuan, ZHAO Lei. Technique of Testing Sequences Generation on SA Level[J]. Microelectronics & Computer, 2012, 29(1): 117-120.

一种软件体系结构级测试序列生成技术

Technique of Testing Sequences Generation on SA Level

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

     

    Abstract: Software architecture provide a high level model to describe large,complex systems by Abstracting system components and their interactions.Dynamic descriptions of SA can be employed in guiding test and analysis.This paper proposes an approach to generate LTS described by CHAM.According to the testing requirement,we select testing function and provide method of minimized labelled transition system(M-LTS) graph generation.Then,we generate testing paths of M-LTS graph according McCabe's covering method.Finally,Regarding Browser/Server architecture as an example,the method on generating testing path of SA is shown feasible.

     

/

返回文章
返回