来源： 约翰·js3845金沙线路检测中心, 785-532-6350, js3845金沙线路检测中心@k-state.edu;
js3845金沙线路检测中心, 785-532-6350, js3845金沙线路检测中心@k-state.edu
新闻稿准备者： 詹妮弗·托林, 785-532-0847, jtorline@k-state.edu

星期三, 九月. 29, 2010

js3845金沙线路检测中心因对软件工程领域做出的有影响力的贡献而获奖

曼哈顿 - 两位js3845金沙线路检测中心教授, 获得软件工程最负盛名的奖项之一是经过十多年的酝酿.

一个七人js3845金沙线路检测中心小组，其中包括堪萨斯州立大学的约翰·哈特克利夫, 计算机与信息科学教授, 和罗比, 计算与信息科学副教授, 1998 年提出，旨在说明不同的技术如何测试计算机程序执行多任务时出现的问题. 团队发布了“”;Bandera：从 Java 源代码中提取有限状态模型”; 2000 年.

该出版物最近获得了国际软件工程会议最具影响力论文奖, 世界上最大的学术软件工程会议. 该奖项旨在表彰出版10年来对软件工程理论和实践影响最大的出版物.

”;我们的主要贡献是说明js3845金沙线路检测中心是如何进行的, 基于离散数学和形式逻辑的技术, 可以应用于软件系统来推理本质上是多任务的系统,”; 哈特克利夫说. ”;因为它提供了关于计算机系统的系统推理, js3845金沙线路检测中心可以发现使用现有技术难以检测的错误, 例如常规测试和手动源代码检查.”;

Hatcliff 和 Robby js3845金沙线路检测中心团队的其他成员包括：James Corbett, 撰写本文时是夏威夷大学的教员，现在是 Google 员工; 马修·德怀尔, 当时是堪萨斯州立大学的教员，现在是内布拉斯加大学林肯分校的教员; 肖恩·劳巴赫, 当时是堪萨斯州立大学的js3845金沙线路检测中心生; 科丽娜·帕萨雷努, 当时是堪萨斯州立大学的博士生，现在在 NASA 工作; 和郑鸿钧, 撰写本文时为堪萨斯州立大学博士后学生.

学术引用表明团队工作的持续影响. 该出版物是 30 年会议历史上发表的被引用次数最多的论文, 在 10 多个引用中排名第二,js3845金沙线路检测中心协会 SIGSOFT 发表的 000 篇论文, 领先的专业软件工程协会. Google 学术搜索引文索引显示该论文目前被引用次数超过 800 次.

”;这个项目的有趣之处在于它汇集了许多不同的技术, 这确实是这篇论文脱颖而出的原因之一,”; 罗比说.

该项目理念是在 20 世纪 90 年代随着嵌入式系统的普及而发展的. 由于计算机软件能够执行多任务, 测试和预测错误变得更加困难. js3845金沙线路检测中心希望开发一种方法来预见程序的行为, 所以他们应用了一种称为模型检查的技术, 硬件工程师曾用它来探索计算机芯片如何执行任务.

”;让js3845金沙线路检测中心适用于软件, 我们必须开发许多复杂的技术来自动发现系统源代码的重要属性,”; 哈特克利夫说. ”;这些技术的目标是将软件的所有复杂功能归结为一个相对干净的数学模型，我们可以使用js3845金沙线路检测中心技术进行分析.”;

自从js3845金沙线路检测中心发表他们的工作以来, 微软和 NASA 等组织都以此为基础, 和其他小组正在努力更好地设计并发编程并以不同的方式构建软件. 2003 年 NASA 的 Java Path Finder 模型检查项目荣获 NASA 久负盛名的“将目标变成现实”奖, 堪萨斯州立大学的js3845金沙线路检测中心因其 2000 年出版物中做出的有影响力的贡献和合作而被列为该项目的成员. Pasareanu 现在领导 NASA 的 Java Path Finder 项目.

尽管js3845金沙线路检测中心不再从事同一个项目, 他们中的许多人继续致力于相关技术. 他们从各个资助机构（包括陆军研究办公室）总共收到了超过 1200 万美元的资金, 空军科学研究办公室, 洛克希德·马丁公司., 波音公司., 英特尔公司., IBM 公司., 富士通有限公司和罗克韦尔柯林斯公司. -- 在原始出版物的基础上继续研究. Hatcliff 和 Robby 均获得了教师早期职业发展计划的资助, 或职业, 美国国家科学基金会因其衍生研究而颁发的奖项.