Narrow your search
Listing 1 - 10 of 62 << page
of 7
>>
Sort by

Book
2023 IEEE/ACM International Workshop on Automated Program Repair (APR)
Author:
ISBN: 9798350302141 9798350302158 Year: 2023 Publisher: IEEE

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Tools and methods for analysis, debugging, and performance improvement of equation-based models
Author:
ISBN: 9175190710 Year: 2015 Publisher: Linkoping, Sweden : Linkopings University Institute of Technology,

Loading...
Export citation

Choose an application

Bookmark

Abstract


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.


Multi
Debugging embedded and real-time systems
Author:
ISBN: 9780128178126 0128178124 9780128178119 0128178116 Year: 2020 Publisher: Kidlington Newnes

Loading...
Export citation

Choose an application

Bookmark

Abstract

Debugging Embedded and Real-Time Systems: The Art, Science, Technology and Tools of Real-Time System Debugging gives a unique introduction to debugging skills and strategies for embedded and real-time systems. Practically focused, it draws on application notes and white papers written by the companies who create design and debug tools. Debugging Embedded and Real Time Systems presents best practice strategies for debugging real-time systems, through real-life case studies and coverage of specialized tools such as logic analysis, JTAG debuggers and performance analyzers. It follows the traditional design life cycle of an embedded system and points out where defects can be introduced and how to find them and prevent them in future designs. It also studies application performance monitoring, the execution trace recording of individual applications, and other tactics to debug and control individual running applications in the multitasking OS. Suitable for the professional engineer and student, this book is a compendium of best practices based on the literature as well as the author's considerable experience as a tools' developer. Provides a unique reference on Debugging Embedded and Real-Time Systems Presents best practice strategies for debugging real-time systems Written by an author with many years of experience as a tools developer Includes real-life case studies that show how debugging skills can be improved Covers logic analysis, JTAG debuggers and performance analyzers that are used for designing and debugging embedded systems-- |c Source other than the Library of Congress.


Book
1149.7-2022 - IEEE Standard for Reduced-Pin and Enhanced-Functionality Test Access Port and Boundary-Scan Architecture
Author:
ISBN: 150448875X Year: 2022 Publisher: New York : IEEE,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Circuitry that may be added to an integrated circuit to provide access to on-chip Test Access Ports (TAPs) specified by IEEE Std 1149.1 is described in this standard. The circuitry uses IEEE Std 1149.1 as its foundation, providing complete backward compatibility, while aggressively adding features to support test and applications debug. It defines six classes of IEEE 1149.7 Test Access Ports (TAP.7s), T0 to T5, with each class providing incremental capability, building on that of the lower level classes. Class T0 provides the behavior specified by 1149.1 from startup when there are multiple on-chip TAPs. Class T1 adds common debug functions and features to minimize power consumption. Class T2 adds operating modes that maximize scan performance. It also provides an optional hot-connection capability to prevent system corruption when a connection is made to a powered system. Class T3 supports operation in either a four-wire Series or Star Scan Topology. Class T4 provides for communication with either a two-pin or four-pin interface. The two-pin operation serializes IEEE 1149.1 transactions and provides for higher Test Clock rates. Class T5 adds the ability to perform data transfers concurrently with scan, supports utilization of functions other than scan, and provides control of TAP.7 pins to custom debug technologies in a manner that ensures current and future interoperability.


Book
Mastering Ubuntu server : explore the versatile, powerful Linux Server distribution Ubuntu 22.04 with this comprehensive guide
Author:
ISBN: 1803235047 Year: 2022 Publisher: Birmingham, UK : Packt Publishing, Limited,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Your one-stop resource to learn, configure and use Ubuntu 22.04 for your day-to-day operations and deployments. Ubuntu Server is taking the server world by storm - and for a good reason! The server-focused spin of Ubuntu is a stable, flexible, and powerful enterprise-class distribution of Linux with a focus on running servers both small and large. Mastering Ubuntu Server is a book that will teach you everything you need to know in order to manage real Ubuntu-based servers in actual production deployments. This book will take you from initial installation to deploying production-ready solutions to empower your small office network, or even a full data center. You'll see examples of running an Ubuntu Server in the cloud, be walked through set up popular applications (such as Nextcloud), host your own websites, and deploy network resources such as DHCP, DNS, and others. You'll also see how to containerize applications via LXD to maximize efficiency and learn how to build Kubernetes clusters. This new fourth edition updates the popular book to cover Ubuntu 22.04 LTS, which takes advantage of the latest in Linux-based technologies. By the end of this Ubuntu book, you will have gained all the knowledge you need in order to work on real-life Ubuntu Server deployments and become an expert Ubuntu Server administrator who is well versed in its feature set.


Book
Linux kernel debugging : leverage proven tools and advanced techniques to effectively debug Linux kernels and kernel modules
Author:
ISBN: 1801076758 Year: 2022 Publisher: Birmingham, UK : Packt Publishing,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Effectively debug kernel modules, device drivers, and the kernel itself by gaining a solid understanding of powerful open source tools and advanced kernel debugging techniques Key Features Fully understand how to use a variety of kernel and module debugging tools and techniques using examples Learn to expertly interpret a kernel Oops and identify underlying defect(s) Use easy-to-look up tables and clear explanations of kernel-level defects to make this complex topic easy Book Description The Linux kernel is at the very core of arguably the world's best production-quality OS. Debugging it, though, can be a complex endeavor. Linux Kernel Debugging is a comprehensive guide to learning all about advanced kernel debugging. This book covers many areas in-depth, such as instrumentation-based debugging techniques (printk and the dynamic debug framework), and shows you how to use Kprobes. Memory-related bugs tend to be a nightmare - two chapters are packed with tools and techniques devoted to debugging them. When the kernel gifts you an Oops, how exactly do you interpret it to be able to debug the underlying issue? We've got you covered. Concurrency tends to be an inherently complex topic, so a chapter on lock debugging will help you to learn precisely what data races are, including using KCSAN to detect them. Some thorny issues, both debug- and performance-wise, require detailed kernel-level tracing; you'll learn to wield the impressive power of Ftrace and its frontends. You'll also discover how to handle kernel lockups, hangs, and the dreaded kernel panic, as well as leverage the venerable GDB tool within the kernel (KGDB), along with much more. By the end of this book, you will have at your disposal a wide range of powerful kernel debugging tools and techniques, along with a keen sense of when to use which. What you will learn Explore instrumentation-based printk along with the powerful dynamic debug framework Use static and dynamic Kprobes to trap into kernel/module functions Catch kernel memory defects with KASAN, UBSAN, SLUB debug, and kmemleak Interpret an Oops in depth and precisely identify it's source location Understand data races and use KCSAN to catch evasive concurrency defects Leverage Ftrace and trace-cmd to trace the kernel flow in great detail Write a custom kernel panic handler and detect kernel lockups and hangs Use KGDB to single-step and debug kernel/module source code Who this book is for This book is for Linux kernel developers, module/driver authors, and testers interested in debugging and enhancing their Linux systems at the level of the kernel. System administrators who want to understand and debug the internal infrastructure of their Linux kernels will also find this book useful. A good grasp on C programming and the Linux command line is necessary. Some experience with kernel (module) development will help you follow along.


Book
B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings
Authors: ---
Year: 1998 Publisher: Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 10 of 62 << page
of 7
>>
Sort by