课题基金 / 基金详情

Metamorphic slices and their applications in fault localization

Metamorphic slices and their applications in fault localization
变质切片及其在断层定位中的应用
批准号：
DP120104773
负责人：
Prof Tsong Chen
金额：
$15.07万
依托单位：
Swinburne University of Technology
依托单位国家：
澳大利亚
项目类别：
Discovery Projects
财政年份：
2012
资助国家：
澳大利亚
项目状态：
已结题
起止时间：
2012-01-01 至 2015-12-31
来源：
https://dataportal.arc.gov.au/RGS/Web/Grants/DP120104773
关键词：
Metamorphicslicestheirapplicationsfault

项目摘要

项目成果

Prof Tsong Chen的其他基金

相似基金

相关文献

中文摘要
翻译
这个项目的主要目的是提高软件的质量。预期的结果包括交付新的具有成本效益的软件调试方法，以及扩展当前的调试方法以适用于更广泛的环境。
英文摘要
The main purpose of this project is to enhance the quality of software. The expected outcomes include the delivery of new cost-effective methods to debug software, and the extension of current debugging methods to be applicable in wider contexts.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Context-aware verification and validation framework for autonomous driving
  • 批准号：
    DP210102447
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $31.52万
  • 财政年份：
    2021
  • 负责人：
    Prof Tsong Chen
  • 依托单位：
    Swinburne University of Technology
Failure-Based Testing: An In-Depth Theoretical and Experimental Study
  • 批准号：
    DP0880295
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $17.35万
  • 财政年份：
    2008
  • 负责人：
    Prof Tsong Chen
  • 依托单位：
    Swinburne University of Technology
Metamorphic Testing: An In-Depth Study to Enhance the Failure-Detection Capability of Software Testing Without an Oracle
  • 批准号：
    DP0771733
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $36.18万
  • 财政年份：
    2007
  • 负责人：
    Prof Tsong Chen
  • 依托单位：
    Swinburne University of Technology
Integration of Metamorphic Testing and Model Checking
  • 批准号：
    LX0776490
  • 项目类别：
    Linkage - International
  • 资助金额：
    $1.45万
  • 财政年份：
    2007
  • 负责人：
    Prof Tsong Chen
  • 依托单位：
    Swinburne University of Technology
国内基金
海外基金
拟富克斯空间中的Earle slices
  • 批准号：
    11626083
  • 项目类别：
    数学天元基金项目
  • 资助金额：
    3.0万元
  • 批准年份：
    2016
  • 负责人：
    李娜
  • 依托单位：
    河南大学