SHF: Small: Science and Tools for Intelligent Developer Testing

SHF:小型:智能开发人员测试的科学和工具

基本信息

  • 批准号:
    1816615
  • 负责人:
  • 金额:
    $ 50万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2018
  • 资助国家:
    美国
  • 起止时间:
    2018-10-01 至 2023-09-30
  • 项目状态:
    已结题

项目摘要

Software dependability plays a critical role in United States businesses, government, and society. Although much progress has been made in software verification and validation, software testing remains by far the most widely used technique for improving software dependability. Among various types of testing, developer testing has been widely recognized as an important and valuable means of improving software dependability. The popularity and benefits of developer testing have been well witnessed in industry; however, manual developer testing is known to be labor intensive, and is often insufficient in comprehensively exercising behavior of the software under test to expose its hidden bugs. To address the issue, one of the common ways is to use testing infrastructures and tools to reduce or complement manual testing effort to achieve higher software dependability. In the past decade, the software testing research community has made significant progress in automatic test generation. With various recent scientific advances by the research community, a question naturally arises: what would be the audacious goal for the field of developer testing in the upcoming decade to bring a much higher testing effectiveness and efficiency to developers? To address this question, this project investigates the science and tools of intelligent developer testing, fundamentally advancing knowledge and understanding in foundations, techniques, and tools for intelligent developer testing. The project improves software dependability by revealing more bugs during software development before they manifest in deployed software.The project focuses on science and tools for instilling intelligence from two major ways (natural language interfacing and continuous learning) into developer testing tools as part of the efforts for realizing the vision of intelligent software engineering. The project develops novel and practical techniques and tools of intelligent developer testing that have high potential to impact the industry. In particular, the project focuses on parameterized unit tests, which are an improvement over conventional unit tests because they can easily be extended by automated tools to increase code coverage while reusing developer-written oracles. The PI plans to develop intelligent tools that will make it significantly easier for developers to write parameterized unit tests with the goal of automatically translating developer intents into parts of executable test cases. This project advances the science by exploring a series of questions, e.g., how to define or determine levels of intelligence in developer testing, how to bring high levels of intelligence in developer testing tools, how to synergistically integrate machine intelligence and human intelligence (e.g., domain knowledge or insight) to effectively tackle challenging tasks in developer testing. The project involves research collaborations with industrial partners and involves participation of students from underrepresented groups.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
软件可靠性在美国企业、政府和社会中扮演着至关重要的角色。尽管在软件验证和确认方面取得了很大进展,但软件测试仍然是迄今为止使用最广泛的提高软件可靠性的技术。在各种类型的测试中,开发人员测试被广泛认为是提高软件可靠性的重要和有价值的手段。开发人员测试的受欢迎程度和好处已经在行业中得到了很好的证明;然而,众所周知,手动开发人员测试是劳动密集型的,而且往往不足以全面行使被测软件的行为来暴露其隐藏的错误。为了解决这个问题,常见的方法之一是使用测试基础设施和工具来减少或补充手动测试工作,以实现更高的软件可靠性。在过去的十年中,软件测试研究界在自动测试生成方面取得了重大进展。随着研究界最近的各种科学进步,一个问题自然出现了:在接下来的十年里,开发人员测试领域将实现什么大胆的目标,为开发人员带来更高的测试有效性和效率?为了解决这个问题,这个项目研究了智能开发人员测试的科学和工具,从根本上提高了对智能开发人员测试的基础、技术和工具的知识和理解。该项目通过在部署的软件中显示软件开发过程中的更多错误来提高软件可靠性。该项目专注于从两个主要方式(自然语言接口和持续学习)向开发人员测试工具灌输智能的科学和工具,作为实现智能软件工程愿景的努力的一部分。该项目开发了新颖实用的智能开发人员测试技术和工具,具有很高的影响行业潜力。特别是,该项目专注于参数化单元测试,这是对传统单元测试的改进,因为它们可以很容易地被自动化工具扩展,从而在重用开发人员编写的Oracle的同时增加代码覆盖率。PI计划开发智能工具,使开发人员编写参数化单元测试变得更加容易,目标是自动将开发人员的意图转换为可执行测试用例的一部分。这个项目通过探索一系列问题来推动科学的发展,例如,如何定义或确定开发人员测试中的智能水平,如何在开发人员测试工具中带来高水平的智能,如何协同集成机器智能和人类智能(例如,领域知识或洞察力),以有效地处理开发人员测试中具有挑战性的任务。该项目涉及与行业合作伙伴的研究合作,并涉及来自代表性不足群体的学生的参与。该奖项反映了NSF的法定使命,并通过使用基金会的智力优势和更广泛的影响审查标准进行评估,被认为值得支持。

项目成果

期刊论文数量(30)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests
SemRegex: A Semantics-Based Approach for Generating Regular Expressions from Natural Language Specifications
  • DOI:
    10.18653/v1/d18-1189
  • 发表时间:
    2018-10
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Zexuan Zhong;Jiaqi Guo;Wei Yang;Jian Peng;Tao Xie;Jian-Guang Lou;Ting Liu;D. Zhang
  • 通讯作者:
    Zexuan Zhong;Jiaqi Guo;Wei Yang;Jian Peng;Tao Xie;Jian-Guang Lou;Ting Liu;D. Zhang
Reasoning about modern datacenter infrastructures using partial histories
  • DOI:
    10.1145/3458336.3465276
  • 发表时间:
    2021-06
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Xudong Sun;L. Suresh;Aishwarya Ganesan;Ramnatthan Alagappan;Michael Gasch;Lilia Tang;Tianyin Xu
  • 通讯作者:
    Xudong Sun;L. Suresh;Aishwarya Ganesan;Ramnatthan Alagappan;Michael Gasch;Lilia Tang;Tianyin Xu
Quality Assessment for Large-Scale Industrial Software Systems: Experience Report at Alibaba
大规模工业软件系统的质量评估:阿里巴巴的经验报告
FACTS: automated black-box testing of FinTech systems
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Tianyin Xu其他文献

Decentralizing Microblogging Services by Differentiating User Traffic Demands
差异化用户流量需求,打造去中心化微博服务
  • DOI:
    10.1515/pik-2012-0065
  • 发表时间:
    2013
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Lei Jiao;Tianyin Xu;Yang Chen;Xiaoming Fu
  • 通讯作者:
    Xiaoming Fu
Configuration Testing: Testing Configuration Values Together with Code Logic
  • DOI:
  • 发表时间:
    2019-05
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Tianyin Xu
  • 通讯作者:
    Tianyin Xu
Trend and Attribution Analysis of Runoff Changes in the Weihe River Basin in the Last 50 Years
近50年渭河流域径流变化趋势及归因分析
  • DOI:
    10.3390/w14010047
  • 发表时间:
    2021-12
  • 期刊:
  • 影响因子:
    3.4
  • 作者:
    Junjie Xu;Xichao Gao;Zhiyong Yang;Tianyin Xu
  • 通讯作者:
    Tianyin Xu
A Survey of Clustering Methods in Mining Data Streaming
挖掘数据流中的聚类方法综述
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Tianyin Xu
  • 通讯作者:
    Tianyin Xu

Tianyin Xu的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Tianyin Xu', 18)}}的其他基金

CAREER: Rethinking Configuration Management for Cloud and Datacenter Systems
职业:重新思考云和数据中心系统的配置管理
  • 批准号:
    2145295
  • 财政年份:
    2022
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
Collaborative Research: CNS Core: Small: A new framework for building fail-slow fault-tolerant distributed systems
合作研究:CNS Core:Small:构建慢速容错分布式系统的新框架
  • 批准号:
    2130560
  • 财政年份:
    2021
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant

相似国自然基金

昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
    n/a
  • 批准年份:
    2022
  • 资助金额:
    10.0 万元
  • 项目类别:
    省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
  • 批准号:
    32000033
  • 批准年份:
    2020
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 批准年份:
    2019
  • 资助金额:
    58.0 万元
  • 项目类别:
    面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
  • 批准号:
    81900988
  • 批准年份:
    2019
  • 资助金额:
    21.0 万元
  • 项目类别:
    青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
  • 批准号:
    31870821
  • 批准年份:
    2018
  • 资助金额:
    56.0 万元
  • 项目类别:
    面上项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
  • 批准号:
    31802058
  • 批准年份:
    2018
  • 资助金额:
    26.0 万元
  • 项目类别:
    青年科学基金项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
  • 批准号:
    31772128
  • 批准年份:
    2017
  • 资助金额:
    60.0 万元
  • 项目类别:
    面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
  • 批准号:
    81704176
  • 批准年份:
    2017
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
  • 批准号:
    91640114
  • 批准年份:
    2016
  • 资助金额:
    85.0 万元
  • 项目类别:
    重大研究计划

相似海外基金

"Small performances": investigating the typographic punches of John Baskerville (1707-75) through heritage science and practice-based research
“小型表演”:通过遗产科学和基于实践的研究调查约翰·巴斯克维尔(1707-75)的印刷拳头
  • 批准号:
    AH/X011747/1
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Research Grant
CC* INTEGRATION-SMALL: ADIABATIC MICROSERVICE LEVEL LOAD BALANCED FORWARDING ON PISA SWITCH FOR ACCELERATING URGENT PROCESSES IN SCIENCE DATA CENTER NETWORKS
CC* 集成小型:PISA 交换机上的绝热微服务级负载平衡转发,用于加速科学数据中心网络中的紧急进程
  • 批准号:
    2346729
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: CyberTraining: Implementation: Small: Inclusive Cyberinfrastructure and Machine Learning Training to Advance Water Science Research
合作研究:网络培训:实施:小型:包容性网络基础设施和机器学习培训,以推进水科学研究
  • 批准号:
    2320980
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
CC* Integration-Small: Enhancing Data Transfers by Enabling Programmability and Closed-loop Control in a Non-programmable Science DMZ
CC* Integration-Small:通过在不可编程科学 DMZ 中启用可编程性和闭环控制来增强数据传输
  • 批准号:
    2346726
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: CyberTraining: Implementation: Small: Inclusive Cyberinfrastructure and Machine Learning Training to Advance Water Science Research
合作研究:网络培训:实施:小型:包容性网络基础设施和机器学习培训,以推进水科学研究
  • 批准号:
    2320979
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Small Things First: Leveraging Implementation Science to Increase Access to Infant Directed Speech for ALL Infants in Neonatal Intensive Care Units
小事优先:利用实施科学增加新生儿重症监护病房所有婴儿获得婴儿定向语音的机会
  • 批准号:
    10570336
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
Collaborative Research: CyberTraining: Implementation: Small: Train the Trainers as Next Generation Leaders in Data Science for Cybersecurity for Underrepresented Communities
协作研究:网络培训:实施:小型:将培训师培训为代表性不足社区网络安全数据科学的下一代领导者
  • 批准号:
    2321111
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: CyberTraining: Implementation: Small: Train the Trainers as Next Generation Leaders in Data Science for Cybersecurity for Underrepresented Communities
协作研究:网络培训:实施:小型:将培训师培训为代表性不足社区网络安全数据科学的下一代领导者
  • 批准号:
    2321112
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Investigation of Small-scale Jets In and Near Sunspot Penumbrae: Early DKIST Science
对太阳黑子半影及其附近小型喷流的研究:早期 DKIST 科学
  • 批准号:
    2307505
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: CyberTraining: Implementation: Small: Train the Trainers as Next Generation Leaders in Data Science for Cybersecurity for Underrepresented Communities
协作研究:网络培训:实施:小型:将培训师培训为代表性不足社区网络安全数据科学的下一代领导者
  • 批准号:
    2321110
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了