1 / 7

Overview

ECE 453 – CS 447 – SE 465 Software Testing & Quality Assurance Case Studies Instructor Paulo Alencar. Overview. Selecting an integration testing strategy Some OO integration testing strategies are compared.

Download Presentation

Overview

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. ECE 453 – CS 447 – SE 465 Software Testing & Quality AssuranceCase StudiesInstructorPaulo Alencar

  2. Overview • Selecting an integration testing strategy • Some OO integration testing strategies are compared. • Six real-world case studies of various complexities are considered (e.g., small telecommunications software, Swing Java Library) • Optimization problem – minimization of the number of stubs to the written (cost) and the number of steps needed to achieve the integration (duration) • Hahn, V., Akif, K., Traon, Y., Jezequel, J., Selecting an Efficient OO Integration Strategy: An Experimental Evaluation of Data Dependence Analysis Techniques, IEEE Transactions on Parallel and Distributed Systems, vol. 15, no. 3, pp. 196-213, March 2004.

  3. Main Results • Perfect Club Benchmarks, Scientific Library Lapack – Fortran • Perfect Club Benchmarks – collection of scientific • and engineering Fortran 77 programs executed in • high-performance computers • Scientific Library Lapack – a numerical linear algebra library • of Fortran 77 programs for high-performance computers • Polaris compiler (Illinois/Purdue) – restructuring compiler • that automatically parallelizes Fortran programs for execution • on shared memory multiprocessors • Polaris was extended to perform the following tests: the Banerjee • test, I-test, and the Omega test

  4. Main Results • Data dependence: two statements are dependent if both access • the same memory location and at least one of them writes on it • In the presence of data dependence the order of execution in the • original program needs to be preserved. Statements that are not • data dependent may be executed in any order and, therefore, in • parallel • For scalar variables, traditional dataflow analysis can obtain • the data dependence relations (e.g., a sequential loop can be • transformed into a parallel loop if it does not contain loop • carried dependences) • For arrays, the problem is more complicated • and the compiler must examine the subscript expressions • (i.e., determine integer solutions with constraints)

  5. Main Results The Perfect Club Benchmarks: The Scientific Library Lapack:

  6. Main Results The Perfect Club Benchmarks: The Scientific Library Lapack:

  7. Main Results The Scientific Library Lapack:

More Related