【摘 要】
：
地铁计算机联锁作为保证安全的重要设备,定期对其测试至关重要.为了设计具有高效率的联锁功能测试用例,提出一种基于顺序图形式化描述的测试用例生成方法.首先对待测系统功能
【机 构】
：
兰州交通大学自动化与电气工程学院;
【基金项目】
：
国家自然基金地区科学基金项目(61164010)资助
论文部分内容阅读
地铁计算机联锁作为保证安全的重要设备,定期对其测试至关重要.为了设计具有高效率的联锁功能测试用例,提出一种基于顺序图形式化描述的测试用例生成方法.首先对待测系统功能建立UML顺序图模型,并对其进行场景分析;基于图论中有向图的含义,由UML模型构造有向图;以深度优先算法遍历有向图的连通性来确定测试路径,最后组合约束条件及测试场景生成测试用例集.以选排进路生成测试用例过程,验证了该方法能够避免重复生成测试用例,从而能够减少测试工作量.
其他文献
民族共同心理素质和民族意识是两个截然不同的概念。民族共同心理素质是特定 民族共同拥有的大脑与机能系统的特点，也就是构成民族 共同的心理发展的生理条件。民族意识则应该
本文探讨了不同热解温度及不同氧化剂氧化对生物炭吸附水中重金属Pb(Ⅱ)的影响。将油菜秸秆分别在350℃、500℃、650℃进行热解,并分别使用硝酸、过氧化氢和高锰酸钾改性在50
今年一季度，质检总局抽查了毛绒玩具和纸尿裤两类儿童用品。毛绒玩具共抽查了上海、江苏、浙江、福建、山东、湖南、广东7省56家企业生产的86种产品。本次抽查依据国家标准《
文阐述了耗能减震的概念和原理，提出了耗能减震器设计的新思想，研制开发了多种新型实用耗能（阻尼）减震器，并对其中的圆环耗能器、双环耗能器、加劲圆环耗能器、弹塑性－摩擦复合耗能
目的研究限食对衰老大鼠心功能的保护作用及其机制。方法选择2月龄SD大鼠10只,随机分为衰老组和限食组（60%进食量）,每组5只。2组大鼠每天皮下注射D-半乳糖100mg/kg,连续给药42d
吃透两头，掌握上隋和下隋，就是要吃透党的路线方针政策和上级的决议、决定、指示的精神实质；熟悉本地区、本单位的真实情况，了解和掌握党员群众的思想、工作、学习和生活情况以及
雅克布斯(Heidi Hayes Jacobs)作为课程整合的重要代表人物之一,其跨学科课程整合思想对打破分科主义,构建上下衔接、左右融贯的课程体系以及将课程整合实践落脚于课堂具有重
近十年来，我国遗产事业取得较大发展。与此同时，矛盾和问题也愈加凸显，原因之一是决策失误。为避免我国的世界遗产因决策失误而造成破坏，应尽快建立起规范、科学、完备的遗产决策
新与旧的问题实质是价值观的变化问题,激进的现代性也是激进的崇新主义。新世纪社会转型带来了诸多新景观,作为应"世"的小说,就不能摆脱以"标新"的姿态来面对这些新的价值特
随着科学技术的发展,上网看新闻,已成为人们生活中不可缺少的一部分,由此,网络新闻应运而生。它将无序化的新闻进行有序的整合,并且大大压缩了信息的厚度,让人们在最短的时间