 |
|
|
 Model-Based Software Testing and Analysis with C#This book teaches new methods for specifying, analyzing, and testing software; essentials for creating high-quality software. These methods increase the automation in each of these steps, making them more timely, more thorough, and more effective. The authors work through several realistic case studies in-depth and detail, using a toolkit built on... |  |  Professional Visual Studio ExtensibilityProfessional Visual Studio Extensibility
Are you ready to extend the capabilities of Visual Studio to become more efficient and productive? Whether you want to integrate optimized builds, enhanced programming tools, or other rapid application development features, this unique resource shows you how to develop customized... |  |  Software Testing and Quality Assurance: Theory and PracticeA superior primer on software testing and quality assurance, from integration to execution and automation
This important new work fills the pressing need for a user-friendly text that aims to provide software engineers, software quality professionals, software developers, and students with the fundamental developments in testing theory and... |
|
 Scripted GUI Testing with Ruby (Pragmatic Programmers)What do you want from your tests?
Your answer to that question will shape your software testing efforts to a great degree. It will especially affect how you do your GUI tests and in particular what role automation plays for you.
Lots of folks talk about automated testing, but the term is a bit of a misnomer. All but the most... |  |  VMware ESX Essentials in the Virtual Data CenterThe VMware ESX server is vital to virtualization methods used to perform server consolidation, software development, test automation, legacy Windows migration, and more. Server virtualization can drastically cut business costs, and considering that there are few experts in the field, VMware ESX Essentials in the Virtual Data... |  |  Real-Time Systems: Formal Specification and Automatic VerificationReal-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata:... |
|
|
| Result Page: 40 39 38 37 36 35 34 33 32 31 30 29 28 27 26 25 24 23 22 |