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

面向航电软件测试的建模描述语言研究

Research on Avionic Software Testing Oriented Modeling Description Language
下载PDF
导出
摘要 针对航电嵌入式软件仿真测试的特点,阐述了仿真测试过程中建模的要求和模型的结构与特性,在此基础上,设计并实现了一种面向航电软件测试的建模描述语言(STMDL)。对STMDL的语法语义和描述规则进行了详细介绍,并阐述了该建模描述语言的特点和工程应用。 With consideration of the character of avionic embedded software simulation testing, and the analysis of modeling requirement and model structure, a new modeling description language named STMDL is designed, and the syntax and description formula of STMDL are expatiated, and the character and application are explained.
作者 何俊涛 杨顺昆 张虹
机构地区 北京航空航天大学工程系统工程系
出处 《测控技术》 CSCD 2006年第8期53-56,共4页 Measurement & Control Technology
关键词 航电软件测试 仿真模型 XML STMDL avionic software testing simulate model XML STMDL
分类号 TP319 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献3

  • 1崔小乐.以体系结构为中心的仿真建模环境研究[D].北京:北京航空航天大学,2003.
  • 2Dashofy E M,Hoek V D,Taylor A.A highly-extensible,XML-based architecture description language[A].IEEE/IFIP Conference on Software Architecture[C].2004:28 -31.
  • 3王晓光,冯耀东,梅宏.ABC/ADL:一种基于XML的软件体系结构描述语言[J].计算机研究与发展,2004,41(9):1521-1531. 被引量：26

二级参考文献14

  • 1[1]Hong Mei, Jichuan Chang, Fuqing Yang. Composing software components at architectural level. The Int'l Conf on Software-Theory and Practice, Beijing, 2000
  • 2[2]Robert Allen, David Garlan. A formal basis for architectural connection. ACM Trans on Software Engineering and Methodology, 1997, 6(3): 213～249
  • 3[3]David C Luckham, James Vera. An event-based architecture definition language. IEEE Trans on Software Engineering, 1995, 21(9): 717～734
  • 4[4]M Shaw, R Deline, D V Klein, et al. Abstractions for software architecture and tools to support them. IEEE Trans on Software Engineering, 1995, 21(4): 314～335
  • 5[5]D Garlan, R Monroe, D Wile. ACME: An architecture description interchange language. The CASCON'97, Toronto, Ontario, 1997
  • 6[6]Eric M Dashofy, André van der Hoek, Richard N Taylor. A highly-extensible, XML-based architecture description language. In: Proc of the Working IEEE/IFIP Conf on Software Architectures. Los Alamitos, CA: IEEE Computer Society Press, 2001. 103～112
  • 7[7]N Medvidovic. A classification and comparison framework for software architecture description languages. University of California at Irvine, Tech Rep: UCI-ICS-97-02, 1997
  • 8[8]Hong Mei, Feng Chen, Qianxiang Wang, et al. ABC/ADL: An ADL supporting component composition. In: Proc of the 4th Int'l Conf on Formal Engineering Methods: Formal Methods and Software Engineering. London: Springer-Verlag, 2002. 38～47
  • 9[9]Tim Bray, Jean Paoli C M, Sperberg-McQueen, et al. Extensible Markup Language (XML) 1.0 (Second Edition) Specification. http://www.w3.org/TR/REC-xml, 2000-10-06
  • 10[10]Gregory Abowd, Robert Allen, David Garlan. Using style to understand descriptions of software architecture. In: Proc of SIGSOFT'93. New York: ACM Press, 1993. 9～20

共引文献25

测控技术
2006年 第8期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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