Technique of Testing Sequences Generation on SA Level
Zhao Lei · Microelectronics & Computer · 2012
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.