Introduction to Combinatorial Testing

Introduction to Combinatorial Testing
Author: D. Richard Kuhn
Publisher: CRC Press
Total Pages: 333
Release: 2016-04-19
Genre: Computers
ISBN: 1466552301

Combinatorial testing of software analyzes interactions among variables using a very small number of tests. This advanced approach has demonstrated success in providing strong, low-cost testing in real-world situations. Introduction to Combinatorial Testing presents a complete self-contained tutorial on advanced combinatorial testing methods for re

Software Test Attacks to Break Mobile and Embedded Devices

Software Test Attacks to Break Mobile and Embedded Devices
Author: Jon Duncan Hagar
Publisher: CRC Press
Total Pages: 380
Release: 2013-09-25
Genre: Computers
ISBN: 1466575301

Address Errors before Users Find Them Using a mix-and-match approach, Software Test Attacks to Break Mobile and Embedded Devices presents an attack basis for testing mobile and embedded systems. Designed for testers working in the ever-expanding world of "smart" devices driven by software, the book focuses on attack-based testing that can be used by individuals and teams. The numerous test attacks show you when a software product does not work (i.e., has bugs) and provide you with information about the software product under test. The book guides you step by step starting with the basics. It explains patterns and techniques ranging from simple mind mapping to sophisticated test labs. For traditional testers moving into the mobile and embedded area, the book bridges the gap between IT and mobile/embedded system testing. It illustrates how to apply both traditional and new approaches. For those working with mobile/embedded systems without an extensive background in testing, the book brings together testing ideas, techniques, and solutions that are immediately applicable to testing smart and mobile devices.

Advances in Computers

Advances in Computers
Author:
Publisher: Academic Press
Total Pages: 261
Release: 2015-08-18
Genre: Computers
ISBN: 0128023392

Advances in Computers carries on a tradition of excellence, presenting detailed coverage of innovations in computer hardware, software, theory, design, and applications. The book provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles typically allow. The articles included in this book will become standard references, with lasting value in this rapidly expanding field. - Presents detailed coverage of recent innovations in computer hardware, software, theory, design, and applications - Includes in-depth surveys and tutorials on new computer technology pertaining to computing: combinatorial testing, constraint-based testing, and black-box testing - Written by well-known authors and researchers in the field - Includes extensive bibliographies with most chapters - Presents volumes devoted to single themes or subfields of computer science

Combinatorial Testing in Cloud Computing

Combinatorial Testing in Cloud Computing
Author: Wei-Tek Tsai
Publisher: Springer
Total Pages: 134
Release: 2017-10-24
Genre: Computers
ISBN: 9811044813

This book introduces readers to an advanced combinatorial testing approach and its application in the cloud environment. Based on test algebra and fault location analysis, the proposed combinatorial testing method can support experiments with 250 components (with 2 * (250) combinations), and can detect the fault location based on the testing results. This function can efficiently decrease the size of candidate testing sets and therefore increase testing efficiency. The proposed solution’s effectiveness in the cloud environment is demonstrated using a range of experiments.

Testing Software and Systems

Testing Software and Systems
Author: Inmaculada Medina-Bulo
Publisher: Springer
Total Pages: 182
Release: 2018-09-06
Genre: Computers
ISBN: 3319999273

This book constitutes the refereed proceedings of the 30th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2018, held in Cádiz, Spain, in October 2018. The 8 regular and 6 short papers presented were carefully reviewed and selected from 29 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded- and cyber-physical-systems, and security infrastructures.

Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems

Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems
Author: Moamar Sayed-Mouchaweh
Publisher: Springer
Total Pages: 330
Release: 2018-03-08
Genre: Technology & Engineering
ISBN: 3319749625

Cyber-physical systems (CPS) are characterized as a combination of physical (physical plant, process, network) and cyber (software, algorithm, computation) components whose operations are monitored, controlled, coordinated, and integrated by a computing and communicating core. The interaction between both physical and cyber components requires tools allowing analyzing and modeling both the discrete and continuous dynamics. Therefore, many CPS can be modeled as hybrid dynamic systems in order to take into account both discrete and continuous behaviors as well as the interactions between them. Guaranteeing the security and safety of CPS is a challenging task because of the inherent interconnected and heterogeneous combination of behaviors (cyber/physical, discrete/continuous) in these systems. This book presents recent and advanced approaches and tech-niques that address the complex problem of analyzing the diagnosability property of cyber physical systems and ensuring their security and safety against faults and attacks. The CPS are modeled as hybrid dynamic systems using different model-based and data-driven approaches in different application domains (electric transmission networks, wireless communication networks, intrusions in industrial control systems, intrusions in production systems, wind farms etc.). These approaches handle the problem of ensuring the security of CPS in presence of attacks and verifying their diagnosability in presence of different kinds of uncertainty (uncertainty related to the event occurrences, to their order of occurrence, to their value etc.).

Bayesian Networks

Bayesian Networks
Author: Olivier Pourret
Publisher: John Wiley & Sons
Total Pages: 446
Release: 2008-04-30
Genre: Mathematics
ISBN: 9780470994542

Bayesian Networks, the result of the convergence of artificial intelligence with statistics, are growing in popularity. Their versatility and modelling power is now employed across a variety of fields for the purposes of analysis, simulation, prediction and diagnosis. This book provides a general introduction to Bayesian networks, defining and illustrating the basic concepts with pedagogical examples and twenty real-life case studies drawn from a range of fields including medicine, computing, natural sciences and engineering. Designed to help analysts, engineers, scientists and professionals taking part in complex decision processes to successfully implement Bayesian networks, this book equips readers with proven methods to generate, calibrate, evaluate and validate Bayesian networks. The book: Provides the tools to overcome common practical challenges such as the treatment of missing input data, interaction with experts and decision makers, determination of the optimal granularity and size of the model. Highlights the strengths of Bayesian networks whilst also presenting a discussion of their limitations. Compares Bayesian networks with other modelling techniques such as neural networks, fuzzy logic and fault trees. Describes, for ease of comparison, the main features of the major Bayesian network software packages: Netica, Hugin, Elvira and Discoverer, from the point of view of the user. Offers a historical perspective on the subject and analyses future directions for research. Written by leading experts with practical experience of applying Bayesian networks in finance, banking, medicine, robotics, civil engineering, geology, geography, genetics, forensic science, ecology, and industry, the book has much to offer both practitioners and researchers involved in statistical analysis or modelling in any of these fields.

Intelligent Systems

Intelligent Systems
Author: Alexander M. Meystel
Publisher: Wiley-Interscience
Total Pages: 728
Release: 2002
Genre: Computers
ISBN:

This comprehensive treatment of the field of intelligent systems is written by two of the foremost authorities in the field. The authors clearly examine the theoretical and practical aspects of these systems. The book focuses on the NIST-RCS (Real-time Control System) model that has been used recently in the Mars Rover.

Information Retrieval

Information Retrieval
Author: Stefan Buttcher
Publisher: MIT Press
Total Pages: 633
Release: 2016-02-12
Genre: Computers
ISBN: 0262528878

An introduction to information retrieval, the foundation for modern search engines, that emphasizes implementation and experimentation. Information retrieval is the foundation for modern search engines. This textbook offers an introduction to the core topics underlying modern search technologies, including algorithms, data structures, indexing, retrieval, and evaluation. The emphasis is on implementation and experimentation; each chapter includes exercises and suggestions for student projects. Wumpus—a multiuser open-source information retrieval system developed by one of the authors and available online—provides model implementations and a basis for student work. The modular structure of the book allows instructors to use it in a variety of graduate-level courses, including courses taught from a database systems perspective, traditional information retrieval courses with a focus on IR theory, and courses covering the basics of Web retrieval. In addition to its classroom use, Information Retrieval will be a valuable reference for professionals in computer science, computer engineering, and software engineering.