Automated software testing with cypress, Palani, Narayanan

Автор: Jena Ajay Kumar, Das Himansu, Mohapatra Durga Prasad
Название: Automated Software Testing: Foundations, Applications and Challenges
ISBN: 9811524548 ISBN-13(EAN): 9789811524547
Издательство: Springer
Рейтинг:
Цена: 23757.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book covers both theory and applications in the automation of software testing tools and techniques for various types of software (e.g. When software fails, it is most often due to lack of proper and thorough testing, an aspect that is even more acute for object-oriented, aspect-oriented, and web-based software.

Автор: Kenji Suzuki; Teruo Higashino; Andreas Ulrich; Tor
Название: Testing of Software and Communicating Systems
ISBN: 3540685146 ISBN-13(EAN): 9783540685142
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008.

Автор: Klaus Havelund; Manuel N?nez; Grigore Rosu; Burkha
Название: Formal Approaches to Software Testing and Runtime Verification
ISBN: 3540496998 ISBN-13(EAN): 9783540496991
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006.

Автор: Hass, Anne Mette Jonassen
Название: Guide to advanced software testing
ISBN: 1596932856 ISBN-13(EAN): 9781596932852
Издательство: Artech House
Рейтинг:
Цена: 19346.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Software testing is a critical aspect of the software development process, and this heavily illustrated reference takes professionals on a complete tour of this increasingly important, multi-dimensional area. This book offers a practical understanding of the most critical software testing topics and their relationships and inter-dependencies.

Автор: Jorgensen
Название: Software Testing
ISBN: 1466560681 ISBN-13(EAN): 9781466560680
Издательство: Taylor&Francis
Рейтинг:
Цена: 15310.00 р.
Наличие на складе: Поставка под заказ.

Описание: This updated and reorganized fourth edition of Software Testing: A Craftsman's Approach applies the strong mathematics content of previous editions to a coherent treatment of Model-Based Testing for both code-based (structural) and specification-based (functional) testing. These techniques are extended from the usual unit testing discussions to full coverage of less understood levels integration and system testing.? The Fourth Edition: Emphasizes technical inspections and is supplemented by an appendix with a full package of documents required for a sample Use Case technical inspection Introduces an innovative approach that merges the Event-Driven Petri Nets from the earlier editions with the "Swim Lane" concept from the Unified Modeling Language (UML) that permits model-based testing for four levels of interaction among constituents in a System of Systems Introduces model-based development and provides an explanation of how to conduct testing within model-based development environments Presents a new section on methods for testing software in an Agile programming environment 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, Fourth Edition is sure to become a standard reference for those who need to stay up to date with evolving technologies in software testing. Carrying on the tradition of previous editions, it will continue to serve as a valuable reference for software testers, developers, and engineers.

Автор: Suresh Chandra Satapathy; Ajay Kumar Jena; Jaganna
Название: Automated Software Engineering: A Deep Learning-Based Approach
ISBN: 303038005X ISBN-13(EAN): 9783030380052
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book discusses various open issues in software engineering, such as the efficiency of automated testing techniques, predictions for cost estimation, data processing, and automatic code generation.

Автор: D. Loveland; Johann M. Schumann
Название: Automated Theorem Proving in Software Engineering
ISBN: 3642087590 ISBN-13(EAN): 9783642087592
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book can mark the coming of age of automated theorem proving (ATP). The process to maturity has been a continuum, as it is for humans, but this book serves to mark the emergence of ATP into the marketplace. For this book is arguably the first to present for the general computer scientist or mathematician in some technical depth the ability of automated theorem provers to function in the realm where they will earn their living. That realm is as the reasoning engines of verifiers and generators of computer programs, hardware and related products. (We do note some excellent edited collections exist; one of the best is by Bibel and Schmitt, 1998: see this book's bibliogra- phy. ) As we note below, this book does not simply document a brilliant but isolated undertaking. Rather, the book makes clear that a small but steady, and increasing, stream of real-world applications is now appearing. The childhood and adolescence of ATP was both prolonged and spiked with brilliance. The birth year of the field should probably be set as 1956, when the Logic Theorist paper was published by Newell, Shaw and Simon. (However, most likely the first computer generated mathematical proof ap- peared in 1954 as output of a program for Pressburger arithmetic, written by Martin Davis. The work was not published at the time.

Автор: Mohr
Название: Automated Software and Service Composition
ISBN: 3319341677 ISBN-13(EAN): 9783319341675
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is by far the most systematic and comprehensive review of the field of automated software composition. Based on a formally described and reproducible methodology, it critically discusses the approaches, which are relevant for experts interested in an organized overview of related work. It also provides an introduction and intuitive classification system for researchers new to the field.In order to create this survey, several dozen papers were analyzed with respect to the concrete problems they tackle and the proposed solutions. It delivers both an overview and a qualitative comparison of the approaches, and answers three research questions: What types of automated software composition problems exist? In which use cases do these problems typically occur? And what are the most prominent solution paradigms for the different types? Overall, this book saves a great deal of time for everyone pursuing research in the area of automated software composition who needs a comprehensive guide that helps them understand the field, and that relates new approaches to existing ones.

Автор: Vugt Luc Van
Название: Automated Testing in Microsoft Dynamics 365 Business Central
ISBN: 1789804930 ISBN-13(EAN): 9781789804935
Издательство: Неизвестно
Рейтинг:
Цена: 4964.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Dynamics 365 Business Central is the new Cloud-based SaaS ERP proposition from Microsoft. It`s not as simple as it used to be way back when it was called Navigator, Navision Financials, or Microsoft Business Solutions-Navision. Our development practices are becoming more formal, and with this the call for test automation is pressing on us. ...

Автор: Nina Yevtushenko; Ana Rosa Cavalli; H?sn? Yenig?n
Название: Testing Software and Systems
ISBN: 3319675486 ISBN-13(EAN): 9783319675480
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017. The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions.

Автор: Manuel Nunez; Paul Baker; Mercedes G. Merayo
Название: Testing of Software and Communication Systems
ISBN: 3642050301 ISBN-13(EAN): 9783642050305
Издательство: Springer
Рейтинг:
Цена: 9776.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, The Netherlands, in November 2009.

Автор: Christophe Gaston; Nikolai Kosmatov; Pascale Le Ga
Название: Testing Software and Systems
ISBN: 3030312798 ISBN-13(EAN): 9783030312794
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 31st IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2019, held in Paris, France, in October 2019.