期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于CHAM模型的LTS状态树生成算法 被引量：2

Generation algorithm of LTS state tree based on CHAM model
下载PDF
导出
摘要 标号迁移系统(labelledtransitionsystem,LTS)是形式化一致性测试的重要研究方向.在软件体系结构(softwarearchitectures,SA)测试计划生成的研究中,需要从化学抽象机(chemicalabstractmachine,CHAM)模型中生成LTS,以表达出软件体系结构的动态特征.因此,LTS状态树生成算法是导出软件测试计划和测试用例研究工作中的关键问题.基于CHAM模型,提出了通用LTS状态树生成算法,并使用实例验证了该算法. Labelled transition system (LTS) is an important research aspect of formalization analysis. In the research of software architecture (SA) modeling, it is necessary to generate LTS from the chemical abstract machine (CHAM) model to express dynamic characters of SA and to generate testing cases. Thus, LTS state tree generation algorithm is the key to deriving testing plans and testing cases from architecture descriptions. The LTS state tree generation algorithm based on CHAM is presented, and validated with a typical in examples.
作者 叶俊民 王振宇 曹瀚 赵恒
机构地区 哈尔滨工程大学计算机科学与技术学院
出处 《哈尔滨工程大学学报》 EI CAS CSCD 2003年第3期287-291,共5页 Journal of Harbin Engineering University
基金 武汉大学软件工程国家重点实验室开放基金资助项目(SKL(4)020).
关键词 化学抽象模型 软件体系结构 LTS生成算法 体系结构测试 CHAM specification LTS generation algorithm software architecture testing.
分类号 TP312 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献10

  • 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.

同被引文献13

  • 1Bertolino A, Inverardi P, Muceini H. Formal methods in testing software architectures[ M]. SA Lectures, SFM- 03 : LNCS 2804, Springer, 2003:124 - 149.
  • 2Bertolino 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.
  • 3Medvidovic 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.
  • 4Wermelinger M. Towards a chemical model for software architecture reconfiguration[J]. IEEE Proceeding Software, 1998(5) :130- 136.
  • 5Muccini H, Bertolino A, Inverardi P. Using software architecture for code testing [J ]. IEEE Trans. Softw. Eng, 2004,30(3) : 160 - 171.
  • 6Berry G, Boudol G. The chemical abstract machine [ J ]. Theoretical Computer Science, 1992 (96) : 217 - 248.
  • 7Harrold M J, Liang D, Sinha S. An Approach To Analyzing and Testing Component-Based Systems. In: Proc. of First Intl. ICSE Workshop on Testing Distributed Component-Based Systems.Los Angeles ,1999. 134～140
  • 8Bertolino A, Corradini F, Inverardi P, Muccini H. Deriving Test plans from architectural descriptions. In: Proc. of the 22nd Intl.Conf. on Software Engineering. ACM Press ,2000. 220～229
  • 9Inverardi P,Wolf A L. Formal Specifications and Analysis of Software Architectures Using the Chemical Abstract Machine Model.IEEE Transactions on Software Engineering, 1995,21 (4): 373～386
  • 10Cheung S C, Kramer J. Enhancing Compositional Reachability Analysis with Context Constraints. In: Proc. of the First ACM SIGSOFT Symposium on the Foundations of Software Engineering. D Notkin,1993. 115～125

引证文献2

二级引证文献4

哈尔滨工程大学学报
2003年 第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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