×

投掷

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公司;SLAM公司;veriSoft软件;Symstra公司;电子稳定控制系统/Java;YOGI公司;班德拉;SMT-LIB公司;PathCrawler(路径爬行器);ASTREE公司;科拉特
引用于: 58出版物
全部的 前5名

146位作者引用

4 弗拉德·鲁苏
罗伯托·阿马迪尼
安德烈·阿鲁索艾
格雷姆·恒河
帕特丽斯·戈德弗里德
弗雷德·梅斯纳德
埃蒂安·佩耶特
彼得·詹姆斯·斯塔基
德国维达尔
2 尼古拉·S·比约纳。
2 段振华
2 蒂埃里·杰伦
2 雅克·朱利安德
2 维克托·五·库利亚明。
2 多雷尔·卢卡努
2 皮埃尔·阿莱·马森
2 彼得·沙赫特
2 哈拉尔德·森德加德
2 田聪
2 赫尔穆特·维思
2 张楠
1 阿隆·阿迪尔
1 巴沙尔·拉维
1 恩里克·阿尔巴
1 吉安卢卡·阿马托
1 萨斯瓦特·阿南德
1 马克·安德隆
1 Domagoj Babić
1 罗伯特·巴格纳拉
1 塞巴斯蒂安·巴丁
1 尼古拉斯·巴斯基提斯
1 马塞洛·玛丽亚·邦桑格
1 卜康康
1 卜、雷
1 皮埃尔·克莱斯托普·布埃
1 大卫·H·布什内尔。
1 卡利埃、马蒂厄
1 安娜·卡瓦尔坎蒂
1 查克拉波蒂,苏普拉特克
1 萨迪普塔·查托帕迪耶
1 陈欣
1 切诺夫,E.S。
1 弗朗西斯科·奇卡诺
1 魏恩根·钦
1 玛丽亚·克里斯塔基斯
1 克拉克(Edmund Melson jun Clarke)。
1 达姆,丹尼斯·雷内
1 德波尔(Frank S。
1 莱昂纳多·德·莫拉
1 Heinz Erzberger公司
1 本杰明·法里尼尔
1 鲁道夫·费伦茨
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 安德烈亚斯·霍尔泽
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 李宣东
1 梁永娟
1 洛加那坦林加潘
1 梅勒特·康托兹。
1 佛罗伦萨马拉宁奇
1 凯瑟琳·马森
1 何塞·梅塞盖尔·瓜伊塔
1 阿披实·米迪亚
…还有46位作者

按年份列出的引文