PLC程序测试与验证的研究进展

可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。     

常用的基于数据流的测试充分性准则

软件测试所有技术活动的基础,在于测试用例的设计、选择以及评价。如何设计充分的测试集一直是测试人员面对的一个难题。控制流、数据流是分析程序结构的2个主要手段。该文综合介绍了几种在软件单元测试中常用的基于数据流的测试充分性评价准则,如c-use覆盖、p-use覆盖、all-use覆盖、k-dr链覆盖、上下文覆盖等。这些准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测了多少代码还有多少代码未测到。     

区域洪涝灾害风险估算模型及其应用

为了减轻洪涝灾害造成的损失,针对系统存在的风险指标,研制区域洪涝灾害风险估算模型.应用马尔科夫链进行某种趋势外推型的风险预测,并估算洪涝灾害无实测值的状态;采用贝叶斯统计理论和方法,通过先验分布结合样本信息来推求后验分布,以最大概率原则判别风险估算的趋势,按照估算结果及当地的实际情况,适度调整针对洪涝灾害的策略,尽可能...     

浅谈建筑材料的检测及其影响因素

工程质量是永恒的主题。建材检测是建筑工程质量保证体系中的一个重要环节,是确保建筑工程质量的先决条件。文章在此主要分析常用建材质量检测方法、常用建材检测项目、建筑材料检测取样、建材检测的影响因素及数据处理,以供参考。     

基于KULLBACK信息融合方法的系统可靠性评估

在产品具有多源验前信息的情形下,讨论冷贮备系统的可靠性评估问题,运用Kullback信息作为分布之间距离的度量,在Kullback信息的融合准则下对多个先验分布进行融合。并以融合后的先验分布作为产品的最终验前分布,对冷贮备系统的可靠性指标进行Bayes估计。最后进行的计算机随机模拟结果表明,文中所提出的方法合理且便于应用。     

一种改进的自动规划GUI测试用例生成方法

在分析使用AI规划方法生成GUI测试用例方法的基础上,提出了一种基于权重的AI规划生成GUI测试用例方法。通过利用权重区分GUI事件序列重要程度,在此基础上将事件划分成不同子集,以决定测试用例的生成次序,使生成的测试用例更合理．从而提高GUI测试效率。实验结果表明,应用此方法在相同的测试用例数下能发现更多的错误。     

Linex损失下Pareto分布参数的Bayes估计

该文讨论了在Linex非对称损失函数下Pareto分布参数的Bayes估计及多层Bayes估计,并证明了相应的估计是可容许的.     

利用地脉动评估结构抗震能力的技术及应用前景

建筑结构的抗震能力评估已成为当前土木工程领域的重要课题,利用地脉动测试方法评估结构抗震能力的技术具有广阔的应用前景.本文介绍利用地脉动测试方法评估结构抗震能力的技术,并就该技术在理论与实际应用中存在的问题进行讨论.最后,指出该技术目前需解决的问题及发展前景.     

基于蚁群算法的细胞自动机优化及其在电路测试中的应用

细胞自动机在电路设计、计算机安全等领域有广泛的应用.首先通过使用蚁群算法实现对细胞自动机结构的优化配置,从而产生具有较强随机性的伪随机数序列;其次,把细胞自动机应用于数字电路的测试,利用经优化后的二维细胞自动机来生成测试矢量.实验结果表明,经过蚁群算法优化之后得到的细胞自动机能够产生随机性较强的伪随机数序列,在数字电路测试的应用中能够提高故障覆盖率.     

基于B/S结构的在线测试系统的设计与实现

介绍了基于B/S结构的在线测试系统的基本功能和实现方法,给出了系统的应用设计,完成了系统模型的实现.系统具有良好的学生测试和自动评价功能,利用网络数据库的优势解决了群体测试的整体评价.