在综合电子信息系统(command,control,communication,computer,intelligence,surveillance and reconnaissance,C4ISR)和航天维修等复杂系统建设前,对系统的体系结构进行仿真和验证是降低系统后期开发成本和风险的有效方法。提出了基于系统体系结构中的活动模型、规则模型、动态模型和数据模型等向统一的Simulink仿真模型的映射方法,并基于模型驱动架构中的模型转换技术实现了前者向后者的自动转换,不仅能够提高仿真模型构造的效率,还能保证仿真模型和体系结构模型的一致性。哈勃太空望远镜维修系统的体系结构仿真验证案例说明了方法不仅能够验证系统体系结构模型之间的逻辑一致性,还能够对系统体系结构的性能进行有效预评估。
TTCN-3(Testing and Test Control Notation version 3)是一种面向黑盒测试的测试描述与实现语言.随着TTCN-3语言的广泛应用,用户对使用TTCN-3进行性能测试的需求日益强烈.然而,TTCN-3语言没有提供有效的负载描述和产生机制.目前,在使用TTCN-3产生性能测试的负载时,通常需要依靠大量的人工编码.该文提出了一种模型驱动方法以更加有效地支持面向TTCN-3的负载生成.在该方法中,负载指标模型用于刻画负载指标及约束关系;负载剖面模型则能够定义指标的取值及指标值随时间变化的情况.基于这些模型,该文提出的算法能够完成从模型到TTCN-3测试系统的自动转换.TTCN-3测试系统可在负载控制点的支持下得以执行,从而模拟出满足模型描述的负载场景.该文通过案例分析验证了上述方法的有效性和所模拟负载场景的准确性.
