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

钟德明; 刘斌; 阮镰

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

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

详细信息

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

中图分类号: TP 311.56
计量
- 文章访问数: 2821
- HTML全文浏览量: 139
- PDF下载量: 1006
- 被引次数: 36
出版历程
- 收稿日期: 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)

施引文献

期刊类型引用(12)

1.	闫少强，杨萍，刘卫东，李新其，雷剑，赵超跃. 基于GPSSA算法的复杂地形多无人机航迹规划. 北京航空航天大学学报. 2025(01): 303-313 . 本站查看
2.	王蔚，李晓旭，刘伟军，卞宏友，邢飞，王静. 激光清洗7075铝合金清洗质量建模及多目标优化研究. 机械工程学报. 2025(03): 422-439 . 百度学术
3.	闫少强，刘卫东，杨萍，吴丰轩，阎哲. 基于K-means聚类的多种群麻雀搜索算法. 北京航空航天大学学报. 2024(02): 508-518 . 本站查看
4.	雷刚，李云舒，张宏强，罗炜，赖灿辉. 改进麻雀搜索算法的飞行器航迹规划. 电光与控制. 2024(03): 41-47 . 百度学术
5.	包金山，杨定坤，张靖，张英，杨镓荣，胡克林. 基于特征提取与INGO-SVM的变压器故障诊断方法. 电力系统保护与控制. 2024(07): 24-32 . 百度学术
6.	马夏敏，张雷克，刘小莲，田雨，王雪妮，邓显羽. 基于麻雀搜索算法的梯级泵站优化调度. 水力发电学报. 2024(05): 43-53 . 百度学术
7.	杨正科，沈小东，王凯翔，何立. 基于改进麻雀搜索算法的接地网腐蚀故障定位. 计算机与现代化. 2024(10): 14-20 . 百度学术
8.	夏小刚，彭嘉超. 基于正余弦的非线性哈里斯鹰优化算法. 河南科技大学学报(自然科学版). 2024(05): 93-104+121 . 百度学术
9.	罗焕芝，王骥 . 面向农业温室环境的ICDO-RBFNN多传感器数据融合算法. 农业工程学报. 2024(21): 184-191 . 百度学术
10.	夏煌智，陈丽敏，许宏文，常云鹏. 基于分数阶调整动态边界的蜣螂优化算法. 计算机工程与设计. 2024(12): 3657-3666 . 百度学术
11.	张源朴，刘江平. 基于改进长鼻浣熊优化算法的牛奶脂肪光谱特征波段筛选方法研究. 内蒙古农业大学学报(自然科学版). 2024(06): 76-83 . 百度学术
12.	吴荣生. 麻雀搜索算法的教与学改进及其在WSN中的应用. 通化师范学院学报. 2022(06): 80-87 . 百度学术