PPT-Fun with code, tests, and verification

K Rustan M Leino Research in Software Engineering RiSE Microsoft Research Redmond Caltech Pasadena CA 12 November 2009 Software engineering research Goal Better build maintain and understand programs. Eric Lee. Who am I?. Not a professional presenter – be patient!. 16 years at Microsoft. 6 years in Office building automated testing systems. 9 years in Microsoft Game Studios making games testable. Automated Techniques for Unburdening. Verification Engineers. by. James Pascoe. §. , Pierre Kuhn. ¥. and Steve Hobbs. ¤. . §. Microprocessor Architect / . ¥. Intern, STMicroelectronics R&D Ltd.. and. Uncertainty of Measurement. Graham Fews. West Midlands Regional Genetics Laboratory. Things are what they are, and whatever will be will be.. Jonas . Jonsson. - The Hundred-Year-Old . M. an Who Climbed Out of the Window and Disappeared.. Making code . maintainable. , reusable and readable by writing tests. Intro. Julian . Lyndon-Smith. Co-founder . dot.r. , . whoGloo. Using progress since v3 .. . Specialists in . OO design, Code refactoring. can produce accessible web sites. Sandy Feldman. Inclusive Media and Design. The Accessibility for Ontarians with Disabilities Act (the AODA) . Thou . shalt. not curse the deaf, nor . put a stumbling block before the blind . “. Legacy. ”. and How Can Agile Help?. (ESaaS §9.1). © 2013 Armando Fox & David Patterson, all rights reserved. Legacy Code Matters. Since maintenance consumes ~60% of software costs, . it is probably the most important life cycle phase of software…. 1. Customer Information. 2. Device Information. Company Name. Application. Order Date. Tel : . Fax :. Name & : . Signature. FPO ORDER SHEET . v1.2. MC96FR332A . - . RAF. Please fill in the bold areas.. 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.**. Verify and Monitor Barcode Quality Inline and in Real Time. . . Topics. Barcode Quality: The Challenges. The Trouble with Today’s Methods. The Answer: Machine Vision Verification. Microscan Verification Kits. Visual Studio Fakes. Benjamin Day. @. benday. Benjamin Day. Brookline, MA. Consultant. , Coach, & Trainer. Microsoft . MVP for Visual Studio ALM. Scrum. , . Team . Foundation Server, Software Testing, . (Making My Life Easier). def. . a_story_about_testing. ():. def. . a_story_about_testing. ():. def a_story_about_testing():. def a_story_about_testing():. How would we avoid this with tests?. python.exe my_script.py. Cody Owens. Software . Engineer. From CI to CD: . A . Practical Guide. 1. Founded in 1991, . Accusoft. has been awarded 30 U.S. patents and is recognized as a thought leader in the industry.. 2. The . Stata. Eduardo . Ortiz-Panozo. EUSMEX 2013. Evaluation of screening tests. Frequent in public health .  Early stages of disease. Types:. Comparing results to a gold standard. Comparing results among tests. Paul Carzola – Senior Architect. Cadence Design Systems. Best Practices in . Verification Planning. Feb 2013. Discussion Topics:. Verification planning problems. Planning challenges to address. Notion of Executable Verification Plan.