63.291 results (0,27004 seconds)

Show all filters

Brand

Show all

Colour

Show all

Size

Show all

Gender

Merchant

Show all

Price (EUR)

Show all

Reset filter

Products
From
Shops

Embedded Software System Testing Automatic Testing Solution Based on Formal Method

Embedded Software System Testing Automatic Testing Solution Based on Formal Method

This book introduces embedded software engineering and management methods proposing the relevant testing theory and techniques that promise the final realization of automated testing of embedded systems. The quality and reliability of embedded systems have become a great concern faced with the rising demands for the complexity and scale of system hardware and software. The authors propose and expound on the testing theory and techniques of embedded software systems and relevant environment construction technologies providing effective solutions for the automated testing of embedded systems. Through analyzing typical testing examples of the complex embedded software systems the authors verify the effectiveness of the theories technologies and methods proposed in the book. In combining the fundamental theory and technology and practical solutions this book will appeal to researchers and students studying computer science software engineering and embedded systems as well as professionals and practitioners engaged in the development verification and maintenance of embedded systems in the military and civilian fields. | Embedded Software System Testing Automatic Testing Solution Based on Formal Method

GBP 77.99
1

Software Testing A Craftsman’s Approach Fifth Edition

Software Testing A Craftsman’s Approach Fifth Edition

This updated and reorganized Fifth edition of Software Testing: A Craftsman's Approach continues to be a valuable reference for software testers developers and engineers by applying the strong mathematics content of previous editions to a coherent treatment of software testing. Responding to instructor and student survey input the authors have streamlined chapters and examples. The Fifth Edition: Has a new chapter on feature interaction testing that explores the feature interaction problem and explains how to reduce tests Uses Java instead of pseudo-code for all examples including structured and object-oriented ones Presents model-based development and provides an explanation of how to conduct testing within model-based development environments Explains testing in waterfall iterative and agile software development projects Explores test-driven development reexamines all-pairs testing and explains the four contexts of software testing Thoroughly revised and updated Software Testing: A Craftsman’s Approach Fifth Edition is sure to become a standard reference for those who need to stay up to date with evolving technologies in software testing. | Software Testing A Craftsman’s Approach Fifth Edition

GBP 39.95
1

Principles of Toxicology Testing

Principles of Toxicology Testing

Nationally toxicology programs have evolved from a traditional exploration of the chemistry and applied toxicity of chemicals and drugs to a more comprehensive study of toxicology and toxicology testing as independent entities. Consequently the second edition of Principles of Toxicology Testing starts with basic toxicological principles including absorption distribution metabolism and elimination of toxins including chemicals and drugs. The book then continues with animal (in vivo) and in vitro toxicology testing methods associated with toxicological analysis and preclinical drug development. As in the first edition the book begins with an introduction into the fundamentals of toxicology (Section I) to prepare readers for the subsequent topics and continues through with a discussion of toxicokinetics and human risk assessment. This introductory material is useful in understanding the applications of toxicology testing. Section II describes the fundamental principles of toxicology testing in animals in greater detail. This section describes acute toxicity studies as well as subchronic and chronic studies performed on animals. Special emphasis is placed on study design and determination of classical indicators for acute and chronic testing such as the LD50. The book examines other short- and long-term animal toxicity testing methodologies including dermal ocular and reproductive toxicity testing. In addition mutagenicity and carcinogenicity studies are also discussed in separate chapters. Section III introduces and discusses in vitro alternatives to animal toxicology tests. This section emphasizes cell culture methodology and cellular methods for acute systemic toxicity target organ toxicity and local toxicity. The contributors present the advantages and disadvantages of alternative methods. They also describe the use of high-throughput screening and its applications the concepts of standardizatio

GBP 175.00
1

Load Testing of Bridges: Two Volume Set

Load Testing of Bridges: Two Volume Set

Load Testing of Bridges featuring contributions from almost fifty authors from around the world across two interrelated volumes deals with the practical aspects the scientific developments and the international views on the topic of load testing of bridges. Volume 12 Load Testing of Bridges: Current practice and Diagnostic Load Testing starts with a background to bridge load testing including the historical perspectives and evolutions and the current codes and guidelines that are governing in countries around the world. The second part of the book deals with preparation execution and post-processing of load tests on bridges. The third part focuses on diagnostic load testing of bridges. Volume 13 Load Testing of Bridges: Proof Load Testing and the Future of Load Testing focuses first on proof load testing of bridges. It discusses the specific aspects of proof load testing during the preparation execution and post-processing of such a test (Part 1). The second part covers the testing of buildings. The third part discusses novel ideas regarding measurement techniques used for load testing. Methods using non-contact sensors such as photography- and video-based measurement techniques are discussed. The fourth part discusses load testing in the framework of reliability-based decision-making and in the framework of a bridge management program. The final part of the book summarizes the knowledge presented across the two volumes as well as the remaining open questions for research and provides practical recommendations for engineers carrying out load tests. This work will be of interest to researchers and academics in the field of civil/structural engineering practicing engineers and road authorities worldwide. | Load Testing of Bridges: Two Volume Set

GBP 44.99
1

Automated Software Testing with Cypress

Automated Software Testing with Cypress

Unit Integration Testing (UIT) had been a challenge because there was no tool that could help in XHR programming and unit integration validations in an efficient way until Cypress arrived. Cypress started releasing versions in 2015 and became popular in 2018 with version 2. 0. 0. This book explores Cypress scripts that help implement ‘shift left testing’ which is a dream come true for many software testers. Shift left occurs in the majority of testing projects but could not be implemented fully because tools were unavailable and knowledge was lacking about the possibilities of testing early in the life cycle. Shift left is a key testing strategy to help testing teams focus less on defect identifications and more on developing practices to prevent defects. Cypress scripts can help front-end developers and quality engineers to work together to find defects soon after web components are built. These components can be tested immediately after they are built with Cypress Test Driven Development (TDD) scripts. Thus defects can be fixed straight away during the development stage. Testing teams do not have to worry about finding these same defects in a later development stage because Cypress tests keep verifying components in the later stages. Defect fixing has become much cheaper with Cypress than when other tools are used. The book also covers Behaviour Driven Development (BDD)-based Gherkin scripts and the Cypress Cucumber preprocessor which can improve test scenario coverage. Automated Software Testing with Cypress is written to fulfil the BDD and TDD needs of testing teams. Two distinct open source repositories are provided in Github to help start running Cypress tests in no time!

GBP 38.99
1