排序方式: 共有16条查询结果,搜索用时 0 毫秒
11.
针对全自动运行系统测试指定路径覆盖的测试需求,基于时间自动机建模理论提出满足指定路径覆盖和边覆盖的全自动运行系统测试用例自动生成算法。研究时间自动机建模理论,建立全自动运行系统的时间自动机模型;为表征全自动运行系统指定路径覆盖的测试需求,提出基于时间自动机模型的标记变量建模方法 ;结合Yggdrasil的测试用例生成机制,提出全自动运行系统测试用例生成方法,同时满足全自动运行系统测试的指定路径覆盖和边覆盖准则;以全自动运行系统的模式转换功能为例,建立时间自动机模型并生成测试用例。结果表明,测试用例100%覆盖测试人员指定的测试需求和时间自动机模型所有的边,能够满足全自动运行系统指定路径覆盖的测试要求。 相似文献
12.
13.
14.
15.
隧道掌子面的开挖炮眼设计是爆破开挖方式中的重要组成部分,其设计的合理是否将直接影响到开挖炮眼的施工质量及掌子面的爆破效果,对隧道的掘进效果有着关键性的影响。文章以宝石山隧道为例,从炮眼数量、药量、深度、布局等方面,详细阐述了隧道掌子面开挖炮眼设计的具体要求,为类似隧道工程项目提供参考。 相似文献
16.