THE EMBEDDED SOFTWARE MARKET INTELLIGENCE PROGRAM 2009 SERVICE YEAR TRACK 1: EMBEDDED SOFTWARE ENGINEERING MARKET TECHNOLOGIES; VOLUME 4: AUTOMATED TEST AND VERIFICATION TOOLS

Table of Contents

• Slide 2: Automated test and verification tools
• Slide 3: Automated test and verification tools
• Slide 4: Automated test and verification tools

• Slide 6: Scope of VDC' s Research
• Slide 7: Scope
• Slide 8: Scope
• Slide 9: Methodology
• Slide 10: Definitions - Embedded System/Device
• Slide 11: Definitions - Embedded Engineering Types
• Slide 12: Definitions - Embedded Engineering Types
• Slide 13: Definitions - Embedded Engineering Types
• Slide 14: Definitions - Regions
• Slide 15: Definitions - Industries
• Slide 16: Definitions - Industries
• Slide 17: Definitions - Products/Services Type

• Slide 19: Automated test and verification tools
• Slide 20: Automated test and verification tools

• Slide 22: Time-to-market pressures are recession proof
• Slide 23: Engineers C other language use rising
• Slide 24: Engineers C other language use rising
• Slide 25: Outsourcing increasing need for test automation
• Slide 26: Multi-core HW architectures creating multifaceted SW engineering problems
• Slide 27: Multi-core HW architectures creating multifaceted SW engineering problems
• Slide 28: Drivers/inhibitors to the automated test and verification tool market

• Slide 30: Automated test and verification tools
• Slide 31: Static analysis tools
• Slide 32: Dynamic and model-based test tools
• Slide 33: Product category analysis, automated test and verification tools
• Slide 34: Product category analysis, automated test and verification tools
• Slide 35: Geographic region analysis, automated test and verification tools
• Slide 36: Geographic region analysis, automated test and verification tools
• Slide 37: Vertical market analysis, automated test and verification tools
• Slide 38: Vertical market analysis, automated test and verification tools
• Slide 39: Vertical market analysis, automated test and verification tools

• Slide 41: Automated test and verification tools
• Slide 42: Automated test and verification tools
• Slide 43: Static analysis tools
• Slide 44: Dynamic and model-based test tools
• Slide 45: Automated test and verification tools
• Slide 46: Automated test and verification tools
• Slide 47: Automated test and verification tools
• Slide 48: Automated test and verification tools
• Slide 49: Automated test and verification tools
• Slide 50: Automated test and verification tools
• Slide 51: Automated test and verification tools

• Slide 53: Automated test and verification tools
• Slide 54: Automated test and verification tools
• Slide 55: Automated test and verification tools
• Slide 56: Automated test and verification tools

List of Exhibits

• Exhibit III-1: Expected Percent Increase (or Decrease) in the Total Lines of Software Code for the Next Project
• Exhibit IV-1: Adherence to Schedule for Current project (or Best Estimate Upon Completion)
• Exhibit IV-2: Estimate of the Additional Cost of Being Behind Schedule
• Exhibit IV-3: Languages Used to Develop Software for Current Project, Segmented by Vertical Market
• Exhibit IV-4: Engineering Tasks Outsourced to External Companies
• Exhibit IV-5: Expected Change in the Amount of Outsourcing for a Typical Project at Respondents' Companies
• Exhibit IV-6: 2008 Embedded Engineering Survey Current and Expected Characterization of the Processor Design
• Exhibit IV-7: 2009 Embedded Engineering Survey Current and Expected Characterization of the Processor Design
• Exhibit IV-8: 2009 Embedded Engineering Survey Current and Expected Characterization of the Processor Design, Segmented by Type(s) of Test Tool(s) Used on Cu Project
• Exhibit V-1: Worldwide Shipments of Automated Test and Verification Tools and Related Services Through 2011
• Exhibit V-2: Worldwide Shipments of Static Analysis Tools and Related Services Through 2011
• Exhibit V-3: Worldwide Shipments of Dynamic and Model-based Test Tools and Related Services Through 2011
• Exhibit V-4: Worldwide Shipments of Automated Test and Verification Tools and Related Services, Segmented by Product Category
• Exhibit V-5: Worldwide Shipments of Automated Test and Verification Tools and Related Services, Segmented by Product Category; 2008-2011
• Exhibit V-6: Worldwide Shipments of Static Analysis Tools and Related Services, Segmented by Product Category
• Exhibit V-7: Worldwide Shipments of Static Analysis Tools and Related Services, Segmented by Product Category; 2008-2011
• Exhibit V-8: Worldwide Shipments of Dynamic and Model-based Test Tools and Related Services, Segmented by Product Category
• Exhibit V-9: Worldwide Shipments of Dynamic and Model-based Test Tools and Related Services, Segmented by Product Category; 2008-2011
• Exhibit V-10: Worldwide Shipments of Automated Test and Verification Tools and Related Services, Segmented by Geographic Region
• Exhibit V-11: Worldwide Shipments of Automated Test and Verification Tools and Related Services, Segmented by Geographic Region; 2008-2011
• Exhibit V-12: Worldwide Shipments of Static Analysis Tools and Related Services, Segmented by Geographic Region
• Exhibit V-13: Worldwide Shipments of Static Analysis Tools and Related Services, Segmented by Geographic Region; 2008-2011
• Exhibit V-14: Worldwide Shipments of Dynamic and Model-based Test Tools and Related Services, Segmented by Geographic Region
• Exhibit V-15: Worldwide Shipments of Dynamic and Model-based Test Tools and Related Services, Segmented by Geographic Region; 2008-2011
• Exhibit V-16: Worldwide Shipments of Automated Test and Verification Tools and Related Services, Segmented by Vertical Market
• Exhibit V-17: Worldwide Shipments of Automated Test and Verification Tools Segmented by Vertical Market; 2008-2011
• Exhibit V-18: Worldwide Shipments of Static Analysis Tools and Related Services, Segmented by Vertical Market
• Exhibit V-19: Worldwide Shipments of Static Analysis Tools Segmented by Vertical Market; 2008-2011
• Exhibit V-20: Worldwide Shipments of Dynamic and Model-based Test Tools and Related Services, Segmented by Vertical Market
• Exhibit V-21: Worldwide Shipments of Dynamic and Model-based Test Tools Segmented by Vertical Market; 2008-2011
• Exhibit VI-1: Worldwide Shipments of Automated Test and Verification Tools Segmented by Leading Vendors
• Exhibit VI-2: Worldwide Shipments of Static Analysis Tools Segmented by Leading Vendors
• Exhibit VI-3: Worldwide Shipments of Dynamic and Model-based Test Tools Segmented by Leading Vendors
• Exhibit VI-4: Static Analysis Tool(s) Used for Current Project
• Exhibit VI-4: Dynamic Testing Tool(s) Used for Current Project
• Exhibit VII-1: Number and Types of Embedded Engineers at Respondents' Company and on their Current Project
• Exhibit VII-2: Types of Tool(s) Used for Current Project, Segmented by Type(s) of Automated Test Tool(s) Used
• Exhibit VII-3: Types of Tool(s) Lifecycle Management Used for Current Project, Segmented by Type(s) of Automated Test Tool(s) Used

Vendor Profiles

• BSQUARE (TESTQUEST, INC.)
• CONFORMIQ INC.
• COVERITY, INC.
• GRAMMATECH, INC.
• IBM CORPORATION
• INFORMATION PROCESSING LTD. (IPL)
• KLOCWORK INC.
• LDRA LTD.
• THE MATHWORKS INC.
• PARASOFT EMBEDDED
• THE PROGRAMMING RESEARCH GROUP
• REACTIVE SYSTEMS, INC.