SHF: Medium: Automated Graphical User Interface Testing with Learning

SHF:中:自动化图形用户界面测试与学习

基本信息

  • 批准号:
    1409872
  • 负责人:
  • 金额:
    $ 85万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2014
  • 资助国家:
    美国
  • 起止时间:
    2014-08-01 至 2020-07-31
  • 项目状态:
    已结题

项目摘要

Smartphones and tablets with rich graphical user interfaces (GUIs) arebecoming increasingly popular. Hundreds of thousands of specializedapplications, called apps, are already available for these mobileplatforms, and the number of newly released apps continues toincrease. The complexity of these apps lies often in the userinterface, with data processing either minor, or delegated to abackend component. A similar situation exists in applications usingthe software-as-a-service architecture, where the client-sidecomponent consists mostly of user interface code. Testing suchapplications predominantly involves GUI testing. Existing automatictechniques for testing these interfaces either require a priori modelsof the interface and are thus hard to use, or operate blindly bysending random user events to the application and are typically unableto test the application in satisfactory depth.This project investigates automatic GUI testing techniques thatsystematically explore the state space of an application withoutrequiring an a priori defined model. One insight behind this projectis that the automatic construction of a model of the user interfaceand the testing of the interface are tasks that can cooperate in amutually beneficial way. Furthermore, a guiding principle throughoutthis research is to design algorithms that operate with abstractionsand heuristics that are simple enough to be understood by humans whodo not necessarily understand the internals of the tested app. Suchalgorithms are easier to comprehend and to incorporate into awholistic test process that includes automated techniques, such as theones developed in this project, and manual testing and guidance. Thetechniques developed in this project benefit directly programmers forthese apps, and indirectly the numerous users of mobile and webapplications.
具有丰富图形用户界面(GUI)的智能手机和平板电脑越来越受欢迎。 这些MobilePlatForms已经可用数十万个称为应用程序的专用应用程序,并且新发布的应用程序的数量继续进行。 这些应用程序的复杂性通常位于用户接口中,数据处理次要或委派成组件。使用软件即服务体系结构的应用程序中也存在类似的情况,其中客户端式组件主要由用户界面代码组成。 测试此类应用主要涉及GUI测试。用于测试这些接口的现有自动化技术要么需要界面的先验模型,因此很难使用,或者通过将随机用户事件用于应用程序盲目操作,并且通常会以令人满意的深度来测试应用程序。该项目研究自动GUI测试技术,以探索适用于一位预先设置的应用程序的系统,以探索该应用程序的状态。 该项目背后的一个见解是,自动构建用户间交易模型的界面测试是可以以非常有益的方式合作的任务。此外,整个研究过程中的指导原则是设计具有抽象和启发式方法的算法,这些算法很简单,以至于人类不一定了解测试应用程序的内部内容。这样的Algorithms更容易理解,并将其纳入包括自动化技术(例如本项目中开发的Theones)以及手动测试和指导的令人难以置信的测试过程中。 该项目中开发的thetechniques直接受益于程序员,并间接地是移动和网络应用程序的众多用户。

项目成果

期刊论文数量(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 }}

Koushik Sen其他文献

Multiversion Hindsight Logging for Continuous Training
用于持续培训的多版本事后日志记录
  • DOI:
    10.48550/arxiv.2310.07898
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Rolando Garcia;Anusha Dandamudi;Gabriel Matute;Lehan Wan;Joseph Gonzalez;J. M. Hellerstein;Koushik Sen
  • 通讯作者:
    Koushik Sen
DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines
DSPy 断言:自精炼语言模型管道的计算约束
  • DOI:
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Arnav Singhvi;Manish Shetty;Shangyin Tan;Christopher Potts;Koushik Sen;Matei Zaharia;O. Khattab
  • 通讯作者:
    O. Khattab
Automated Test Generation Using Concolic Testing
使用 Concolic 测试自动生成测试
Zoomie: A Software-like Debugging Tool for FPGAs
Zoomie:一款类似软件的 FPGA 调试工具
TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications
TesMa 和 CATG:企业应用程序模型的自动测试生成工具

Koushik Sen的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Koushik Sen', 18)}}的其他基金

SHF: Small: Automatic Exploration and Analysis of Software Performance Responses
SHF:小型:软件性能响应的自动探索和分析
  • 批准号:
    1908870
  • 财政年份:
    2019
  • 资助金额:
    $ 85万
  • 项目类别:
    Standard Grant
SHF: Medium: Collaborative Research: HUGS: Human-Guided Software Testing and Analysis for Scalable Bug Detection and Repair
SHF:中:协作研究:HUGS:用于可扩展错误检测和修复的人工引导软件测试和分析
  • 批准号:
    1900968
  • 财政年份:
    2019
  • 资助金额:
    $ 85万
  • 项目类别:
    Continuing Grant
SaTC: CORE: Small: Machine Learning for Effective Fuzz Testing
SaTC:核心:小型:用于有效模糊测试的机器学习
  • 批准号:
    1817122
  • 财政年份:
    2018
  • 资助金额:
    $ 85万
  • 项目类别:
    Standard Grant
SHF: Small: A Dynamic Analysis and Test Generation Framework for JavaScript and Web Applications
SHF:小型:JavaScript 和 Web 应用程序的动态分析和测试生成框架
  • 批准号:
    1423645
  • 财政年份:
    2014
  • 资助金额:
    $ 85万
  • 项目类别:
    Standard Grant
SHF: Small: Directed Testing and Debugging of Concurrent Programs
SHF:小型:并发程序的定向测试和调试
  • 批准号:
    1018729
  • 财政年份:
    2010
  • 资助金额:
    $ 85万
  • 项目类别:
    Standard Grant
SHF: Small: Specifying and Verifying Essential Deterministic Behavior of Concurrent Programs
SHF:小:指定和验证并发程序的基本确定性行为
  • 批准号:
    1018730
  • 财政年份:
    2010
  • 资助金额:
    $ 85万
  • 项目类别:
    Standard Grant
CAREER: Scalable Automated Software Testing and Repair
职业:可扩展的自动化软件测试和修复
  • 批准号:
    0747390
  • 财政年份:
    2008
  • 资助金额:
    $ 85万
  • 项目类别:
    Continuing Grant
CSR --- SMA: Predictive Testing of System Software
CSR --- SMA:系统软件的预测测试
  • 批准号:
    0720906
  • 财政年份:
    2007
  • 资助金额:
    $ 85万
  • 项目类别:
    Continuing Grant

相似国自然基金

复合低维拓扑材料中等离激元增强光学响应的研究
  • 批准号:
    12374288
  • 批准年份:
    2023
  • 资助金额:
    52 万元
  • 项目类别:
    面上项目
基于管理市场和干预分工视角的消失中等企业:特征事实、内在机制和优化路径
  • 批准号:
    72374217
  • 批准年份:
    2023
  • 资助金额:
    41.00 万元
  • 项目类别:
    面上项目
托卡马克偏滤器中等离子体的多尺度算法与数值模拟研究
  • 批准号:
    12371432
  • 批准年份:
    2023
  • 资助金额:
    43.5 万元
  • 项目类别:
    面上项目
中等质量黑洞附近的暗物质分布及其IMRI系统引力波回波探测
  • 批准号:
    12365008
  • 批准年份:
    2023
  • 资助金额:
    32 万元
  • 项目类别:
    地区科学基金项目
中等垂直风切变下非对称型热带气旋快速增强的物理机制研究
  • 批准号:
    42305004
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

SHF: Medium: Automated Software Engineering Techniques for Improving the Accessibility of Software
SHF:中:用于提高软件可访问性的自动化软件工程技术
  • 批准号:
    2211790
  • 财政年份:
    2022
  • 资助金额:
    $ 85万
  • 项目类别:
    Continuing Grant
Collaborative Research: SHF: Medium: Automated energy-efficient sensor data winnowing using native analog processing
协作研究:SHF:中:使用本机模拟处理进行自动节能传感器数据筛选
  • 批准号:
    2212346
  • 财政年份:
    2022
  • 资助金额:
    $ 85万
  • 项目类别:
    Continuing Grant
Collaborative Research: SHF: Medium: Automated energy-efficient sensor data winnowing using native analog processing
协作研究:SHF:中:使用本机模拟处理进行自动节能传感器数据筛选
  • 批准号:
    2212345
  • 财政年份:
    2022
  • 资助金额:
    $ 85万
  • 项目类别:
    Continuing Grant
CCF:SHF:Medium: Automated End-to-End Synthesis for Programmable Analog & Mixed-Signal Systems
CCF:SHF:Medium:可编程模拟的自动端到端综合
  • 批准号:
    2212179
  • 财政年份:
    2022
  • 资助金额:
    $ 85万
  • 项目类别:
    Continuing Grant
Collaborative Research: SHF: Medium: A General Framework for Automated Test Transfer
合作研究:SHF:Medium:自动化测试传输的通用框架
  • 批准号:
    2106871
  • 财政年份:
    2021
  • 资助金额:
    $ 85万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了