设计的世界

  • 首页
  • 技术
    • 3 d CAD
    • 电子•电
    • 紧固和连接
    • 工厂自动化
    • 线性运动
    • 运动控制
    • 测试与测量
    • 传感器
    • 流体动力
  • 学习
    • 电子书/技术提示
    • 工程周
    • 设计工程的未来
    • MC²运动控制教室
    • 播客
    • 视频
    • 在线研讨会
  • 飞跃奖
  • 领导
    • 2022年的投票
    • 2021年的赢家
  • 设计指导图书馆
  • 资源
    • 3 d Cad模型
      • PARTsolutions
      • TraceParts
    • 数字问题
      • 设计的世界
      • EE世界
    • 女性在工程
  • 供应商清单

复制自自然:通过遗传算法检测软件错误

通过萨尔州大学|2014年3月5日

分享

萨尔大学(Saarland University)计算机科学教授安德烈亚斯·泽勒(Andreas Zeller)开发了一款软件,可以自动测试其他程序,甚至是汽车上的传感器功能。(Oliver Dietze) 根据剑桥大学最近的一项研究,软件开发人员花了大约一半的时间在检测错误和解决错误上。根据这项研究,预计到全球软件产业,这将相当于每年约3120亿美元的账单。

“当然,自动化测试更便宜,”萨尔大学软件工程教授Andreas Zeller解释道,因为您可以在不产生任何费用的情况下运行一个程序一千次。但是这些必要的测试用例是从哪里来的呢?”西问道。“自动生成它们很困难,但自己思考它们就更困难了。”

在与计算机科学家Nikolas Havrikov和Matthias Höschele的合作中,他现在开发了软件系统“XMLMATE”。它自动生成测试用例,并使用它们自动测试给定的程序代码。它的特殊之处在于,要测试的程序必须满足的唯一要求是,它的输入必须以某种方式结构化,因为研究人员使用它来生成最初的测试用例集。他们将这些数据提供给测试所基于的所谓的遗传算法。它的工作原理与生物进化相似,在生物进化中,染色体是作为输入的。只有包含大量尚未执行的代码的输入才能保存下来。正如Nikolas Havrikov解释他们的策略:“检测真正的错误并不容易,我们覆盖的代码越多,我们就越确定不会发生更多的错误。”Havrikov XMLMATE实现。“由于我们使用真实的现有输入接口,我们确保没有虚报:每一个发现的错误也可能发生在程序的执行过程中,”泽勒补充说。

研究人员将他们的软件发布在用户已经在日常生活中使用的开源程序上。通过他们的程序,他们检测到的致命错误几乎是只处理随机输入的类似测试方法的两倍。“但最好的是,我们完全独立于应用领域。有了我们的框架,我们不仅能够测试计算机网络、数据集的处理、网站或操作系统,还可以测试汽车传感器的软件。”泽勒说。

Saarbrücken的计算机科学家用Java编程语言开发了XMLMATE。要测试的软件输入是根据描述语言XML定义的,因此XML模式的存在是有帮助的。由于XML是标准化的,并且被认为是一种输入格式之间的世界语言,因此大多数编程输入都适合XMLMATE,如果不适合,则可以通过相应的工具快速进行转换。

欲了解更多信息,请访问http://www.uni-saarland.de/


了下:M2M(机对机)


相关文章阅读更多>

第6部分:用于连接和物联网设计工作的IDE和其他软件
第4部分:工业机械的边缘计算和网关激增
第3部分:以太网、PoE、IO-Link、HIPERFACE和单电缆解决方案的趋势
传感器的机器学习

设计指导图书馆

“运动

不可或缺报名

运动控制课堂

设计世界数码版

封面

浏览最新的问题的设计世界和背面的问题,易于使用的高质量的格式。剪辑,分享和下载与领先的设计工程杂志今天。

参加电子论坛

全球顶级的EE问题解决论坛,涵盖微控制器,DSP,网络,模拟和数字设计,射频,电力电子,PCB路由等

电子论坛

赞助内容

  • 瑞尼绍下一代FORTiS™封闭式线性编码器为机床提供了增强的计量和可靠性
  • WAGO的smartDESIGNER在线为项目提供无缝进展
  • 环氧树脂通过UL 1203标准认证
  • 工业电缆耐化学品和油类的重要性
  • 优化,精简和增加生产能力与托盘搬运输送系统
  • 全球供应需求推动制造业足迹的增长

设计世界播客

2022年6月1日
通过增材制造实现数字化
看到更多>
工程交易

工程交流是一个面向工程师的全球性教育网络社区。

今天就联系、分享和学习

设计的世界
  • 广告
  • 关于我们
  • 联系
  • 管理您的设计世界订阅
  • 订阅
  • 设计世界数字网络
  • 工程白皮书
  • 飞跃奖

版权所有©2022 WTWH Media LLC版权所有除非事先得到WTWH Media的书面许可,否则不得转载、分发、传输、缓存或以其他方式使用本网站的材料
隐私政策|广告|关于我们

搜索设计世界

  • 首页
  • 技术
    • 3 d CAD
    • 电子•电
    • 紧固和连接
    • 工厂自动化
    • 线性运动
    • 运动控制
    • 测试与测量
    • 传感器
    • 流体动力
  • 学习
    • 电子书/技术提示
    • 工程周
    • 设计工程的未来
    • MC²运动控制教室
    • 播客
    • 视频
    • 在线研讨会
  • 飞跃奖
  • 领导
    • 2022年的投票
    • 2021年的赢家
  • 设计指导图书馆
  • 资源
    • 3 d Cad模型
      • PARTsolutions
      • TraceParts
    • 数字问题
      • 设计的世界
      • EE世界
    • 女性在工程
  • 供应商清单
我们使用cookie来个性化内容和广告,提供社交媒体功能,并分析我们的流量。我们还与我们的社交媒体、广告和分析合作伙伴分享关于您使用我们网站的信息,这些合作伙伴可能会将这些信息与您提供给他们的其他信息或他们从您使用他们的服务中收集到的信息结合起来。如果您继续使用本网站,您同意使用我们的cookies。 好吧没有阅读更多