Flexible Automated Software Test Generation Using AI Planning Technology
Flexible Automated Software Test Generation Using AI Planning Technology
批准号:
9619787
负责人:
Anneliese Andrews
金额:
$15.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1997
资助国家:
美国
项目状态:
已结题
起止时间:
1997-08-15 至 2000-07-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
9619787 Software testing is a critical part of software development. A new approach to software testing based on AI Planning is investigated. The similarity of plans to test cases for some systems (e.g., command language and transaction based systems) makes the representation well suited for test generation. The representation encourages testers to think at a higher level when designing tests. To exploit these potential advantages, an automated test generator is constructed with an AI planning system at its core. This generator allows representation of testing goals and testing criteria to support a variety of testing tasks. The project's contribution to Software Testing is to extend how testing goals are articulated. Its contribution to AI planning is developing new search strategies for efficient planning, and determining how to generate goals that conform to tester's intent, and evaluating the efficacy of using AI planners during software testing. Tasks include 1) improve planning efficiency for generating large tests; 2) include representation of test focus and various test criteria to make the approach flexible; 3) represent high level testing goals to reduce tedium for testers; 4) evaluate the efficacy of the new approach to identify strengths and weaknesses of using AI Planning for testing. ***
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
I/UCRC Phase I: Robots and Sensors for the Human Well-being
-
批准号:1439693
-
项目类别:Continuing Grant
-
资助金额:$32.5万
-
财政年份:2014
-
负责人:Anneliese Andrews
-
依托单位:
I/UCRC FRP: Collaborative Research: A Software Framework for Controlling Multi-Robot Teams
-
批准号:1332078
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2013
-
负责人:Anneliese Andrews
-
依托单位:
I/UCRC: Collaborative Research: Detecting cancer using advanced computer vision techniques
-
批准号:1230556
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2012
-
负责人:Anneliese Andrews
-
依托单位:
I/UCRC Collaborative Research: A Testing Methodology and Testbed for Miniature Robots
-
批准号:1127947
-
项目类别:Standard Grant
-
资助金额:$11.99万
-
财政年份:2011
-
负责人:Anneliese Andrews
-
依托单位:
RAPID: CRAWLER Robot with Dual-Use Limbed Locomotion and Manipulation for Void Inspection
-
批准号:1138674
-
项目类别:Standard Grant
-
资助金额:$5.64万
-
财政年份:2011
-
负责人:Anneliese Andrews
-
依托单位:
Collaborative Research: I/UCRC for Safety, Security, and Rescue Research
-
批准号:0934413
-
项目类别:Continuing Grant
-
资助金额:$22.0万
-
财政年份:2009
-
负责人:Anneliese Andrews
-
依托单位:
海外基金