dean
Uploaded by
1 SLIDES
144 VUES
10LIKES

Strategic Automated Testing Using Inferred Program Properties for Enhanced Software Reliability

DESCRIPTION

This dissertation explores the integration of strategic automated testing methodologies to enhance software reliability through inferred program properties. By leveraging formal methods, the research aims to generate, execute, and inspect tests efficiently while addressing practical challenges in the industry. The focus is on optimizing test generation, detection of redundant tests, and selecting behavior-exposing tests, ultimately aligning testing efforts with cost, time, and quality goals. The findings contribute to better approaches in automated testing, significantly impacting software development practices.

1 / 1

Télécharger la présentation

Strategic Automated Testing Using Inferred Program Properties for Enhanced Software Reliability

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Strategic Automated Testing with Inferred Program Properties cost cost cost cost Tao Xie (taoxie@cs.washington.edu) Advisor: David NotkinCSEDept., University of Washington, Seattle • Software testing is mainly used to find bugs or increase confidence • Automated testing tools are increasingly in need to fill holes left over by manual/no tests • Automated testing needs to be a strategic approach to meet benefit, cost, schedule, and quality constraints • My dissertation is about exploiting inferred program properties to do strategic automated testing GenerationExecutionInspection • Practical problems • Strategic formal-method-based solutions • Industry impact Inspection Test generation • Detect redundant tests for Java code [ASE 04] • Detect redundant tests for AspectJ code [UWCSE-041003] • Generate tests based on concrete states [UWCSE-040105] • Generate tests based on symbolic states [UWCSE-041002] State-equivalence properties Test abstraction State-equivalence properties • Extract observer abstractions [ICFEM 04] • Extract sliced object state machines [SAVCBS 04] program properties State-equivalence properties Axiomatic properties Statisticalalgebraic properties Test selection Regression testing infer • Select new-behavior-exposing tests based on operational violations [ASE 03] • Select common and special tests based on statistical algebraic abstractions [UWCSE-040803] [OOPSLA Companion 04] • Check inside the black box: compare value spectra from two versions [ICSM 04] Program Test 1 Test 1 Test 1 Test 1 Feedback loop [FATES 03] GenerationInspection Inspection http://www.cs.washington.edu/homes/taoxie/publications.htm

More Related