数字样机分布式运行环境
为了满足显示控制与任务处理系统研发中，数字样机对分布式集成、综合与仿真的核心业务需求，构建了一套软硬件一体化的数字样机分布式运行环境Simconductor。软件适配用户SysML设计业务，实现对数字样机模型的规范化研发设计的“可仿真转化”，形成了一套规范化的“可仿真的”设计建模方法论；实现将SysML模型设计转化仿真过程中记录全链路业务数据，提供对仿真完成后数据的可视化分析，对模型设计的逻辑正确性和可行性实现反向验证；同时在环境软件中实现了“测试用例”内嵌工具，该工具实现了对模型设计中用例功能活动图中业务分支链路的识别，通过记录识别不同外层输入下被执行的分支链路来维护一套能够覆盖所有业务分支的测试组输入，为模型业务的覆盖测试提供有力支撑。
