一种基于UML/OCL的软件测试方法

根据UML/OCL和建模环境提供的软件模型信息,以一个武器装备管理信息系统的装备入库顺序图为例,在分析UML/OCL顺序图的语法和对象间的交互信息的基础上产生测试场景,提供了一种基于UML/OCL的面向对象的软件测试方法,并提出测试自动化的设想,对软件测试有一定的借鉴作用。     

战术Agent的灰色局势决策

在基于复杂自适应系统的多Agent的作战仿真实验过程中,由于行为、规则、属性构成了复杂的局势,目前还未能构建一种有效的决策支持模型.应用灰色局势决策的方法建立了战术Agent决策模型,对于解决战术试验当中的战术Agent决策问题,具有一定的意义.在分析灰色局势决策的相关概念及步骤的基础上,结合作战实例,说明了该模型的合理可行性.     

WINDOWS系统中的QoS保障机制研究

针对微软提出的常规服务质量(GeneralQualityofService,简称GQoS)的QoS解决方案,讨论了WINDOWS系统中的QoS保障机制。通过WINSOCK2的API函数设计程序,进行了Win98上的QoS性能测试。结果表明,在QoS启用的情况下,数据的传输时间和延迟抖动明显减小,说明WINDOWS系统中的QoS保障机制有效。