论文部分内容阅读
安全是铁路运输生产永恒的主题,联锁软件是保障铁路车站列车或机车作业安全的关键软件,而高效、充分的测试对于保证其安全性具有举足轻重的作用。文章描述了被测联锁系统的体系结构以及自动测试系统的设计,采用了基于灰盒测试方法来完成对计算机联锁系统各部分软件的功能与性能测试。
基于灰盒测试的计算机联锁系统软件自动测试研究
【摘 要】
：
安全是铁路运输生产永恒的主题,联锁软件是保障铁路车站列车或机车作业安全的关键软件,而高效、充分的测试对于保证其安全性具有举足轻重的作用。文章描述了被测联锁系统的体
【机 构】
：
合肥工业大学计算机与信息学院
【出 处】
：
合肥工业大学学报(自然科学版)
【发表日期】
：
2010年5期
其他文献
基于规则化描述方法已经在很多安全关键领域得到了应用,为了保证系统的安全性与可靠性,在系统投入使用之前必须进行验证。文章总结了目前采用的各种验证技术和工具,提出了一
电视现场报道以其强烈的现场感、时效性及“原汁原味”的画面、同期声吸引了广大受众的注意力．成为众多媒体的“亮点”。在当今媒体竞争日益激烈的今天．这种报道方式虽然独具魅
人的五大器官生来就是为了感受信息的，它们是信息的接收器，它们所感受到的一切，都是信息（视觉、听觉、嗅觉、味觉、触觉）。其中最为重要也是接收最为频繁的就是视觉信息。文字在信
目的探讨临床路径的实施对慢性阻塞性肺疾病急性加重期（AECOPD）患者的住院天数、住院费用和费用构成的影响,最终达到降低医疗费用,合理使用医疗资源的目的。方法选取本院2015年
文章通过讨论球面调和函数的相关理论与性质，由几种角度直观展示出球面调和基函数在空间中的几何结构及特征，并将其作为线性基的一种形式应用于光传输过程的预计算处理过程中，通
目的对中药复方脉络宁注射液防治心血管疾病活性部位的化学成分进行研究。方法采用硅胶、Sephadex LH-20、ODS以及制备高效液相等多种色谱学方法,对脉络宁注射液防治心血管疾
近年来，我国文化事业建设得到较大重视和发展，特别是2012年我国首次将“文化强国”提升到国家战略层面上未。《文化部‘十二五’时期文化改革发展规划》提出：将推动文化产业成为
文章在单因素试验的基础上进行L9（3^4）正交试验，优化水提法提取山核桃饼粞蛋白工艺，并对粗提物进行DPPH自由基清除活性研究。结果表明：料液比为1：20，提取时间为90min，提取温度为40℃，p
在“文革文学”中透视“知青群体”的青春心态，我们发现在这样特殊的年代，文本的创作主体就是实际参与“上山下乡”运动的知识青年，创作者和言说的对象在此基础上是一致的，扎根农
文章考虑在三维情形时，具有分数次耗散项-（-△）au速度场的Navier-Stokes方程解的正则性；证明了：当0〈a≤5/4，如果速度场的其中任意2个分量的梯度，例如↓△u1，↓△u2∈Lp（0，T；Lq（R3））=LipLxq