SHF: Small:Automatically Synthesizing System and Integration Tests

SHF:小型:自动综合系统和集成测试

基本信息

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

项目摘要

System and integration testing is a set of key activities in software development and maintenance to determine if applications and their constituent components behave correctly. System/integration testing is vitally important for ensuring software quality, since many serious software defects occur in interactions among different components. Unfortunately, creating effective system/integration tests requires significant time and effort, since it is not feasible to test the enormous set of all combinations of the components from a nontrivial software application. It is crucial to reduce the cost and increase the quality of software with system/integration testing that is effective in fault finding and efficient in resource consumption and execution time. In sum, there are unique factors in system/integration testing, not previously considered, that if not addressed will continue to limit the quality of software applications. In this project, a novel framework will be created for automatically creating effective system/integration tests that find bugs efficiently. A three-pronged research program will be developed for Automatic Synthesis of System and Integration Software Tests (ASSIST). New algorithms and techniques will be created and evaluated as part of the work on this project for automatically obtaining models that describe interacting components, thus reducing the number of synthesized system and integration tests and increasing their fault-finding power. Also, a novel way will be created in which static and dynamic analyses and machine learning are used to obtain test input data as well as oracles for the synthesized system and integration tests. As a result of the work on this project, system and integration tests will be automatically synthesized using ASSIST that have a comparable bug-finding power with manually created integration tests. A suite of new ASSIST tools that will be developed, evaluated, and applied to different open-source and commercial applications, and made available to the broader community.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.
系统和集成测试是软件开发和维护中的一组关键活动,用于确定应用程序及其组成组件是否正确运行。系统/集成测试对于保证软件质量至关重要,因为许多严重的软件缺陷发生在不同组件之间的交互中。不幸的是,创建有效的系统/集成测试需要大量的时间和精力,因为它是不可行的测试的所有组件的组合从一个平凡的软件应用程序的巨大集合。有效的系统/集成测试是降低软件成本和提高软件质量的关键,它可以有效地发现故障,节省资源消耗和执行时间。 总而言之,系统/集成测试中有一些以前没有考虑到的独特因素,如果不加以解决,这些因素将继续限制软件应用程序的质量。在这个项目中,将创建一个新的框架,用于自动创建有效的系统/集成测试,有效地发现错误。 一个三管齐下的研究计划将开发自动合成系统和集成软件测试(ASSIST)。作为本项目工作的一部分,将创建和评估新的算法和技术,以自动获得描述相互作用组件的模型,从而减少合成系统和集成测试的数量,并提高其故障查找能力。此外,将创建一种新的方法,其中静态和动态分析和机器学习用于获得测试输入数据以及用于合成系统和集成测试的预言机。作为该项目工作的结果,系统和集成测试将使用ASSIST自动合成,ASSIST具有与手动创建的集成测试相当的bug查找能力。一套新的ASSIST工具,将被开发,评估和应用于不同的开源和商业应用程序,并提供给更广泛的社区。该奖项反映了NSF的法定使命,并已被认为是值得通过使用基金会的智力价值和更广泛的影响审查标准进行评估的支持。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

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

{{ 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 }}

Mark Grechanik其他文献

Testing software in age of data privacy: a balancing act
数据隐私时代的软件测试:平衡之举

Mark Grechanik的其他文献

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

{{ truncateString('Mark Grechanik', 18)}}的其他基金

SaTC: CORE: Small: Defense by Deception of Smartphone Software Applications For Users With Disabilities
SaTC:核心:小型:针对残障用户的智能手机软件应用程序的欺骗防御
  • 批准号:
    2129739
  • 财政年份:
    2022
  • 资助金额:
    $ 37.89万
  • 项目类别:
    Standard Grant
SHF:Small:Proving User Interface Testing Programs Correct
SHF:小:证明用户界面测试程序的正确性
  • 批准号:
    2120142
  • 财政年份:
    2021
  • 资助金额:
    $ 37.89万
  • 项目类别:
    Standard Grant
EAGER: Securing Smartphone Applications Against Rapidly Expanding Accessibility-Based Attacks
EAGER:保护智能手机应用程序免受快速扩展的基于辅助功能的攻击
  • 批准号:
    1650000
  • 财政年份:
    2016
  • 资助金额:
    $ 37.89万
  • 项目类别:
    Standard Grant
SHF: Small: Automatically Localizing Functional Faults In Deployed Software Applications
SHF:小型:自动定位已部署软件应用程序中的功能故障
  • 批准号:
    1615563
  • 财政年份:
    2016
  • 资助金额:
    $ 37.89万
  • 项目类别:
    Standard Grant
I-Corps: Automatically Localizing Functional Faults In Deployed Software Applications
I-Corps:自动定位已部署软件应用程序中的功能故障
  • 批准号:
    1547597
  • 财政年份:
    2015
  • 资助金额:
    $ 37.89万
  • 项目类别:
    Standard Grant
Travel Support For ACM/IEEE International Conference on Software Engineering (ICSE 2014)
ACM/IEEE 软件工程国际会议 (ICSE 2014) 差旅支持
  • 批准号:
    1360923
  • 财政年份:
    2014
  • 资助金额:
    $ 37.89万
  • 项目类别:
    Standard Grant
III: Small: Collaborative Research: Linking Evolving Software Requirements and Acceptance Tests
III:小:协作研究:将不断发展的软件需求和验收测试联系起来
  • 批准号:
    1217928
  • 财政年份:
    2012
  • 资助金额:
    $ 37.89万
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative Research: Preserving Test Coverage While Achieving Data Anonymity for Database-Centric Applications
SHF:小型:协作研究:保留测试覆盖率,同时实现以数据库为中心的应用程序的数据匿名性
  • 批准号:
    1017633
  • 财政年份:
    2010
  • 资助金额:
    $ 37.89万
  • 项目类别:
    Continuing Grant
III: Small: Collaborative Research: Creating and Evolving Software via Searching, Selecting and Synthesizing Relevant Source Code
III:小:协作研究:通过搜索、选择和综合相关源代码来创建和发展软件
  • 批准号:
    0916139
  • 财政年份:
    2009
  • 资助金额:
    $ 37.89万
  • 项目类别:
    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 万元
  • 项目类别:
    重大研究计划

相似海外基金

SaTC: CORE: Small: Studying and Measuring the Consequence of Prototype Pollution Vulnerabilities Automatically via Joint Taintflow Analysis
SaTC:核心:小型:通过联合污染流分析自动研究和测量原型污染漏洞的后果
  • 批准号:
    2154404
  • 财政年份:
    2022
  • 资助金额:
    $ 37.89万
  • 项目类别:
    Standard Grant
Collaborative Research: SaTC: CORE: Small: Flanker: Automatically Detecting Lateral Movement in Organizations Using Heterogeneous Data and Graph Representation Learning
协作研究:SaTC:核心:小型:侧翼:使用异构数据和图表示学习自动检测组织中的横向运动
  • 批准号:
    2127232
  • 财政年份:
    2021
  • 资助金额:
    $ 37.89万
  • 项目类别:
    Standard Grant
Collaborative Research: SaTC: CORE: Small: Flanker: Automatically Detecting Lateral Movement in Organizations Using Heterogeneous Data and Graph Representation Learning
协作研究:SaTC:核心:小型:侧翼:使用异构数据和图表示学习自动检测组织中的横向运动
  • 批准号:
    2127200
  • 财政年份:
    2021
  • 资助金额:
    $ 37.89万
  • 项目类别:
    Standard Grant
CHS: Small: Automatically Identifying Misunderstandings of Social Intentions in Online Conversations
CHS:小:自动识别在线对话中社交意图的误解
  • 批准号:
    1910147
  • 财政年份:
    2019
  • 资助金额:
    $ 37.89万
  • 项目类别:
    Standard Grant
CHS: Small: Learning to Automatically Design Interior Spaces
CHS:小:学习自动设计室内空间
  • 批准号:
    1907547
  • 财政年份:
    2019
  • 资助金额:
    $ 37.89万
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative Research: Automatically Enhancing Quality of Social Communication Channels to Support Software Developers and Improve Tool Reliability
SHF:小型:协作研究:自动增强社交沟通渠道的质量以支持软件开发人员并提高工具可靠性
  • 批准号:
    1813253
  • 财政年份:
    2018
  • 资助金额:
    $ 37.89万
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative Research: Automatically Enhancing Quality of Social Communication Channels to Support Software Developers and Improve Tool Reliability
SHF:小型:协作研究:自动增强社交沟通渠道的质量以支持软件开发人员并提高工具可靠性
  • 批准号:
    1812968
  • 财政年份:
    2018
  • 资助金额:
    $ 37.89万
  • 项目类别:
    Standard Grant
RI: Small: Using Automatically Generated Paraphrases and Discriminative ASR Training to Author Robust Question-Answering Dialogue Systems
RI:小型:使用自动生成的释义和判别性 ASR 训练来编写强大的问答对话系统
  • 批准号:
    1618336
  • 财政年份:
    2016
  • 资助金额:
    $ 37.89万
  • 项目类别:
    Standard Grant
III: Small: Collaborative Research: Automatically Generating Contextually-Relevant Visualizations
III:小:协作研究:自动生成上下文相关的可视化
  • 批准号:
    1702440
  • 财政年份:
    2016
  • 资助金额:
    $ 37.89万
  • 项目类别:
    Standard Grant
SHF: Small: Automatically Localizing Functional Faults In Deployed Software Applications
SHF:小型:自动定位已部署软件应用程序中的功能故障
  • 批准号:
    1615563
  • 财政年份:
    2016
  • 资助金额:
    $ 37.89万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了