Narrow your search

Library

KU Leuven (9)

UGent (7)

ULiège (7)

KBC (4)

Odisee (4)

Thomas More Kempen (4)

Thomas More Mechelen (4)

UCLL (4)

ULB (4)

VIVES (4)

More...

Resource type

book (11)


Language

English (10)

German (1)


Year
From To Submit

2021 (11)

Listing 1 - 10 of 11 << page
of 2
>>
Sort by

Book
Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis
Authors: ---
Year: 2021 Publisher: New York NY : Association for Computing Machinery,

Loading...
Export citation

Choose an application

Bookmark

Abstract

We are delighted to welcome you to ISSTA 2021, the 30th edition of the International Symposium on Software Testing and Analysis. The conference was initially scheduled to take place in Aarhus, Denmark, but due to the ongoing pandemic, it will take place online instead. ISSTA celebrates 30 editions this year! To mark the occasion, we are organizing two panels on the past and future of software testing and analysis, featuring senior members of our community.


Book
29119-4-2021 : IEEE/ISO/IEC International Standard - Software and systems engineering--Software testing--Part 4: Test techniques
Author:
ISBN: 1504479823 Year: 2021 Publisher: New York, NY, USA : IEEE,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The purpose of this part of ISO/IEC/IEEE 29119 is to provide an International Standard that defines software test design techniques (also known as test case design techniques or test methods) that can be used within the test design and implementation process that is defined in ISO/IEC/IEEE 29119-2. This part of ISO/IEC/IEEE 29119 does not describe a process for test design and implementation; instead, it describes a set of techniques that can be used within the test design and implementation process defined in ISO/IEC/IEEE 29119-2. The intent is to describe a series of techniques that have wide acceptance in the software testing industry. The test design techniques presented in this part of ISO/IEC/IEEE 29119 can be used to derive test cases that, when executed, generate evidence that test item requirements have been met or that defects are present in a test item (i.e. that requirements have not been met). Risk-based testing could be used to determine the set of techniques that are applicable in specific (risk-based testing is covered in ISO/IEC/IEEE 29119-1 and ISO/IEC/IEEE 29119-2).


Book
29119-3-2021 : IEEE/ISO/IEC International Standard for Software and systems engineering--Software testing--Part 3:Test documentation
Author:
ISBN: 1504479807 Year: 2021 Publisher: New York, NY, USA : IEEE,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The purpose of the ISO/IEC/IEEE 29119 series of software testing standards is to define an internationally-agreed set of standards for software testing that can be used by any organization when performing any form of software testing. ISO/IEC/IEEE 29119-3 includes templates and examples of test documentation. The templates are arranged within clauses reflecting the overall test process description structure in ISO/IEC/IEEE 29119-2, i.e. by the test process in which they are being produced. Annex A outlines the contents of each document and maps each document to ISO/IEC/IEEE 29119-2. Annex B contains an overview of the examples. Annexes C to R contain examples of the application of the templates. Annex S provides mappings to existing standards. Annex T explains the use of the term Test Model in this document. The Bibliography for this part of ISO/IEC/IEEE 29119 is at the end of the document. ISO/IEC/IEEE 29119-3 supports dynamic testing, functional and non-functional testing, manual and automated testing, and scripted and unscripted testing. The documentation templates defined in ISO/IEC/IEEE 29119-3 can be used in conjunction with any software development lifecycle model.


Book
29119-2-2021 : ISO/IEC/IEEE International Standard - Software and systems engineering - Software testing -- Part 2: Test processes
Author:
ISBN: 1504479785 Year: 2021 Publisher: New York, NY, USA : IEEE,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This document specifies test processes that can be used to govern, manage and implement software testing for any organization, project or testing activity. It comprises generic test process descriptions that define the software testing processes. Supporting informative diagrams describing the processes are also provided. This document is applicable to testing in all software development lifecycle models. This document is intended for, but not limited to, testers, test managers, developers and project managers, particularly those responsible for governing, managing and implementing software testing.


Book
Trends in Explanations : Understanding and Debugging Data-Driven Systems.
Authors: --- ---
ISBN: 1680838814 Year: 2021 Publisher: Norwell, MA : Now Publishers,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book provides researchers and system developers with a high-level overview of the complex problems encountered when developing better user interaction with modern large-scale data-driven computing systems and describes a roadmap to solving these issues in the future.


Book
Design for testability, debug and reliability : next generation measures using formal techniques
Author:
ISBN: 3030692094 3030692086 Year: 2021 Publisher: Cham, Switzerland : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book introduces several novel approaches to pave the way for the next generation of integrated circuits, which can be successfully and reliably integrated, even in safety-critical applications. The authors describe new measures to address the rising challenges in the field of design for testability, debug, and reliability, as strictly required for state-of-the-art circuit designs. In particular, this book combines formal techniques, such as the Satisfiability (SAT) problem and the Bounded Model Checking (BMC), to address the arising challenges concerning the increase in test data volume, as well as test application time and the required reliability. All methods are discussed in detail and evaluated extensively, while considering industry-relevant benchmark candidates. All measures have been integrated into a common framework, which implements standardized software/hardware interfaces. Provides readers with a combination of a comprehensive set of formal techniques covering and enhancing different aspects of the state-of-the-art design and test flow for ICs; Introduces newly developed heuristic, formal optimization-based and partition-based retargeting techniques and integrates them into a common framework; Describes fully compliant (with respect to industrial de-facto standard) measures to enhance the DFT, DFD and DFR capabilities while supporting standardized data exchange formats; Includes new measures to tackle shortcomings of existing state-of-the-art methods, including zero-defect enforcing safety-critical applications.


Book
Python One-Liners : Profi-Programmierung durch kurz gefasstes Python.
Authors: ---
ISBN: 396910114X Year: 2021 Publisher: Heidelberg : dpunkt.verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Long description: Python in seiner raffiniertesten Form Python Tipps und Tricks mit fortgeschrittenem Niveau Problemlösungen für den Programmieralltag NumPy-Grundlagen Python One-Liners zeigt Ihnen, wie man One Liners, Einzeiler, liest und schreibt: prägnante Ausdrücke zu nützlicher Funktionalität, verpackt in einer einzigen Codezeile. Sie lernen systematisch jede Zeile von Python-Code zu entschlüsseln und zu verstehen, und werden wie ein Experte eloquentes, stark komprimiertes Python schreiben. In den fünf Kapiteln des Buches werden Tipps und Tricks, reguläre Ausdrücke, Machine Learning, Kernthemen der Datenwissenschaft und hilfreiche Algorithmen behandelt. Die ausführlichen Erläuterungen von Einzeilern führen in wichtige Konzepte der Informatik ein und fördern Ihre Programmier- und Analysefähigkeiten. Sie lernen fortgeschrittene Python-Funktionen wie Listenverständnis, Slicing, Lambda-Funktionen, reguläre Ausdrücke, Map- und Reduce-Funktionen und Slice-Zuweisungen kennen. Sie erwerben darüber hinaus Kenntnisse in diesen Bereichen: - Nutzung von Datenstrukturen zur Lösung von Problemen aus der realen Welt, wie z. B. die Verwendung boolescher Indizierung zum Auffinden von Städten mit überdurchschnittlicher Umweltverschmutzung. - Verwendung der NumPy-Grundlagen wie Array, Form, Achse, Typ, Broadcasting, fortgeschrittene Indizierung, Slicing, Sortierung, Suche, Aggregation und Statistik. - Berechnen Sie grundlegende Statistiken von mehrdimensionalen Datenfeldern und die K-Means-Algorithmen für unsupervised Learning. - Erstellen Sie fortgeschrittenere reguläre Ausdrücke unter Verwendung von Gruppierungs- und benannten Gruppen, negativen Lookaheads, maskierten Zeichen, Leerzeichen, Zeichensätzen (und negativen Zeichensätzen) und greedy/non greedy Operatoren. - Ein breites Spektrum von Informatik-Themen verstehen, einschließlich Anagramme, Palindrome, Obermengen, Permutationen, Fakultäten, Primzahlen, Fibonacci-Zahlen, Obfuszierung, Suche und algorithmische Sortierung. Am Ende des Buches werden Sie wissen, wie man Python in seiner raffiniertesten Form schreibt und prägnante, schöne Python-Kunstwerke in nur einer einzigen Zeile schafft. Biographical note: Christian Mayer hat einen Doktortitel in Informatik und ist der Gründer der beliebten Python-Site Finxter (https:blog.finxter.com). Mayer ist außerdem der Autor der Coffee Break Python-Reihe.


Book
Python unit test automation : automate, organize, and execute unit tests in Python
Author:
ISBN: 1484278542 1484278534 1523151021 Year: 2021 Publisher: New York, NY : Apress,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Learn how to automate unit tests of Python 3 with automation libraries, such as doctest, unittest, nose, nose2, pytest, and selenium. This book explores important concepts in software test automation and demonstrates how to automate, organize, and execute unit tests with Python. It also introduces readers to the concepts of web browser automation and logging. This new edition starts with an introduction to Python 3. Next, it covers doctest and pydoc. This is followed by a discussion on unittest, a framework that comes packaged with Python 3 itself. There is a dedicated section on creating test suites, followed by an explanation of how nose2 provides automatic test module discovery. Moving forward, you will learn about pytest, the most popular third-party library and testrunner for Python. You will see how to write and execute tests with pytest. You'll also learn to discover tests automatically with pytest. This edition features two brand new chapters, the first of which focuses on the basics of web browser automation with Selenium. You'll learn how to use Selenium with unittest to write test cases for browser automation and use the Selenium IDE with web browsers such as Chrome and Firefox. You'll then explore logging frameworks such as Python's built-in logger and the third-party framework loguru. The book concludes with an exploration of test-driven development with pytest, during which you will execute a small project using TDD methodology. What You Will Learn Start testing with doctest and unittest Understand the idea of unit testing Get started with nose 2 and pytest Learn how to use logger and loguru Work with Selenium and test driven development Who This Book Is For Python developers, software testers, open source enthusiasts, and contributors to the Python community.


Book
Essential spectrum-based fault localization
Authors: ---
ISBN: 9813361794 9813361786 Year: 2021 Publisher: Singapore : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Program debugging has always been a difficult and time-consuming task in the context of software development, where spectrum-based fault localization (SBFL) is one of the most widely studied families of techniques. While it’s not particularly difficult to learn about the process and empirical performance of a particular SBFL technique from the available literature, researchers and practitioners aren’t always familiar with the underlying theories. This book provides the first comprehensive guide to fundamental theories in SBFL, while also addressing some emerging challenges in this area. The theoretical framework introduced here reveals the intrinsic relations between various risk evaluation formulas, making it possible to construct a formula performance hierarchy. Further extensions of the framework provide a sufficient and necessary condition for a general maximal formula, as well as performance comparisons for hybrid SBFL methods. With regard to emerging challenges in SBFL, the book mainly covers the frequently encountered oracle problem in SBFL and introduces a metamorphic slice-based solution. In addition, it discusses the challenge of multiple-fault localization and presents cutting-edge approaches to overcoming it. SBFL is a widely studied research area with a massive amount of publications. Thus, it is essential that the software engineering community, especially those involved in program debugging, software maintenance and software quality assurance (including both newcomers and researchers who want to gain deeper insights) understand the most fundamental theories – which could also be very helpful to ensuring the healthy development of the field.


Book
Technical debt in practice
Authors: --- ---
ISBN: 9780262542111 0262366304 9780262366304 0262542110 0262362279 Year: 2021 Publisher: Cambridge, Massachusetts : The MIT Press

Listing 1 - 10 of 11 << page
of 2
>>
Sort by