赵磊, 徐士华, 赵国生, 伦立军. 基于CHAM的SA级全路径覆盖方法[J]. 微电子学与计算机, 2010, 27(4): 140-144.
引用本文: 赵磊, 徐士华, 赵国生, 伦立军. 基于CHAM的SA级全路径覆盖方法[J]. 微电子学与计算机, 2010, 27(4): 140-144.
ZHAO Lei, XU Shi-hua, ZHAO Guo-sheng, LUN Li-jun. Method of All Path Coverage at SA Level Based on CHAM[J]. Microelectronics & Computer, 2010, 27(4): 140-144.
Citation: ZHAO Lei, XU Shi-hua, ZHAO Guo-sheng, LUN Li-jun. Method of All Path Coverage at SA Level Based on CHAM[J]. Microelectronics & Computer, 2010, 27(4): 140-144.

基于CHAM的SA级全路径覆盖方法

Method of All Path Coverage at SA Level Based on CHAM

  • 摘要: 文中提出了通过CHAM描述的SA规格说明生成LTS, 并根据测试需求进行测试覆盖准则的选取, 然后利用全路径测试方法, 生成基于此覆盖准则的测试路径.最后以B/S结构为例, 验证了该方法在生成SA级的测试路径上是可行的.

     

    Abstract: 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.

     

/

返回文章
返回