投掷 swMATH ID: 7260 软件作者: 帕特丽斯·戈德弗里德;尼尔斯·克拉伦德;库什克森 描述: DART:直接自动化随机测试。我们提出了一种用于自动测试软件的新工具DART,它结合了三种主要技术:(1)使用静态源代码解析自动提取程序与其外部环境的接口;(2) 为该接口自动生成测试驱动程序,该驱动程序执行随机测试,以模拟程序可以在其中运行的最通用环境;(3)动态分析程序在随机测试下的行为,并自动生成新的测试输入,以系统地指导沿着可选程序路径的执行。这三种技术共同构成了定向自动随机测试(Directed Automated Random Testing,简称DART)。因此,DART的主要优势在于,可以在任何编译的程序上完全自动执行测试——不需要编写任何测试驱动程序或线束代码。在测试期间,DART检测标准错误,如程序崩溃、断言冲突和非终止。对C程序的几个示例进行单元测试的初步实验非常令人鼓舞。 主页: http://dl.acm.org/citation.cfm?id=1065036 相关软件: 可爱的;z3(零3);吉隆坡机场;派克斯;污水处理厂;Java PathFinder;jCUTE公司;爆炸;自旋蛋白;CBMC公司;Symstra公司;SLAM公司;veriSoft软件;电子稳定控制系统/Java;SMT-LIB公司;YOGI公司;班德拉;CVC4型;PathCrawler(路径爬行器);CESAR公司 引用于: 59文件 全部的 前5名156位作者引用 4 弗拉德·鲁苏 三 安德烈·阿鲁索艾 三 帕特丽斯·戈德弗里德 三 弗雷德·梅斯纳德 三 埃蒂安·佩耶特 三 德国维达尔 2 尼古拉·S·比约纳。 2 段振华 2 蒂埃里·杰伦 2 雅克·朱利安德 2 维克托·五·库利亚明。 2 多雷尔·卢卡努 2 皮埃尔·阿莱·马森 2 田聪 2 赫尔穆特·维思 2 威廉·维瑟 2 张楠 1 帕罗什·阿齐兹·阿卜杜拉 1 阿隆·阿迪尔 1 巴沙尔·拉维 1 恩里克·阿尔巴 1 罗伯托·阿马迪尼 1 吉安卢卡·阿马托 1 萨斯瓦特·阿南德 1 穆罕默德·法乌齐(Mohamed Faouzi Atig) 1 Domagoj Babić 1 罗伯特·巴格纳拉 1 塞巴斯蒂安·巴丁 1 尼古拉斯·巴斯基提斯 1 马塞洛·玛丽亚·邦桑格 1 卜康康 1 皮埃尔·克莱斯托普·布埃 1 大卫·H·布什内尔。 1 卡利埃、马蒂厄 1 安娜·卡瓦尔坎蒂 1 萨加·查基 1 查克拉波蒂,苏普拉特克 1 萨迪普塔·查托帕迪耶 1 陈玉芳 1 切诺夫,E.S。 1 弗朗西斯科·奇卡诺 1 魏恩根·钦 1 玛丽亚·克里斯塔基斯 1 克拉克(Edmund Melson jun Clarke)。 1 克伦,多纳托 1 达姆,丹尼斯·雷内 1 伊曼纽尔·德·安吉利斯 1 德波尔(Frank S。 1 莱昂纳多·德·莫拉 1 比菲省迪普 1 Heinz Erzberger公司 1 本杰明·法里尼尔 1 鲁道夫·费伦茨 1 安东尼奥·菲列里 1 法比奥·菲奥拉万蒂 1 斯蒂芬妮·福雷斯特 1 约翰·加拉赫(John P.Gallagher)。 1 戴安·加洛瓦·旺 1 格雷姆·恒河 1 玛丽·克劳德·高德尔 1 迪米特拉·吉安娜科波卢 1 纪尧姆·吉罗尔 1 罗伯塔·戈里 1 阿尔诺·哥特利布 1 亚历克斯·格罗斯 1 拉杜·格罗苏 1 阿什图什·古普塔 1 克劳斯·哈弗伦德 1 海姆,皮尔雷·科里尔 1 凯伦·希雷 1 Heged By s,彼得 1 凯乔·赫尔扬科 1 C.E.赫尔姆斯特特。 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 曼努埃尔五世(Manuel V.Hermenegildo)。 1 卢卡什·霍利克 1 安德烈亚斯·霍尔泽 1 杰拉德·J·霍尔兹曼。 1 Pieter Hooimeijer 1 Hriţcu,科特林 1 Michael S.肖。 1 胡登庚 1 黄晓婉 1 约翰·休斯 1 拉胡尔·贾恩 1 贝特朗·珍妮特 1 拉杰夫·乔希 1 伊斯坦布尔卡达尔 1 迪帕克·卡普尔 1 迈克尔·凯特尔曼 1 约翰内斯·金德 1 尼尔斯·克拉伦德 1 鲍里斯·科普夫 1 奥尔加·库什纳伦科 1 德米特里·克拉夫琴科 1 萨帕里亚克里希纳莫奥斯蒂 1 丹尼尔·科宁 1 希勒尔·库格勒 1 拉希里、舒文杜·库马尔 1 莱昂尼达斯·兰普罗普洛斯 …还有56位作者 全部的 前5名17篇连载文章中引用 4 逻辑程序设计理论与实践 三 编程与计算机软件 三 理论计算机科学 三 系统设计中的形式化方法 2 符号计算杂志 2 数学与人工智能年鉴 2 程序设计中的逻辑和代数方法杂志 1 人工智能 1 控制论学报 1 计算机程序设计科学 1 计算机与运筹学 1 计算的形式方面 1 实时系统 1 信息计算杂志 1 计算机语言、系统和结构 1 科学中国。信息科学 1 理论计算机科学课文。EATCS系列 全部的 前5名在7个字段中引用 58 计算机科学(68至XX) 三 数理逻辑与基础(03-XX) 2 数值分析(65-XX) 1 统计学(62-XX) 1 流体力学(76-XX) 1 运筹学、数学规划(90-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文