PPT-Mutation Analysis of Parameterized Unit Tests

Tao Xie North Carolina State University Nikolai Tillmann Peli de Halleux Wolfram Schulte Microsoft Research Outline Unit Testing Parameterized Unit Testing PUT Mutation Analysis for PUT. Principles, Techniques, and Applications in Practice. Tutorial. Nikolai Tillmann, Peli de Halleux, Wolfram Schulte. (Microsoft Research). Tao . Xie. (North Carolina State University). Outline. Unit Testing. Peter . Lisherness. , . Nicole Lesperance. ,. and . Kwang. -Ting (Tim) . Cheng . University of California – Santa Barbara. Motivation. 1. Functional Coverage. Mutation Analysis. Coverage Discounting. Testing:. Theory . and Practice. Tao Xie. University of . Illinois at Urbana-Champaign. http. ://taoxie.cs.illinois.edu/courses/testing. /. Work . described in . the slides was . done in collaboration with the . from the. Technology of the . Future. into. . the. Technology of the . Present. Paul . Ammann. 2015 Mutation Workshop Keynote. Graz, Austria . April 13, 2015. 1. A Poll. How many of you. Agree?. Disagree?. Testing. ICTSS’11 . Tutorial. Nikolai . Tillmann. Microsoft Research. Outline. First part: . 14:00 . - . 15:00pm. Second part: . 15:30 . - . 17:00pm. Outline. Unit Testing. Isolation. Parameterized Unit Testing. David Pryor. Mutation-Based Testing. Same basic goal as Code Coverage. Evaluate the tests. Determine “how much” code exercised. Mutation testing goes beyond checking which lines of code were executed. Definition and Overview. b. y . P. aul M. Watt @ code of the damned . com. Definition. Unit Test:. . Verifies . a single minimal unit of source code. The purpose of unit testing is to isolate the smallest testable parts of an API and verify that they function in isolation.**. Wing Lam (U. Illinois). In collaboration with . Siwakorn. . Srisakaokul. , Blake Bassett, . Peyman. . Mahdian. and Tao . Xie. (U. Illinois). Nikolai Tillman, Jonathan de . Halleux. . (Microsoft Research) . College of Medicine. K K U Abha K S A. PRENATAL DIAGNOSIS. It introduces option for management. From interruption of abnormal pregnancies to prepare for specialized peri-natal care.. PRENATAL Dx.------CONT.. from the. Technology of the . Future. into. . the. Technology of the . Present. Paul . Ammann. 2015 Mutation Workshop Keynote. Graz, Austria . April 13, 2015. 1. A Poll. How many of you. Agree?. Disagree?. Testing. CS 4501 / 6501 . Software Testing. [. Ammann. and Offutt, “Introduction to Software Testing,” Ch. 9.2]. Applying Syntax-Based Testing to Programs. Test requirements are derived from the syntax of software artifacts. PI: Cristiana Stan, George Mason University/COLA. Atlantic wind-shear and its relationship with ENSO. S. ummer precipitation in the . eastern . U.S. . . Acknowledgement: . Xiaojie. Zhu and Li . Xu. Beyond the Genome 2012. Informatics Workshop, Sep 27, 2012. Josh Stuart, UC Santa . Cruz. “It . is entirely in line with the accidental nature of mutations that . … . the vast . majority [are] . detrimental. Is a natural process that changes a DNA sequence.. As a cell copies its DNA before dividing, a “typo” occurs every 100,000 or so nucleotides.. That’s about 120,000 typos each time one of our cells divides..