Method of All Path Coverage at SA Level Based on CHAM
Lijun Lun · Microelectronics & Computer · 2010
This paper proposes an approach to generate LTS of SA specification described by CHAM. According to the testing requirement we select testing criteria. By using all paths testing method, we generate testing paths based on the testing creteria. Finally, Regarding Browser/Server architecture as an example, the method on generating testing paths of SA is shown feasible.