SHF: Medium: Collaborative Research: Regression Testing Techniques for Real-world Software Systems
SHF: Medium: Collaborative Research: Regression Testing Techniques for Real-world Software Systems
批准号:
1161821
负责人:
Alessandro Orso
金额:
$87.51万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2012
资助国家:
美国
项目状态:
已结题
起止时间:
2012-07-01 至 2019-06-30
中文摘要
报告估计,回归测试,即软件系统修改后重新测试的活动,可以消耗高达50%的软件开发和维护成本。虽然有许多技术可以降低回归测试的成本,但大多数都没有考虑到现代系统的重要特征,例如产品线,Web应用程序,面向服务的架构和基于云的应用程序。 这些系统越来越异构:它们可能来自不同的来源,可能用不同的语言编写,并且可能以不同的格式访问(例如,源代码、二进制代码或通过远程接口)。此外,现代软件通常依赖于环境:其行为不仅会受到代码变化的影响,还会受到其复杂环境变化的影响(例如,数据库、配置文件和网络布局)。 由于大多数现有的回归测试技术不考虑这些特点,这些技术的应用可能会导致不充分的测试软件,在维护过程中的问题,并最终降低软件质量。真实世界的软件,并考虑其特点和复杂性。为了实现这一目标,本研究将首先扩展回归测试方法所依赖的分析技术,如系统建模,版本差异,覆盖率分析和影响分析。然后,研究将利用这些基本技术来开发,与工业合作伙伴一起评估,并提供一系列回归测试技术和工具,这些技术和工具可以(1)构建异构的,环境相关的软件系统的综合模型,(2)在系统的整个生命周期中发展这些模型,(3)分析模型间的变化,以了解它们对系统行为的影响,并有效地重新测试它们。这项研究的影响将是多方面的。首先,所开发的严格的、变革性的和高度自动化的技术将有助于提高当今大型复杂软件系统的质量,从而使依赖软件的社会各阶层受益。第二,所产生的工具和基础设施的发布将使其他研究人员和从业人员能够在我们的结果基础上进行构建,从而促进知识和理解。最后,研究结果将纳入课程材料,提供给更广泛的科学界,这将有助于培养具有全球竞争力的劳动力,并进一步造福社会。
英文摘要
Reports estimate that regression testing, which is the activity of retesting a software system after it has been modified, can consume up to 50% of the cost of software development and maintenance. Although there are many techniques that can reduce the cost of regression testing, most of them do not account for important characteristics of modern systems, such as product lines, web applications, service-oriented architectures, and cloud-based applications. These systems are increasingly heterogeneous: they may come from different sources, may be written in different languages, and may be accessible in different formats (e.g., source code, binary code, or through remote interfaces). Moreover, modern software is often environment dependent: its behavior can be affected not only by changes in the code, but also by changes in its complex environment (e.g., databases, configuration files, and network layouts). Because most existing regression-testing techniques do not account for these characteristics, the application of these techniques can result in inadequately tested software, problems during maintenance, and ultimately poor software quality.The overall goal of this research is to go beyond the state of the art in regression testing by defining novel approaches that can be applied to modern, real-world software and account for its characteristics and complexity. To achieve this goal, the research will first extend analysis techniques on which regression-testing approaches rely, such as system modeling, version differencing, coverage analysis, and impact analysis. The research will then leverage these fundamental techniques to develop, evaluate with industrial partners, and make available a family of regression testing techniques and tools that can (1) build comprehensive models of heterogeneous, environment-dependent software systems, (2) evolve these models throughout the systems' lifetimes, and (3) analyze the changes across models to understand their effects on the systems' behavior and retest them effectively and efficiently. The impact of the research will be manyfold. First, the rigorous, transformative, and highly automated techniques developed will help improve the quality of today's large, complex software systems, thus benefitting all segments of society that depend on software. Second, the release of the produced tools and infrastructure will let other researchers and practitioners build on our results, advancing knowledge and understanding. Finally, the research findings will be integrated in curriculum materials that will be made available to the broader scientific community, which will help prepare a globally competitive workforce and further benefit society.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: SHF: Medium: A General Framework for Automated Test Transfer
-
批准号:2107125
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2021
-
负责人:Alessandro Orso
-
依托单位:
SHF: Medium: Spectral Profiling: Understanding Software Performance without Code Instrumentation
-
批准号:1563991
-
项目类别:Standard Grant
-
资助金额:$85.0万
-
财政年份:2016
-
负责人:Alessandro Orso
-
依托单位:
EAGER: Collaborative Research: Leveraging Graph Databases for Incremental and Scalable Symbolic Analysis and Verification of Web Applications
-
批准号:1548856
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2015
-
负责人:Alessandro Orso
-
依托单位:
I-Corps: Capturing Field Data for Mobile Applications
-
批准号:1522518
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2015
-
负责人:Alessandro Orso
-
依托单位:
SHF: Small: BugX: In-house Debugging of Field Failures to Improve Software Quality
-
批准号:1320783
-
项目类别:Standard Grant
-
资助金额:$43.5万
-
财政年份:2013
-
负责人:Alessandro Orso
-
依托单位:
TC: Small: Collaborative Research: Viewpoints: Discovering Client- and Server-side Input Validation Inconsistencies to Improve Web Application Security
-
批准号:1117167
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2011
-
负责人:Alessandro Orso
-
依托单位:
SHF: Medium: MEDITA - Multi-Layer Enterprise-Wide Dynamic Information-Flow Tracking and Assurance
-
批准号:0964647
-
项目类别:Standard Grant
-
资助金额:$90.0万
-
财政年份:2010
-
负责人:Alessandro Orso
-
依托单位:
SHF: Small: Automated Debugging Techniques for Modern Software Systems
-
批准号:0916605
-
项目类别:Standard Grant
-
资助金额:$44.52万
-
财政年份:2009
-
负责人:Alessandro Orso
-
依托单位:
Collaborative Research: SoD-TEAM: Designing Tests for Evolving Software Systems
-
批准号:0725202
-
项目类别:Standard Grant
-
资助金额:$34.2万
-
财政年份:2008
-
负责人:Alessandro Orso
-
依托单位:
Collaborative Research: Software and Hardware Support for Efficient Monitoring of Program Behavior
-
批准号:0541080
-
项目类别:Standard Grant
-
资助金额:$35.0万
-
财政年份:2006
-
负责人:Alessandro Orso
-
依托单位:
海外基金