基于UML顺序图的地铁联锁测试用例生成方法

地铁计算机联锁作为保证安全的重要设备,定期对其测试至关重要.为了设计具有高效率的联锁功能测试用例,提出一种基于顺序图形式化描述的测试用例生成方法.首先对待测系统功能建立UML顺序图模型,并对其进行场景分析;基于图论中有向图的含义,由UML模型构造有向图;以深度优先算法遍历有向图的连通性来确定测试路径,最后组合约束条件及测试场景生成测试用例集.以选排进路生成测试用例过程,验证了该方法能够避免重复生成测试用例,从而能够减少测试工作量.

民办幼儿园教师专业能力发展的调查研究——以江西省民办幼儿园为例

民办幼儿园教师的专业能力一直是我国学前教育事业发展的薄弱环节。本研究通过问卷调查和访谈的方式,了解了江西省民办园教师专业能力发展的优势和不足。基于对数据的分析,研究者进行了分析和讨论,认为随着国家政策环境的改善、新冠肺炎疫情客观上的推动,优秀的民办园教师将有更大的发展空间和平台。

建设高质量农网的几个关键环节

农网建设改造工程的优劣不仅直接关系到电网运行安全和电网企业的效益，而且关系到广大用电户的切身利益。为了让农网建设改造中每个工程都合格，个个工程都优质，应当充分把好如下几关。

基于ObjectARX的联锁表自动生成方法研究

针对依靠人工方式编制联锁表存在的效率低、易出错等问题,采用Visual Studio 2005中的ObjectARX2007作为AutoCAD2008的二次开发工具,根据车站信号平面布置图进行图元设计,生成站场形节点图。通过建立始终端节点配对,完成进路的选择及生成,最后实现联锁表的自动生成。