期刊文献+

分布式实时系统体系结构描述语言的设计及其应用实例研究 被引量:2

Design of Distributed Real-Time System Architecture Description Language and a Case Study of its Application
下载PDF
导出
摘要 为了完成基于软件体系结构(SoftwareArchitecture,SA)分布式实时系统的测试,需要设计一种体系结构描述语言(ArchitectureDescriptionLanguage,ADL)描述被测系统,以便自动产生测试用例.在考察现有的体系结构描述语言(Architec-tureDescriptionLanguage,ADL)的基础上,分析了现存ADL的不足,提出了一种新的分布式实时系统体系结构描述语言(Dis-tributedReal-TimeSystemArchitectureDescriptionLanguage,DRTSADL),研究了该语言的语法和操作语义.结合一个分布式实时前端系统实例描述,说明了DRTSADL的应用.与现存ADL相比,新的ADL对分布式实时系统有较强的描述能力. In order to accomplish distributed real-time system testing based on software architecture, an architecture description language (ADL) needs to be designed to describe the system under testing, so that the architecture description specifications can be used to generate testing cases automatically. On the basis of reviewing existing ADLs and analyzing their inadequacies, a new distributed real-time system architecture description language (DRTSADL) is proposed in this paper, the syntax and operation semantics of DRTSADL are studied. And the application of DRTSADL is illustrated through a distributed real-time front-end system instance description. Compared with the existing ADLs, the new ADL is more effective in describing distributed real-time system.
出处 《小型微型计算机系统》 CSCD 北大核心 2005年第9期1606-1610,共5页 Journal of Chinese Computer Systems
基金 国防科技预研基金(413150601)资助 武汉大学软件工程国家重点实验室开放基金(SKL(4)020)资助.
关键词 软件体系结构 体系结构描述语言 分布式实时系统 software architecture architecture description language distributed real-time system
  • 相关文献

参考文献4

  • 1Bertolino A. An approach to integration testing based on architectural descriptions[C]. In: Proceedings of 3th International Conference on Engineering of Complex Computer Systems.IEEE Computer Society Press, 1997,77-84.
  • 2Medvidovic N, Taylor RN. A classification and comparison framework for software architecture description language [J].IEEE Transactions on Software Engineering, 2000, 26 (1) : 70-93.
  • 3Shaw M, Garlan D. Software architecture: perspectives on an emerging discipline[M]. Parentice Hall, 1996,1-37.
  • 4Nicollin X, Sifakis J, Yovine S. From ATP to timed graphs and hybrid system[J]. Acta Informatica, 1992,30(2) : 181-202.

同被引文献4

引证文献2

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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