'Code instrumentation' diaporamas de présentation

Isolated Parameterized Unit Testing with Pex and Moles

1.18k views • 109 slides

Dynamically Discovering Likely Program Invariants to Support Program Evolution

Dynamically Discovering Likely Program Invariants to Support Program Evolution. Presented By: Wes Toland, Geoff Gerfin. Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin. Outline. Introduction Overview Code Instrumentation Data Trace Generation Inferring Invariants

711 views • 51 slides

Light and Dark side of Code Instrumentation

484 views • 47 slides

February 7-8, 2011 NERSC Oakland Scientific Facility

Cray Optimization and Performance Tools Harvey Wasserman Woo-Sun Yang NERSC User Services Group Cray XE6 Workshop. February 7-8, 2011 NERSC Oakland Scientific Facility. Outline. Introduction, motivation, some terminology Using CrayPat Using Apprentice2 Hands-on lab.

488 views • 39 slides

Andrew Mendelsohn Senior Vice President Database Oracle Corporation

Andrew Mendelsohn Senior Vice President Database Oracle Corporation. Oracle Database 10 g : A Revolution in Database Technology. Oracle Database 10 g Goals. Half the Cost Highest Quality of Service Highest Availability, Reliability, Security Highest Performance, Scalability

551 views • 36 slides

Embedded ISA Support for Enhanced Floating-Point to Fixed-Point ANSI C Compilation

Embedded ISA Support for Enhanced Floating-Point to Fixed-Point ANSI C Compilation. Tor Aamodt and Paul Chow University of Toronto { aamodt, pc }@eecg.utoronto.ca. 3rd ACM International Conference on Compilers, Architectures and Synthesis for Embedded Systems, Nov. 17-18th, 2000, San Jose CA.

473 views • 32 slides

Dependable Software Systems

Dependable Software Systems. Topics in Unit Testing Tools. Material drawn from [ junit.org , jcoverage.com ]. junit and jcoverage. We will use a combination of two tools to test Java programs: junit is a unit testing tool jcoverage is a statement/branch coverage tool

345 views • 22 slides

Dependable Software Systems

Dependable Software Systems. Topics in Unit Testing Tools. Material drawn from [ junit.org , jcoverage.com ]. junit and jcoverage. We will use a combination of two tools to test Java programs: junit is a unit testing tool jcoverage is a statement/branch coverage tool

235 views • 22 slides

Compiler Support for Profiling C++ Template Metaprograms

252 views • 17 slides