基于MAS的VOBC仿真测试系统研究与设计

首先针对VOBC仿真系统的需求特点设计系统,将整个系统分成不同Agent,并用MAS体系结构组织系统.然后,分别介绍每个Agent的设计要点,并以PCA为例,用形式化方法进行建模.之后,以VMA和LSA之间为例,简要介绍用KQML语言的通信方法.最后,使用高级语言C#来实现系统设计.     

CBTC系统测试用例生成方法的研究

针对CBTC系统测试案例的特点和生成过程,本文使用基于MSC建模语言来生成测试用例,并且说明了使用该方法生成测试用例的优点所在.在基于MSC生成测试用例的过程中,对MSC添加状态约束条件,分析MSC图,得到场景测试树,再遍历该场景树,得到场景的输入、预期输出、约束条件以及场景环境,测试用例即由这四部分内容组成.