课题基金 / 基金详情

RE-COST: REducing the Cost of Oracles for Software Testing

RE-COST: REducing the Cost of Oracles for Software Testing
RE-COST:降低软件测试的 Oracle 成本
批准号:
EP/I010165/1
负责人:
Mark Harman
金额:
$45.1万
依托单位:
依托单位国家:
英国
项目类别:
Research Grant
财政年份:
2011
资助国家:
英国
项目状态:
已结题
起止时间:
2011 至 --

项目摘要

项目成果

Mark Harman的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Testing involves examining the behaviour of a system in order to discover potential faults. The problem of determining the desired correct behaviour for a given input is called the Oracle Problem. Since manual testing is expensive and time consuming there has been a great deal of work on automation and part automation of Software Testing. Unfortunately, it is often impossible to fully automate the process of determining whether the system behaves correctly. This must be performed by a human, and the cost of the effort expended is referred to as the Human Oracle Cost.RE-COST will develop Search-Based Optimisation techniques to attack the Human Oracle Cost problem quantitatively and qualitatively. The quantitative approach will develop methods and algorithms to both reduce the number of test cases and the evaluation effort per test case. The qualitative approach will develop methods and algorithms that will reduce test case cognition time.The RE-COST project seeks to transform the way that researchers and practitioners think about the problem of Software Test Data Generation. This has the potential to provide a breakthrough in Software Testing, dramatically increasing real world industrial uptake of automated techniques for Software Test Data Generation.
期刊论文(2)
专著(0)
科研奖励(0)
会议论文
DOI: 10.1109/icse.2015.71
发表时间: 2015-05
期刊: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering
影响因子: --
作者: [Yue Jia;Myra B. Cohen;M. Harman;J. Petke]
通讯作者: Yue Jia;Myra B. Cohen;M. Harman;J. Petke
DOI: 10.1109/tse.2014.2372785
发表时间: 2015-05-01
期刊: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
影响因子: 7.4
作者: [Barr, Earl T., Harman, Mark, Yoo, Shin]
通讯作者: Yoo, Shin
GGGP: Grow and Graft Genetic Programming
  • 批准号:
    EP/M025853/1
  • 项目类别:
    Research Grant
  • 资助金额:
    $74.1万
  • 财政年份:
    2015
  • 负责人:
    Mark Harman
  • 依托单位:
GISMO: Genetic Improvement of Software for Multiple Objectives
  • 批准号:
    EP/I033688/1
  • 项目类别:
    Research Grant
  • 资助金额:
    $64.02万
  • 财政年份:
    2011
  • 负责人:
    Mark Harman
  • 依托单位:
CREST: Centre for Research on Evolution, Search and Testing, Platform Grant.
  • 批准号:
    EP/G060525/2
  • 项目类别:
    Research Grant
  • 资助金额:
    $0.36万
  • 财政年份:
    2010
  • 负责人:
    Mark Harman
  • 依托单位:
SEBASE: Software Engineering By Automated SEarch
  • 批准号:
    EP/D050863/2
  • 项目类别:
    Research Grant
  • 资助金额:
    $0.0万
  • 财政年份:
    2010
  • 负责人:
    Mark Harman
  • 依托单位:
国内基金
海外基金
COST1通过P小体调控植物渗透胁迫响应的机制研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2025
  • 负责人:
    许亢
  • 依托单位:
COST1蛋白动态在调控自噬及植物抗旱中的机制研究
  • 批准号:
    --
  • 项目类别:
    面上项目
  • 资助金额:
    58万元
  • 批准年份:
    2021
  • 负责人:
    包岩
  • 依托单位:
电渣重熔625℃超超临界汽轮机转子用钢COST-FB2冶金学基础研究
  • 批准号:
    51974076
  • 项目类别:
    面上项目
  • 资助金额:
    60.0万元
  • 批准年份:
    2019
  • 负责人:
    耿鑫
  • 依托单位: