Testing and Debugging: Connecting Research with Practice
Testing and Debugging: Connecting Research with Practice
批准号:
203247-2012
负责人:
Andrews, James
金额:
$2.04万
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2012
资助国家:
加拿大
项目状态:
已结题
起止时间:
2012-01-01 至 2013-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
The overall objectives of the proposed research are to create and analyze tools and techniques for testing and debugging high-quality software, and to make those tools and techniques available to a large number of people. The research is in four specific areas: randomized unit testing, adequacy criteria, effectiveness measurement and fault localization.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Testing and Debugging: Connecting Research with Practice
-
批准号:203247-2012
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.32万
-
财政年份:2013
-
负责人:Andrews, James
-
依托单位:
Development of high-quality, accessible software
-
批准号:203247-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.09万
-
财政年份:2011
-
负责人:Andrews, James
-
依托单位:
Contact and discussions with Research in Motion (RIM)
-
批准号:401466-2010
-
项目类别:Interaction Grants Program
-
资助金额:$0.01万
-
财政年份:2010
-
负责人:Andrews, James
-
依托单位:
Efficient, effective methods of software verification and validation
-
批准号:203247-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.09万
-
财政年份:2010
-
负责人:Andrews, James
-
依托单位:
Software testing: creating smart, flexible tests from brittle recorded tests
-
批准号:411411-2010
-
项目类别:Engage Grants Program
-
资助金额:$0.78万
-
财政年份:2010
-
负责人:Andrews, James
-
依托单位:
Efficient, effective methods of software verification and validation
-
批准号:203247-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.09万
-
财政年份:2009
-
负责人:Andrews, James
-
依托单位:
Efficient, effective methods of software verification and validation
-
批准号:203247-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.09万
-
财政年份:2008
-
负责人:Andrews, James
-
依托单位:
Efficient, effective methods of software verification and validation
-
批准号:203247-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.09万
-
财政年份:2007
-
负责人:Andrews, James
-
依托单位:
Efficient, effective methods of software verification and validation
-
批准号:203247-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.09万
-
财政年份:2006
-
负责人:Andrews, James
-
依托单位:
Applications of logic and state machines to software engineering
-
批准号:203247-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.97万
-
财政年份:2005
-
负责人:Andrews, James
-
依托单位:
Applications of logic and state machines to software engineering
-
批准号:203247-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.97万
-
财政年份:2004
-
负责人:Andrews, James
-
依托单位:
Applications of logic and state machines to software engineering
-
批准号:203247-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.97万
-
财政年份:2003
-
负责人:Andrews, James
-
依托单位:
Applications of logic and state machines to software engineering
-
批准号:203247-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.97万
-
财政年份:2002
-
负责人:Andrews, James
-
依托单位:
Formal methods in software specification, testing and varification
-
批准号:203247-1998
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.35万
-
财政年份:2001
-
负责人:Andrews, James
-
依托单位:
Formal methods in software specification, testing and varification
-
批准号:203247-1998
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.35万
-
财政年份:2000
-
负责人:Andrews, James
-
依托单位:
Formal methods in software specification, testing and varification
-
批准号:203247-1998
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.35万
-
财政年份:1999
-
负责人:Andrews, James
-
依托单位:
Formal methods in software specification, testing and varification
-
批准号:203247-1998
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.28万
-
财政年份:1998
-
负责人:Andrews, James
-
依托单位:
海外基金