期刊文献+

基于SysML的空间有效载荷测试路径自动生成方法

Method for automatic generation of space effective payload test paths based on SysML
在线阅读 下载PDF
导出
摘要 为简化对空间有效载荷这一复杂系统的集成测试工作,引入基于模型的系统工程(model-based sytems engineering,MBSE)思想,提出一种基于系统建模语言(system modeling language,SysML)的测试路径自动生成方法。所提方法所需的信息全部来源于载荷设备在数字设计阶段所构建的SysML数字模型。首先,对载荷的SysML活动图进行预处理;之后,根据载荷运行特性与活动图特性构建测试路径搜索模型,并以此提出改进蚁群算法以搜索全部测试路径;最后,基于SysML用例图在全部测试路径中进一步进行搜索,从而获取指定功能的测试路径。以空间燃烧科学实验载荷为例展示所提方法的详细过程,并对算法性能进行分析。在200次重复实验中,所提方法所得测试路径的覆盖率达到100%,最大迭代次数为27。实验结果表明,所提方法不会产生大量的无效测试路径,大大提高测试路径规划工作的效率。 To simplify the integration testing of the complex system of space effective payloads,a method for automatically generating test paths based on system modeling language(SysML)is proposed by introducing the concept of model-based systems engineering(MBSE).The required information is all derived from the SysML digital models constructed during the digital design stage of the payload.Firstly,the SysML activity diagram of the payload is preprocessed.Secondly,the test path search model is constructed based on the characteristics of the payload and the activity diagram,and an improved ant colony algorithm is proposed to search for all the test paths.Finally,based on the SysML use case diagram,a further search is performed among all the test paths to obtain the test paths for the specified functions.The detailed procedure of the proposed method is demonstrated with the example of a space combustion science experiment payload,and the performance of the proposed algorithm is analyzed.In 200 repeated experiments,the coverage rate of the test paths obtained by the proposed method is 100%,and the maximum number of iterations is 27.The experimental result showes that the proposed method can bring the efficiency of test paths planning to the next level without the generation of a large amount of unefficient test paths.
作者 金鑫 贺宇峰 JIN Xin;HE Yufeng(Technology and Engineering Center for Space Utiliration,Chinese Academy of Sciences,Beijing 100094,China;University of Chinese Academy of Sciences,Beijing 100049,China)
出处 《系统工程与电子技术》 EI CSCD 北大核心 2024年第10期3416-3426,共11页 Systems Engineering and Electronics
关键词 系统建模语言 测试路径生成 蚁群算法 空间有效载荷 system modeling language(SysML) test path generation ant colony algorithm space effective payload
  • 相关文献

参考文献4

二级参考文献26

  • 1郭宝柱.中国航天系统工程方法与实践[J].复杂系统与复杂性科学,2004,1(2):16-19. 被引量:13
  • 2张敏顺.管理信息化与企业流程再造研究[J].科技与管理,2004,6(5):48-50. 被引量:11
  • 3牟凯,顾明.基于UML活动图的测试用例自动生成方法研究[J].计算机应用,2006,26(4):844-846. 被引量:18
  • 4Vieira M, Dias M, Richardson D. Object-oriented specificationbased testing using UML statecharts[C]//Proc, of Workshop on Automated Program Analysis, Testing, and Verification in the 22nd International Conference in Software Engineering, 2000: 758 - 761.
  • 5Hong H S, Lee I, Sokolsky O, et al. Automatic test generation from statecharts using model checking[C]//Proc, of Workshop on Formal Approaches to Testing of Software ,2001:15 - 30.
  • 6Hong H S, Kim Y G, Cha S D, et al. A test sequence selection method for reactive systems using state eharts[J]. Software Testing, Verification and Reliability ,2000,10(4) :203 - 227,.
  • 7Yin Y F, Liu B, Lu M Y, et al. Test cases generation for embedded real time software based on extended UML[C]//Proc. of International Conference on Information Technology and Computer Science,2009:69 - 74.
  • 8Packevicius, Usaniov, Bareisa. Software testing using imprecise OCL constraints as oracles[C]//Proc, of of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, 2007 : 235 - 240.
  • 9Stephan F. Real time constrains with the OCL[C]//Proc. of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing ,2002:425- 426.
  • 10Archerning B K, Salas P A P. Test case generation by OCL mutation and constraint solving[C]//Proe, of the Fifth International Conference on Quality Software,2005: 64 -71.

共引文献30

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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