嵌入式软件仿真测试环境软件体系结构研究

钟德明; 刘斌; 阮镰

嵌入式软件仿真测试环境软件体系结构研究

北京航空航天大学工程系统工程系, 北京 100083

详细信息

作者简介:
钟德明(1977-),男,江西赣州人,博士生, zhongdeming@263.net.

中图分类号: TP 311.56
计量
- 文章访问数: 2821
- HTML全文浏览量: 140
- PDF下载量: 1006
- 被引次数: 3
出版历程
- 收稿日期: 2004-07-01
- 网络出版日期: 2005-10-31

Research on software architecture of embedded software simulation testing environment

Dept. of System Engineering of Engineering Technology, Beijing University of Aeronautics and Astronautics, Beijing 100083, China

摘要

摘要: 利用嵌入式软件仿真测试环境(ESSTE,Embedded Software Simulation Testing Environment)对实时嵌入式软件进行系统测试是国内外公认的、行之有效的方法.基于UML和"4+1"视图模型,系统地对ESSTE的软件体系结构进行了描述.各个视图之间保持了良好的一致性,特别地,在设计视图中将ESSTE软件分为两大组件—实时组件和非实时组件,并按照"管道-过滤器"的软件体系结构模式组织,分别给出了它们的关键类.非实时组件的关键类是配置工具类,实时组件的关键类是模型类、实时变量类和调度器类.据此设计和实现的ESSTE-Basic体现了较好的质量特性,如可更改性、可移植性等,其成功地对多个软件进行了系统测试,高效地发现了大量潜藏的软件错误,验证了ESSTE软件体系结构的正确性和有效性.
- 软件体系结构 /
- 软件测试 /
- 实时嵌入式软件 /
- 测试环境 /
- UML
Abstract: It is an acknowledged and effective method to test real-time embedded software with ESSTE(embedded software simulation testing environment). The software architecture of ESSTE is described systematically based on UML and "4+1" views model. The contents in different views can coordinate with each other and particularly the software of ESSTE is divided into two system-level components in design view: real-time component and non-real-time component,which are organized by the pipe-filter architectural pattern. Configuration tool class is the key class for non-real-time component and model class, real-time variables class, scheduler class for the real-time component. Designed and implemented hereby, ESSTE-Basic reflects excellent quality characteristics, such as changeability, portability and so on. It has successfully been used for system-testing of several softwares, finding out a great of software faults effectively, through which both the correctness and the effectiveness of the software architecture of ESSTE are validated.
- software architecture /
- software testing /
- real-time embedded software /
- testing environment /
- UML

HTML全文

参考文献(1)

[1] 刘斌.软件可靠性测试研究 .北京:北京航空航天大学工程系统工程系,2002 Liu Bin. Research on software reliability testing .Beijing:Dept of System Engineering of Engineering Technology, Beijing University of Aeronautics and Astronautics, 2002(in Chinese)[2] ADS2:Avionics development system 2nd generation .www.techsat.com, 2004-06[3] RT-LAB/ATB:Scalable test bench for avionics systems .www.opal-rt.com/products/engsim/rtlab atb, 2004-06[4] Verified's RT-Tester .www.verified.de/rt-tester.html, 2004-06[5] Len Bass,Paul Clements, Rick Kazman. Software architecture in practice[M] MA:Addison-Wesley Professional,1998[6] Grady Booch, James Rumbaugh, Ivar Jacobson. The Unified Modeling Language User Guide[M] MA:Addison-Wesley Professional, 1999[7] IEEE P1471-2000, Recommended practice for architectural description[S] r>[8] UML profile for schedulability, performance and time specification[S] Object Management Group, 2003[9] Jerome L Krasner. Reducing OEM development costs and enabling embedded design efficiencies using the unified modeling language(UML2.0) . http:www.embeddedforecast.com/,2004-06[10] 孙昌爱.软件体系结构正逆向构造与描述研究 . 北京:北京航空航天大学计算机学院,2002 Sun Chang'ai. Contributions to software architecture onstruction & description & reconstruction .Beijing:School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, 2002(in Chinese)

施引文献

期刊类型引用(2)

1.	郑志东，刘宁，韩笑雪，戴秋敏. 临近空间飞艇保形升空过程热运动特性研究. 航天返回与遥感. 2023(02): 24-32 . 百度学术
2.	翟嘉琪，杨希祥，邓小龙，龙远，张经伦，柏方超. 不确定风场下平流层浮空器全局路径规划. 北京航空航天大学学报. 2023(05): 1116-1126 . 本站查看