基于资源扩展活动图的并发测试用例生成方法

对UML(统一建模语言)活动图进行共享资源的属性扩展,利用扩展的活动图对并发系统间任务的同步及数据的竞争关系建模,充分考虑并发软件运行原理、故障模式及测试效率,提出并发系统的测试覆盖原则及基于扩展活动图的并发测试用例生成方法。进一步通过举例验证该方法能够正确的生成并发测试用例同时又可防止用例数量爆炸,提高了并发软件测试的可靠性及效率。     

空基激光终端动态组网研究

空间激光链路的特点是捕获跟踪困难,只适合点对点通信,因此组网应用多采用环状拓扑,导致网络的终端消耗大、链路时延长.为解决该问题采取了星形拓扑,优化网络节点增加辅助捕获设备,并改进链路接入为两阶段捕跟,从而实现高性能的动态复用激光链路.该方案特点是采用角反射阵列进行预先捕获,从而大大减少实时通信准备时间,并设计激光终端备用池动态复用,从而大大降低组网成本并提高网络性能.