澳大利亚 swMATH ID: 15104 软件作者: Lakhotia K、Harman M、Gross H 描述: AUSTIN:一种用于C语言的基于搜索的软件测试工具,用于对部署的汽车系统进行评估。尽管有大量关于基于搜索的软件测试(SBST)的出版物,但公开可用的工具仍然很少。本文介绍了一种用于C语言的公共SBST工具AUSTIN。本文通过与随机测试和戴姆勒和其他公司内部用于进化测试的进化测试框架(ETF)相比,对该工具在实现分支覆盖方面的有效性和效率进行实证研究来验证该工具。研究中使用的程序由八个非平凡的、真实的C函数组成,这些C函数取自三个嵌入式汽车软件模块。对于大多数功能,AUSTIN至少与ETF一样有效(就实现的分行覆盖率而言),并且效率更高。 主页: http://ieeexplore.iee.org/xpl/login.jsp?tp=&arnumber=5635150 相关软件: 弗洛普西;CBMC公司;飞镖;GATeL公司;RealPaver公司;国际博协 引用于: 1文件 4位作者引用 1 罗伯特·巴格纳拉 1 卡利埃、马蒂厄 1 罗伯塔·戈里 1 阿尔诺·哥特利布 连载1篇 1 信息计算杂志 在2个字段中引用 1 数值分析(65-XX) 1 计算机科学(68至XX) 按年份列出的引文