期刊文献+

基于CHAM的SA级全路径覆盖方法 被引量:1

Method of All Path Coverage at SA Level Based on CHAM
下载PDF
导出
摘要 文中提出了通过CHAM描述的SA规格说明生成LTS,并根据测试需求进行测试覆盖准则的选取,然后利用全路径测试方法,生成基于此覆盖准则的测试路径.最后以B/S结构为例,验证了该方法在生成SA级的测试路径上是可行的. 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.
出处 《微电子学与计算机》 CSCD 北大核心 2010年第4期140-144,共5页 Microelectronics & Computer
基金 黑龙江省教育厅科技项目(11531237)
关键词 软件体系结构 测试路径 标号迁移系统 测试覆盖准则 化学抽象机 software architecture testing path LTS testing criteria chemical abstract machine
  • 相关文献

参考文献8

  • 1赵磊,伦立军,徐士华.基于软件体系结构的测试路径生成方法[J].微电子学与计算机,2008,25(1):177-180. 被引量:7
  • 2Bertolino A, Inverardi P, Muceini H. Formal methods in testing software architectures[ M]. SA Lectures, SFM- 03 : LNCS 2804, Springer, 2003:124 - 149.
  • 3Bertolino A, Inverardi P, Muccini H. An explorative journey from architectural tests definition downto code test execution[ C]//Proceedings of the 23rd International Conference on Software Engineering. Canada: IEEE Computer Society,2001:211 - 220.
  • 4Medvidovic N, Rosenblum D S, Redmiles D F. Modeling software architectures in the unified modeling language[J]. ACM Transactions on Software Engineering and Methodology, 2002,11(1) :13- 15.
  • 5Wermelinger M. Towards a chemical model for software architecture reconfiguration[J]. IEEE Proceeding Software, 1998(5) :130- 136.
  • 6Muccini H, Bertolino A, Inverardi P. Using software architecture for code testing [J ]. IEEE Trans. Softw. Eng, 2004,30(3) : 160 - 171.
  • 7Berry G, Boudol G. The chemical abstract machine [ J ]. Theoretical Computer Science, 1992 (96) : 217 - 248.
  • 8叶俊民,王振宇,曹瀚,赵恒.基于CHAM模型的LTS状态树生成算法[J].哈尔滨工程大学学报,2003,24(3):287-291. 被引量:2

二级参考文献14

  • 1RICHARDSON D, INVERARDI P. ROSATEA: International workshop on the role of software architecture in analysis E(and) testing[ J]. ACM SIGSOF Software Engineering Notes, 1999,24 (4) : 33 - 42.
  • 2WEMELINGER M. Specification, testing and analysis of(dynamic) software architecture with the chemical abstract machine[ EB/OL]. http://www, ics. uci. edu/-djr/rosatea/attendees, html. 1999 : 1 -4.
  • 3STAFFORD J A. Chaining: A software architecture dependence analysis technique [ R ]. Technical Report CU- CS - 845 - 97, University of Colorado, 1997.
  • 4BERTOLINO A, CORRADINI F, INVERARDI P, et al. Deriving test plans from architectural descriptions[ A ]. In ACM proc int conf on software engineering( ICSE2001 ) [ C]. 2000:220 -229.
  • 5YOUNG M. Testing complex architectural conformance relations[ EB/OL]. http://www, ics. uci. edu/- djr/rosatea/attendees, html. 1998 : 1 -4.
  • 6BERRY G, BOUDOL G. The chemical abstract machine[ A ]. In conference record of the seventeenth annual ACM synmposium on principles of programming language[C]. 1990.
  • 7INVERARDI P, WOLF A L. Formal specifications and analysis of software architectures using the chemical abstract machine model [ J ]. IEEE Trans on Software Engineering, 1995,21 (4) : 100 - 114.
  • 8PERRY D E, WOLF A F. Foundations for the study of software architecture[ J]. ACM SIGSOFT Software Engineering Notes, 1992,17 (4) :40 - 52.
  • 9LEUCKER M, NOLL T. Rapid prototyping of specification language implementations [ A ]. IEEE Internation workshop on rapide system prototyping[ C ]. IEEE Press,1999.
  • 10YANG H C , DILL1 D L. Validation with guided search of the state space[ A]. 35th design automation conference. DAC98 - 06/98 san francisco [ C ]. CA USA,1998.

共引文献7

同被引文献7

  • 1叶俊民,赵恒,黄萍,王振宇.一种基于软件体系结构配置的测试用例生成算法研究[J].计算机科学,2006,33(2):266-268. 被引量:2
  • 2Bertolino A. Deriving test plans from architectural de scriptions[C]//Proe Int Conf on Software Engineering (ICSE2001), Limerick, Irelard: IEEE, 2000: 220- 229_.
  • 3Abdurazik A, Zhenyi Jin, Offutt A J, et al. Analyzing software architecture descriptions to generate sys tern level tests[EB/OL]. [2011-04-14]. http..// www. ics. uci. edu/-djr/rosatea/attendees, html.
  • 4Muccini H, Bertolino A, Inverardi P. Using software architecture for code testing[EB/OL]. [2011-04-15]. http://www. HenryMuccini. com/publications, htm.
  • 5McCabe T J. Structured testing: a testing methodology using the cyclomatic complexity metric[R]. NIST Special Publication 500-235, 1996.
  • 6Berry G, Boudol G. The chemical abstract machine [J]. Theoretical Computer Science, 1992(6):217-248.
  • 7Bertolino A, Inverardi P, Muccini H. Formal methods in testing software architectures [M]. SA Lectures, SFM-03 : LNCS 2804, Springer, 2003 : 124-149.

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部