RIA: Debugging with Test-Based Information

RIA:使用基于测试的信息进行调试

基本信息

  • 批准号:
    8910306
  • 负责人:
  • 金额:
    $ 6.7万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1989
  • 资助国家:
    美国
  • 起止时间:
    1989-07-01 至 1992-06-30
  • 项目状态:
    已结题

项目摘要

The research has three basic goals: 1. to examine what information can be obtained from both successful and unsuccessful tests, and how that information can be used in debugging; 2. to integrate the use of the information identified into a debugger equipped with traditional functions such as breakpointing and single- stepping; and 3. to perform tests to determine the effectiveness of this method and its suitability for production use, and to enhance the mechanism based on this evaluation. This debugger would apply pruning information automatically to software being debugged, and make suggestions to the user as to where the fault under examination might be.
该研究具有三个基本目标:1。检查成功和失败的测试中可以获得哪些信息,以及如何将这些信息用于调试; 2。将确定的信息的使用集成到配备传统功能的调试器中,例如断点和单步; 3。进行测试以确定该方法的有效性及其对生产使用的适用性,并根据该评估增强机制。 该调试器将自动将修剪信息应用于要调试的软件,并向用户提出有关检查中的故障所在的建议。

项目成果

期刊论文数量(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 }}

Eugene Spafford其他文献

Eugene Spafford的其他文献

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

{{ truncateString('Eugene Spafford', 18)}}的其他基金

EAGER: Exploring the Use of Deception to Enhance Cyber Security
EAGER:探索利用欺骗手段增强网络安全
  • 批准号:
    1548114
  • 财政年份:
    2015
  • 资助金额:
    $ 6.7万
  • 项目类别:
    Standard Grant
Preparing Cyber Security Leaders
培养网络安全领导者
  • 批准号:
    1027493
  • 财政年份:
    2011
  • 资助金额:
    $ 6.7万
  • 项目类别:
    Continuing Grant
A Dual-Track Masters Degree Program for Information Security Specialists
信息安全专家双轨硕士学位课程
  • 批准号:
    0965780
  • 财政年份:
    2010
  • 资助金额:
    $ 6.7万
  • 项目类别:
    Standard Grant
SoD: Collaborative Research: Transparency and Legal Compliance in Software Systems
SoD:协作研究:软件系统的透明度和法律合规性
  • 批准号:
    0725152
  • 财政年份:
    2007
  • 资助金额:
    $ 6.7万
  • 项目类别:
    Standard Grant
CT-ISG: Designing Next-Generation, Reliable Internet Servers
CT-ISG:设计下一代可靠的互联网服务器
  • 批准号:
    0523243
  • 财政年份:
    2005
  • 资助金额:
    $ 6.7万
  • 项目类别:
    Standard Grant
Exposing Grand Challenges in Information Security & Assurance
暴露信息安全的巨大挑战
  • 批准号:
    0335324
  • 财政年份:
    2003
  • 资助金额:
    $ 6.7万
  • 项目类别:
    Continuing Grant
A Dual-Track Masters Degree Program for Information Security Specialists
信息安全专家双轨硕士学位课程
  • 批准号:
    0113730
  • 财政年份:
    2001
  • 资助金额:
    $ 6.7万
  • 项目类别:
    Continuing Grant
CISE Experimental Partnerships: Audit Trails: Content, Storage and Processing
CISE 实验合作伙伴:审核跟踪:内容、存储和处理
  • 批准号:
    9903545
  • 财政年份:
    1999
  • 资助金额:
    $ 6.7万
  • 项目类别:
    Standard Grant

相似国自然基金

蜕变测试驱动的深度学习软件调试技术研究
  • 批准号:
    61972289
  • 批准年份:
    2019
  • 资助金额:
    60 万元
  • 项目类别:
    面上项目
面向真实错误程序的高阶变异错误定位技术研究
  • 批准号:
    61902015
  • 批准年份:
    2019
  • 资助金额:
    29.0 万元
  • 项目类别:
    青年科学基金项目
Android应用的模糊测试关键技术研究
  • 批准号:
    61772056
  • 批准年份:
    2017
  • 资助金额:
    56.0 万元
  • 项目类别:
    面上项目
软件综合剖面分布模型的挖掘及测试
  • 批准号:
    61772263
  • 批准年份:
    2017
  • 资助金额:
    65.0 万元
  • 项目类别:
    面上项目
基于频繁子图挖掘和粒子群优化的软件错误定位
  • 批准号:
    61602154
  • 批准年份:
    2016
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Performance-driven SAT- and QBF-based solutions for a modern VLSI verification, debugging and test environment
性能驱动的基于 SAT 和 QBF 的解决方案,适用于现代 VLSI 验证、调试和测试环境
  • 批准号:
    227044-2009
  • 财政年份:
    2013
  • 资助金额:
    $ 6.7万
  • 项目类别:
    Discovery Grants Program - Individual
Performance-driven SAT- and QBF-based solutions for a modern VLSI verification, debugging and test environment
性能驱动的基于 SAT 和 QBF 的解决方案,适用于现代 VLSI 验证、调试和测试环境
  • 批准号:
    227044-2009
  • 财政年份:
    2012
  • 资助金额:
    $ 6.7万
  • 项目类别:
    Discovery Grants Program - Individual
Performance-driven SAT- and QBF-based solutions for a modern VLSI verification, debugging and test environment
性能驱动的基于 SAT 和 QBF 的解决方案,适用于现代 VLSI 验证、调试和测试环境
  • 批准号:
    227044-2009
  • 财政年份:
    2011
  • 资助金额:
    $ 6.7万
  • 项目类别:
    Discovery Grants Program - Individual
Performance-driven SAT- and QBF-based solutions for a modern VLSI verification, debugging and test environment
性能驱动的基于 SAT 和 QBF 的解决方案,适用于现代 VLSI 验证、调试和测试环境
  • 批准号:
    227044-2009
  • 财政年份:
    2010
  • 资助金额:
    $ 6.7万
  • 项目类别:
    Discovery Grants Program - Individual
Performance-driven SAT- and QBF-based solutions for a modern VLSI verification, debugging and test environment
性能驱动的基于 SAT 和 QBF 的解决方案,适用于现代 VLSI 验证、调试和测试环境
  • 批准号:
    227044-2009
  • 财政年份:
    2009
  • 资助金额:
    $ 6.7万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了