Test and Verification Solutions128 October 2009 Test and Verification Solutions Improved time to market through automated software testing Mike Bartley,

Slides:



Advertisements
Similar presentations
Model-Based Testing with Smartesting Jean-Pierre Schoch Sogetis Second Testing Academy 29 April 2009.
Advertisements

Requirements for a UI Test Framework Stanislaw Wozniak Bernie Miles.
Automating Software Module Testing for FAA Certification Usha Santhanam The Boeing Company.
xUnit Test Patterns (Some) xUnit Test Patterns (in practice) by Adam Czepil.
Test process essentials Riitta Viitamäki,
Test Automation Success: Choosing the Right People & Process
HP Quality Center Overview.
Stoimen Stoimenov QA Engineer SitefinityLeads, SitefinityTeam6 Telerik QA Academy Telerik QA Academy.
Software Quality Assurance Inspection by Ross Simmerman Software developers follow a method of software quality assurance and try to eliminate bugs prior.
Chapter 15 Design, Coding, and Testing. Copyright © 2005 Pearson Addison-Wesley. All rights reserved Design Document The next step in the Software.
Behavioral Design Outline –Design Specification –Behavioral Design –Behavioral Specification –Hardware Description Languages –Behavioral Simulation –Behavioral.
Introduction to z/OS Basics © 2006 IBM Corporation Chapter 8: Designing and developing applications for z/OS.
Information and Decision Support Systems
1 SOFTWARE QUALITY ASSURANCE Basic Principles. 2 Requirements System Design Detailed Design Implementation Installation & Testing Maintenance SW Quality:
Reconfigurable Computing in the Undergraduate Curriculum Jason D. Bakos Dept. of Computer Science and Engineering University of South Carolina.
1 Systems V & V, Quality and Standards Dr Sita Ramakrishnan School CSSE Monash University.
Reginald Wesley CSC 432.  What is CASE?  Background  Why is CASE important?  Drawbacks  Tools.
© Company Confidentialwww.itcinfotech.com Business Case for Test Automation S.Janardhanan Chief Technology Officer ITC Infotech India Limited Business.
Software Testing Test Design and Implementation. Agenda Test Design Test Implementation Test Design Sources Automated Testing 2.
Tool support for testing (CAST) 1 Principles2 Lifecycle 4 Dynamic test techniques 3 Static testing 5 Management6 Tools Software Testing ISTQB / ISEB Foundation.
Damian Gordon. Requirements testing tools Static analysis tools Test design tools Test data preparation tools Test running tools - character-based, GUI.
NYC Technology Forum Introduction to Test Automation 11/2/07 All rights reserved Not to be reproduced without permission Bill Rinko-Gay Solutions Director,
© 2011 Xilinx, Inc. All Rights Reserved Intro to System Generator This material exempt per Department of Commerce license exception TSU.
10th TTCN-3 User Conference, 7-9 June 2011, Bled, Slovenia AUTOSAR Conformance Tests - Feedback on their development and utilization Alain Feudjio-Vouffo,
COMPUTER SOFTWARE ALISA RAHMANI PUTRI / VIDIYA RACHMAWATI /
Introduction to High-Level Language Programming
Unit VI. Keil µVision3/4 IDE for 8051 Tool for embedded firmware development Steps for using keil.
University of Palestine software engineering department Testing of Software Systems Fundamentals of testing instructor: Tasneem Darwish.
University of Palestine software engineering department Testing of Software Systems Fundamentals of testing instructor: Tasneem Darwish.
1. Topics to be discussed Introduction Objectives Testing Life Cycle Verification Vs Validation Testing Methodology Testing Levels 2.
Garching, 08 July 2005 NRI (Night Reporting Infrastructure) for VLT Common Software Integration S. Feyrin, M. Zamparelli European Southern Observatory.
Test Roles and Independence of Testing Telerik Software Academy Software Quality Assurance.
Software Software is omnipresent in the lives of billions of human beings. Software is an important component of the emerging knowledge based service.
Topic (1)Software Engineering (601321)1 Introduction Complex and large SW. SW crises Expensive HW. Custom SW. Batch execution.
SDD/DFS L.K.Lundin VLT 2 nd Generation Instrumentation Pipelines, 19 Apr Pipeline Test methods Lars Kr. Lundin - CPL developer - NACO and VISIR.
Test and Verification Solutions121 st April 2010 Integrating Ethernet CMS with Internal Verification Environments Cadence Verification Challenge, Bristol,
WebVizOr: A Fault Detection Visualization Tool for Web Applications Goal: Illustrate and evaluate the uses of WebVizOr, a new tool to aid web application.
Introduction Complex and large SW. SW crises Expensive HW. Custom SW. Batch execution Structured programming Product SW.
1 Hybrid-Formal Coverage Convergence Dan Benua Synopsys Verification Group January 18, 2010.
From Quality Control to Quality Assurance…and Beyond Alan Page Microsoft.
MAPLD Reconfigurable Computing Birds-of-a-Feather Programming Tools Jeffrey S. Vetter M. C. Smith, P. C. Roth O. O. Storaasli, S. R. Alam
Developing software and hardware in parallel Vladimir Rubanov ISP RAS.
Verification and Validation Assuring that a software system meets a user's needs.
Testing as a Driver for Development Change Wall Street Systems Graham Thomas.
Fundamentals of Information Systems, Second Edition 1 Information and Decision Support Systems.
Chapter 1: Fundamental of Testing Systems Testing & Evaluation (MNN1063)
Introduction Complex and large SW. SW crises Expensive HW. Custom SW. Batch execution Structured programming Product SW.
Grigore Rosu Founder, President and CEO Professor of Computer Science, University of Illinois
Introduction to Hardware Verification ECE 598 SV Prof. Shobha Vasudevan.
TEST AUTOMATION CSC 532 Xiaoshuo wu. Introduction Why is Test Automation that important? Why is Test Automation that important? Who should Automate Tests?
T EST T OOLS U NIT VI This unit contains the overview of the test tools. Also prerequisites for applying these tools, tools selection and implementation.
DevCOP: A Software Certificate Management System for Eclipse Mark Sherriff and Laurie Williams North Carolina State University ISSRE ’06 November 10, 2006.
1. ENTERPRISE AGILE TRANSFORMATION AT THE US POSTAL SERVICE MAY 24, Agile Business Solutions.
Tool Support for Testing Classify different types of test tools according to their purpose Explain the benefits of using test tools.
Automation Testing Trainer: Eran Ruso. Training Agenda Automation Testing Introduction Microsoft Automation Testing Tool Box Coded UI Test and Unit Test.
SOFTWARE TESTING TRAINING TOOLS SUPPORT FOR SOFTWARE TESTING Chapter 6 immaculateres 1.
Benefits of a Virtual SIL
Test Roles and Independence of Testing
Software Configuration Management
Software Engineering (CSI 321)
Software Verification and Validation
Chapter 8 – Software Testing
runtime verification Brief Overview Grigore Rosu
Automation Of Software Test
Fundamental Test Process
Software Verification and Validation
Software Verification and Validation
Software Verification and Validation
White Box testing & Inspections
Presentation transcript:

Test and Verification Solutions128 October 2009 Test and Verification Solutions Improved time to market through automated software testing Mike Bartley, TVS

2 Test and Verification Solutions228 October 2009 Agenda The potential benefits & drawbacks of automation Compare with HW verif Can automation reduce TTM? Automating static & dynamic testing Deciding what to automate Choosing your automation tools Case study

3 Test and Verification Solutions328 October 2009 The potential benefits of automation Reduced costs Improved quality Improved employee motivation Improved TTM

4 Test and Verification Solutions428 October 2009 The potential drawbacks of automation Shelf-ware! Maintenance Skills base Missing failures

5 Test and Verification Solutions528 October 2009 HW verification The mechanics of complex test bench Driver Stimulus generator TestScoreboard Functional Coverage Design Under Test Monitor assert constraint addrdata Assertions Coverage

6 Test and Verification Solutions628 October 2009 The mechanics of finding a bug Design Under Test PropagateStimulate … … … … … … ….. Actual Results Expected Results Compare Observe

7 Test and Verification Solutions728 October 2009 Can automation reduce TTM? Getting test results sooner Catching bugs earlier Stabilising the software sooner Assessing the stability of the software

8 Test and Verification Solutions828 October 2009 Automating static testing Types of bug found A quick win Beware false failures Introduce filters slowly Developers not testers (check in checks, IDE) No testing of intent

9 Test and Verification Solutions928 October 2009 Automating dynamic testing Test plan Test design specification Test case specification Test procedure specification Test execution Test log Test incident report Test summary report

10 Test and Verification Solutions1028 October 2009 Deciding what to automate Complexity of the test environment The test level Frequency of execution Ease of automating pass/fail Test stability and repeatability

11 Test and Verification Solutions1128 October 2009 Choosing your automation tools Who writes test test? Matching skill set Separate orthogonal concerns Portability Ease of adding/banning tests Integration into configuration/build system Cost of the tool?

12 Test and Verification Solutions1228 October 2009 Case Study – Background Includes chips, accelerator cards, and software All work with industry-standard x86-based systems

13 Test and Verification Solutions1328 October 2009 Case Study – Background Low level host driver code –Code on host computer communicates with the chip on the board in the PCI slot Libraries of code –Runtime library –Mathematics acceleration libraries (ACML, MKL, …) Application code –Linpack, Montecarlo, …. Code running on the chip –This had parallel C extensions not supported by our chosen tool Software models of the hardware In-house compiler for the code running on the chip Mainly C and C++, some assembler

14 Test and Verification Solutions1428 October 2009 Case study – automation details Integrated into configuration/build system Automated mostly lower level tests Developed internally by SW Engineers Offshored manual tests Offshored some automated test development Integration of static analysis Test maintenance

15 Test and Verification Solutions1528 October 2009 Case study - results of automation Improved quality Shortened release schedules Release schedules hit Reduced TTM ROI?

16 Test and Verification Solutions1628 October 2009 Questions? Mike Bartley LinkedIn