Flexible Automated Software Test Generation Using AI Planning Technology
使用 AI 规划技术灵活地自动生成软件测试
基本信息
- 批准号:9619787
- 负责人:
- 金额:$ 15万
- 依托单位:
- 依托单位国家:美国
- 项目类别: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. ***
9619787软件测试是软件开发的关键部分。研究了一种基于人工智能规划的软件测试新方法。一些系统(例如,命令语言和基于事务的系统)的测试用例计划的相似性使得这种表示非常适合于测试生成。这种表示鼓励测试人员在设计测试时进行更高层次的思考。为了利用这些潜在的优势,构建了一个以人工智能规划系统为核心的自动化测试生成器。该生成器允许表示测试目标和测试标准,以支持各种测试任务。项目对软件测试的贡献是扩展了测试目标的表达方式。它对AI计划的贡献是为有效的计划开发新的搜索策略,并确定如何生成符合测试人员意图的目标,以及评估在软件测试期间使用AI计划器的有效性。任务包括:1)提高生成大型测试的计划效率;2)包括测试焦点和各种测试标准的表示,使方法灵活;3)表示高水平的测试目标,以减少测试人员的单调乏味;4)评估新方法的有效性,以确定使用AI规划进行测试的优势和劣势。***
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Anneliese Andrews其他文献
A case study of black box fail-safe testing in web applications
- DOI:
10.1016/j.jss.2016.09.031 - 发表时间:
2017-09-01 - 期刊:
- 影响因子:
- 作者:
Salah Boukhris;Anneliese Andrews;Ahmed Alhaddad;Rinku Dewri - 通讯作者:
Rinku Dewri
Black-box model-based regression testing of fail-safe behavior in web applications
- DOI:
10.1016/j.jss.2018.11.020 - 发表时间:
2019-03-01 - 期刊:
- 影响因子:
- 作者:
Anneliese Andrews;Ahmed Alhaddad;Salah Boukhris - 通讯作者:
Salah Boukhris
Classification of hyperactivated spermatozoa using a robust minimum bounding square ratio algorithm
使用稳健的最小边界平方比算法对过度活跃的精子进行分类
- DOI:
- 发表时间:
2009 - 期刊:
- 影响因子:0
- 作者:
N. Kaula;Anneliese Andrews;Catherine S. Durso;Christopher Dixon;J. Graham - 通讯作者:
J. Graham
Robustness Testing of Safety-critical Systems: A Portable Insulin Pump Application
安全关键系统的稳健性测试:便携式胰岛素泵应用
- DOI:
10.1109/csci51800.2020.00322 - 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
Aiman Gannous;Anneliese Andrews;L. Alhazzaa - 通讯作者:
L. Alhazzaa
Regression Testing of Mobile Apps
移动应用程序的回归测试
- DOI:
10.1109/csci54926.2021.00055 - 发表时间:
2021 - 期刊:
- 影响因子:0
- 作者:
Zeinab Abdalla;Anneliese Andrews;Ahmed Alhaddad - 通讯作者:
Ahmed Alhaddad
Anneliese Andrews的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Anneliese Andrews', 18)}}的其他基金
I/UCRC Phase I: Robots and Sensors for the Human Well-being
I/UCRC 第一阶段:造福人类福祉的机器人和传感器
- 批准号:
1439693 - 财政年份:2014
- 资助金额:
$ 15万 - 项目类别:
Continuing Grant
I/UCRC FRP: Collaborative Research: A Software Framework for Controlling Multi-Robot Teams
I/UCRC FRP:协作研究:控制多机器人团队的软件框架
- 批准号:
1332078 - 财政年份:2013
- 资助金额:
$ 15万 - 项目类别:
Standard Grant
I/UCRC: Collaborative Research: Detecting cancer using advanced computer vision techniques
I/UCRC:合作研究:使用先进的计算机视觉技术检测癌症
- 批准号:
1230556 - 财政年份:2012
- 资助金额:
$ 15万 - 项目类别:
Standard Grant
I/UCRC Collaborative Research: A Testing Methodology and Testbed for Miniature Robots
I/UCRC 合作研究:微型机器人的测试方法和测试平台
- 批准号:
1127947 - 财政年份:2011
- 资助金额:
$ 15万 - 项目类别:
Standard Grant
RAPID: CRAWLER Robot with Dual-Use Limbed Locomotion and Manipulation for Void Inspection
RAPID:具有两用肢体运动和操纵功能的履带式机器人,用于空隙检查
- 批准号:
1138674 - 财政年份:2011
- 资助金额:
$ 15万 - 项目类别:
Standard Grant
Collaborative Research: I/UCRC for Safety, Security, and Rescue Research
合作研究:I/UCRC 安全、安保和救援研究
- 批准号:
0934413 - 财政年份:2009
- 资助金额:
$ 15万 - 项目类别:
Continuing Grant
相似海外基金
TELEMETRY - Trustworthy mEthodologies, open knowLedgE & autoMated tools for sEcurity Testing of IoT software, haRdware & ecosYstems
遥测 - 值得信赖的方法,开放的知识
- 批准号:
10087006 - 财政年份:2023
- 资助金额:
$ 15万 - 项目类别:
EU-Funded
Round 6 Cont. Development and Application of Certification Metrology for Automated Software-based Spatial Target Characterisation
第 6 轮(续)
- 批准号:
10061924 - 财政年份:2023
- 资助金额:
$ 15万 - 项目类别:
Collaborative R&D
23-016713 NHLBI, ITAC REQUIRES RENEWAL OF ITS INFRASTRUCTURE AS CODE (IAC) SOFTWARE SOLUTION, CHEF, IN ORDER TO SUPPORT NHLBI'S MISSION NEEDS FOR THE AUTOMATED CONFIGURATION AND MANAGEMENT OF NHLBI S
23-016713 NHLBI、ITAC 要求更新其基础设施作为代码 (IAC) 软件解决方案、CHEF,以支持 NHLBI 对 NHLBI S 的自动化配置和管理的任务需求
- 批准号:
10974181 - 财政年份:2023
- 资助金额:
$ 15万 - 项目类别:
Enhancing Automated Software Evolution via Building and Utilizing Large-Scale Software Evolution Corpora
通过构建和利用大规模软件演进语料库增强自动化软件演进
- 批准号:
22H03567 - 财政年份:2022
- 资助金额:
$ 15万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
SHF: Medium: Automated Software Engineering Techniques for Improving the Accessibility of Software
SHF:中:用于提高软件可访问性的自动化软件工程技术
- 批准号:
2211790 - 财政年份:2022
- 资助金额:
$ 15万 - 项目类别:
Continuing Grant
Automated Testing of Software Systems
软件系统的自动化测试
- 批准号:
CRC-2018-00051 - 财政年份:2022
- 资助金额:
$ 15万 - 项目类别:
Canada Research Chairs
Systematic and Automated Software Migration via Model-Driven Engineering
通过模型驱动工程实现系统化、自动化的软件迁移
- 批准号:
RGPIN-2020-05713 - 财政年份:2022
- 资助金额:
$ 15万 - 项目类别:
Discovery Grants Program - Individual
Fully Automated Software Logging
全自动软件记录
- 批准号:
RGPIN-2018-04932 - 财政年份:2022
- 资助金额:
$ 15万 - 项目类别:
Discovery Grants Program - Individual
Software for automated diagnosis of upper gastro-intestinal examination with contrast media
使用造影剂进行上消化道检查自动诊断的软件
- 批准号:
22K07728 - 财政年份:2022
- 资助金额:
$ 15万 - 项目类别:
Grant-in-Aid for Scientific Research (C)