计算机联锁软件测试用例自动生成的研究.pdfVIP

智能控制系统及其应用 计算机联锁软件测试用例自动生成的研究 兰州交通大学光电重点实验室 苗亮亮姚永利 摘 要：计算机联锁系统已经取代电气集中联锁系统，成为将来车站联锁系统的 主要发展方向。而计算机联锁软件逻辑非常复杂，针对联锁逻辑的测试工作也就 十分的艰巨。目前计算机联锁软件测试领域所涉及的测试技术也在不断研究过程 中，将遗传算法寻求最佳测试用例的方法引入联锁测试是国内外研究的一个重要 方向。本文介绍了软件测试的一般方法，并引入遗传算法概念与特点，将遗传算 法寻求最佳测试用例方法应用到计算机联锁软件测试技术中，给出一种优化实现。 关键词：联锁 遗传算法 测试用例 l 引言 生成问题转化成路径搜索问题 的思想。 求解 的改进过程 中，实现各个个体 的 所谓联锁规则是指采用特定的技 由于一般情况下，测试数据的产生是 适应度的逐代提高，体现 了自然界 中 术方法，使动力转辙机 (道岔)、轨道 一 个不可判定性 问题 ，再加上被测程 物“竞天择 ，适者生存”的进化过程。 电路 (进路)和色灯信号机 (信号 )符 序 的规模和复杂性，一般的搜索算法 自从 1962年Holland教授首次提 出了 合一定的约束条件而构建的相互制约 受到了极大的限制。遗传算法在处理 遗传算法的思想，就 引起 了大批研 究 关系。该定义主要有两层含义 ：一层 不确定搜索问题时有着非常明显的优 者的关注 ，使遗传算法技术迅速推广 是通过制定一系列的联锁关系来约束 势，在本文 中，我们把遗传算法引人 应用到优化、搜索、机器学习等方面 ， 道岔、信号及轨道的关系来保证车站 测试用例的生成中，建立 了一个基于 并奠定了坚实的理论基础。 行车安全：另一层是实现联锁规则必 遗传算法测试用例生成的系统模型 ， GA解决问题 的一般流程是 ：(1) 须以技术作为手段。在计算机联锁系 详细介绍了在该模型下 自动生成测试 随机产生一定数 目的初始种群 ，每个 统中，主要通过特定的控制设备来控 用例的算法。最后，给 出了一个实例 个体表示为染色体 的基 因编码 ：(2) 制道岔，信号和轨道并通过它。 并分析了算法的执行情况。 计算每个个体的适应度 ，并判断是否 铁路计算机联锁软件是一种安全 符合优化准则，若符合 ，输 出最佳个 苛求系统，为了确保计算机联锁软件 2 联锁软件测试用例生成 体及其代表的最优解并结束计算 ，否 中对联锁逻辑的描述和安全控制的准 系统设计 则转向第 3步 ；(3)依据适应度选择 确无误，需要不断提高针对计算机联 2．1遗传算法 再生个体 ，适应度高的个体被选 中的 锁软件的测试方法。测试用例 的 自动 遗传算法 (GA)是模仿生物遗传和 概率高，适应度低的个体可能被淘汰； 生成是在一个数据域中寻找满足给定 进化机制的一种最优化方法，它把类 (4)执行交叉和变异操作 ，生成新 的 的测试标准的一组测试输入数据的过 似于遗传基 因的一些行为，如交叉重 个体 ；(5)得到新一代 的种群 ，返 回 程，所以近年来出现了把测试用例的 组、变异、选择和淘汰等引入到算法 到第 (2)步。 84 ServoContro 2．2用遗传算