课题基金 / 基金详情

Automated software testing with context-free grammars and covering arrays

Automated software testing with context-free grammars and covering arrays
使用上下文无关语法和覆盖数组进行自动化软件测试
批准号:
8067-2011
负责人:
Hoffman, Daniel
金额:
$1.46万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2013
资助国家:
加拿大
项目状态:
已结题
起止时间:
2013-01-01 至 2014-12-31

项目摘要

项目成果

Hoffman, Daniel的其他基金

相似基金

相关文献

中文摘要
翻译
计算机软件在现代世界中发挥着核心作用:在互联网和消费电子产品中,以及在发电、提炼化学品和制造汽车的工厂中。软件漏洞是昂贵的,每年花费数十亿美元来修复。软件测试是在软件发布使用之前发现错误的主要方法。
英文摘要
Computer software plays a central role in the modern world: in the Internet and consumer electronics, but also in the plants which generate electrical power, refine chemicals and manufacture automobiles. Software bugs are expensive, costing billions per year to repair. Software testing is the primary way that bugs are discovered before software is released for use.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Automated software testing with context-free grammars and covering arrays
  • 批准号:
    8067-2011
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $1.46万
  • 财政年份:
    2015
  • 负责人:
    Hoffman, Daniel
  • 依托单位:
Automated software testing with context-free grammars and covering arrays
  • 批准号:
    8067-2011
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $1.46万
  • 财政年份:
    2014
  • 负责人:
    Hoffman, Daniel
  • 依托单位:
Automated software testing with context-free grammars and covering arrays
  • 批准号:
    8067-2011
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $1.46万
  • 财政年份:
    2012
  • 负责人:
    Hoffman, Daniel
  • 依托单位:
Automated software testing with context-free grammars and covering arrays
  • 批准号:
    8067-2011
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $1.46万
  • 财政年份:
    2011
  • 负责人:
    Hoffman, Daniel
  • 依托单位:
国内基金
海外基金
低辐射空间环境下商用多核处理器层次化软件容错技术研究
  • 批准号:
    90818016
  • 项目类别:
    重大研究计划
  • 资助金额:
    50.0万元
  • 批准年份:
    2008
  • 负责人:
    傅忠传
  • 依托单位: