排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
针对人工生成测试序列的不足,提出基于模型的车载设备测试用例自动生成方法。首先按照系统需求规范,在UPPAAL环境下运用时间自动机对车载设备进行建模及验证,然后将建立的模型导入到基于覆盖度算法的模型辅助工具Cover中自动生成测试用例,最后分析了自动生成的测试用例的正确性。
相似文献
2.
列车运行控制系统(列控系统)显著表现出离散和连续同时存在的混杂特征。建立合适的模型无论对列控系统的前期设计还是后期分析都具有重要意义。针对列控系统的混合性,提出用混合自动机对列控系统进行建模,在Matlab环境下用Simulink和Stateflow对建立的自动机模型进行仿真分析,并以两车追踪场景为例对整个过程进行了介绍。仿真结果表明了该方法的有效性和可行性。 相似文献
1