Software Testing Foundations, 5th Edition
Software Testing Foundations, 5th Edition

Author: Andreas Spillner

Publisher: Rocky Nook, Inc.

Published: 2021-07-21

Total Pages: 405

ISBN-13: 1681988550

DOWNLOAD EBOOK

Professional testing of software is an essential task that requires a profound knowledge of testing techniques. The International Software Testing Qualifications Board (ISTQB) has developed a universally accepted, international qualification scheme aimed at software and system testing professionals, and has created the Syllabi and Tests for the “Certified Tester.” Today, hundreds of thousands of people have taken the ISTQB certification exams.

The authors of Software Testing Foundations, 5th Edition, are among the creators of the Certified Tester Syllabus and are currently active in the ISTQB. This thoroughly revised and updated fifth edition covers the “Foundations Level” (entry level) and teaches the most important methods of software testing. It is designed for self-study and provides the information necessary to pass the Certified Tester–Foundations Level exam, as defined by the ISTQB. Also in this new edition, technical terms have been precisely stated according to the ISTQB glossary.


Topics covered:
    • Fundamentals of Testing
    • Testing and the Software Lifecycle
    • Static and Dynamic Testing Techniques
    • Test Management
    • Test Tools

Software Engineering and Formal Methods
Software Engineering and Formal Methods

Author: Peter Csaba Ölveczky

Publisher: Springer Nature

Published: 2019-09-09

Total Pages: 547

ISBN-13: 3030304469

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019. The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware and attack detection,and software development and evolution and address a wide range of systems, such as cyber-physical systems, UAVs, autonomous robots, and feature-oriented and operating systems. They are organized in the following topical sections: cooperative asynchronous systems; cyber-physical systems; feature-oriented and versioned systems; model-based testing; model inference; ontologies and machine learning; operating systems; program analysis; relating models and implementations; runtime verification; security; and verification.

Software Project Management
Software Project Management

Author: Moh’d A. Radaideh

Publisher: Walter de Gruyter GmbH & Co KG

Published: 2023-12-18

Total Pages: 536

ISBN-13: 3111206866

DOWNLOAD EBOOK

Software Project Management (SPM) differs from the Traditional Project Management (PM) approaches in that Software Engineering requires multiple rounds of Software Testing, and Updating in accordance with their Testing results and their customer’s feedback. Thus, SPM introduces unique life cycle processes.This book presents an introduction and a critical analysis of the main Software Project Management Frameworks, and offers the author’s original approach to SPM as developed by him over years of professional and teaching experience in the Academia and the IT/Software Industry. It also provides Executive Summaries of the Project Management and Software Project Management Perspectives offered by the Project Management Institute (PMI), the IEEE-Computer Society (IEEE-CS), and the SCRUM Project Management Bodies such as the SCRUMstudy.

Development of Safety-Critical Systems
Development of Safety-Critical Systems

Author: Gopinath Karmakar

Publisher: Springer Nature

Published: 2023-10-09

Total Pages: 373

ISBN-13: 3031279018

DOWNLOAD EBOOK

This book provides professionals and students with practical guidance for the development of safety-critical computer-based systems. It covers important aspects ranging from complying with standards and guidelines to the necessary software development process and tools, and also techniques pertaining to model-based application development platforms as well as qualified programmable controllers. After a general introduction to the book’s topic in chapter 1, chapter 2 discusses dependability aspects of safety systems and how architectural design at the system level helps deal with failures and yet achieves the targeted dependability attributes. Chapter 3 presents the software development process which includes verification and validation at every stage, essential to the development of software for systems performing safety functions. It also explains how the process helps in developing a safety case that can be independently verified and validated. The subsequent chapter 4 presents some important standards and guidelines, which apply to different industries and in different countries. Chapter 5 then discusses the steps towards complying with the standards at every phase of development. It offers a guided tour traversing the path of software qualification by exploring the necessary steps towards achieving the goal with the help of case studies. Chapter 6 highlights the application of formal methods for the development of safety systems software and introduces some available notations and tools which assist the process. Finally, chapter 7 presents a detailed discussion on the importance and the advantages of qualified platforms for safety systems application development, including programmable controller (PLC) and formal model-based development platforms. Each chapter includes case studies illustrating the subject matter. The book is aimed at both practitioners and students interested in the art and science of developing computer-based systems for safety-critical applications. Both audiences will get insights into the tools and techniques along with the latest developments in the design, analysis and qualification, which are constrained by the regulatory and compliance requirements mandated by the applicable guides and standards. It also addresses the needs of professionals and young graduates who specialize in the development of necessary tools and qualified platforms.

Systems, Decision and Control in Energy III
Systems, Decision and Control in Energy III

Author: Artur Zaporozhets

Publisher: Springer Nature

Published: 2021-11-30

Total Pages: 382

ISBN-13: 3030876756

DOWNLOAD EBOOK

This book describes new energy saving methods and technologies for heat power engineering. The book is devoted to topical issues of energy and related industries. Leading Ukrainian scientists from both scientific institutes and educational universities took part in its creation. The research results are presented in 6 parts: electrical engineering, heat power engineering, nuclear power engineering, fossil fuels, cybersecurity and computer science, environmental safety. Results of regulating of operating modes and applicability of model checking technique in power systems are showed. Separate block of questions regarding the functioning of nuclear power plants, their waste and preventive measures of protection against negative effects on living organisms (including, for example, the Chernobyl nuclear power plant) is considered. The results of the peculiarities of the extraction, purification and use of fossil fuels are presented. In some chapters, presented the results on improving the cybersecurity of energy systems and its resilience to various threats, including the use of 5G technology. Traditionally for this series, issues of ecological safety, the impact of different energy systems on the environment and its protection are considered. A book is for researchers, engineers, as well as lecturers and postgraduates of higher education institutions dealing with energy sector, power systems, ecological safety, etc.

Nuclear Auditing Handbook
Nuclear Auditing Handbook

Author: Charles H. Moseley

Publisher: Quality Press

Published: 2021-09-01

Total Pages: 393

ISBN-13: 1636940080

DOWNLOAD EBOOK

Initially developed as a tool for training lead auditors of nuclear quality systems, the Nuclear Auditing Handbook has also been used as a reference by quality managers who plan quality system audits. It provides detailed material in such aspects as the development, administration, planning, preparation, performance, and reporting of quality system audits in energy-related fields. ASQ's Nuclear Committee of the Energy and Environment Division gathered a team of highly seasoned experts in the nuclear auditing field to expand this new edition's content and bring it current to modern-day best practices and standards. This book introduces updated information about requirements and standards, including the 2019 editions of the American Society of Mechanical Engineers (ASME) NQA-1 Quality Assurance Program Requirements for Nuclear Facility Applications and ASME BPVC Sections I; IV; and VIII, Divisions 1 and 2. The authors and editors have also added helpful tools to aid nuclear auditors, including case studies suitable for training auditors, blank forms for convenient use, and samples of completed forms.

Systems, Software and Services Process Improvement
Systems, Software and Services Process Improvement

Author: Alastair Walker

Publisher: Springer Nature

Published: 2019-09-09

Total Pages: 770

ISBN-13: 3030280055

DOWNLOAD EBOOK

This volume constitutes the refereed proceedings of the 26th European Conference on Systems, Software and Services Process Improvement, EuroSPI conference, held in Edinburgh, Scotland, in September 2019. The 18 revised full papers presented were carefully reviewed and selected from 28 submissions. They are organized in topical sections: Visionary Papers, SPI and Safety and Security, SPI and Assessments, SPI and Future Qualification & Team Performance, and SPI Manifesto and Culture. The selected workshop papers are also presented and organized in following topical sections: GamifySPI, Digitalisation of Industry, Infrastructure and E-Mobility. -Best Practices in Implementing Traceability. -Good and Bad Practices in Improvement. -Functional Safety and Cybersecurity. -Experiences with Agile and Lean. -Standards and Assessment Models. -Team Skills and Diversity Strategies. -Recent Innovations.

The Software Principles of Design for Data Modeling
The Software Principles of Design for Data Modeling

Author: Samanta, Debabrata

Publisher: IGI Global

Published: 2023-09-12

Total Pages: 342

ISBN-13: 1668498103

DOWNLOAD EBOOK

The Software Principles of Design for Data Modeling, written by Debabrata Samanta of Rochester Institute of Technology in Kosovo, offers a practical and comprehensive solution to the challenges of designing effective software architecture for data modeling. This book covers key topics such as gathering requirements, modeling requirements with use cases, testing the system, building entity-relationship models, building class models in UML with patterns of data modeling and software quality attributes, and use case modeling. It also includes case studies of relational and object-relational database schema design. The unique approach of this book lies in its unifying method for designing software architecture for data modeling. It addresses specific design issues for various types of software systems, including object-oriented, client/server, service-oriented, component-based, real-time, and software product line architectures. With its practical guidance, standard method for modeling requirements and analysis, and comprehensive coverage of key topics and case studies, this book is a must-read for anyone interested in designing effective software architecture for data modeling, whether you are an academic scholar or a professional in the field.

Advances in Computers
Advances in Computers

Author:

Publisher: Academic Press

Published: 2017-08-23

Total Pages: 292

ISBN-13: 0128122293

DOWNLOAD EBOOK

Advances in Computers, Volume 107, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Advances in Model-based Analysis and Testing, Advances in Software Quality Assurance, Advances in Handling Uncertainty in Testing, Advances in Testing of Communicating Systems, and Advances in Formal Verification and Cyber-physical Systems. This book provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. - Provides in-depth surveys and tutorials on new computer technology - Presents well-known authors and researchers in the field - Includes extensive bibliographies with most chapters - Volumes are devoted to single themes or subfields of computer science

Computer Simulation Validation
Computer Simulation Validation

Author: Claus Beisbart

Publisher: Springer

Published: 2019-04-09

Total Pages: 1056

ISBN-13: 3319707663

DOWNLOAD EBOOK

This unique volume introduces and discusses the methods of validating computer simulations in scientific research. The core concepts, strategies, and techniques of validation are explained by an international team of pre-eminent authorities, drawing on expertise from various fields ranging from engineering and the physical sciences to the social sciences and history. The work also offers new and original philosophical perspectives on the validation of simulations. Topics and features: introduces the fundamental concepts and principles related to the validation of computer simulations, and examines philosophical frameworks for thinking about validation; provides an overview of the various strategies and techniques available for validating simulations, as well as the preparatory steps that have to be taken prior to validation; describes commonly used reference points and mathematical frameworks applicable to simulation validation; reviews the legal prescriptions, and the administrative and procedural activities related to simulation validation; presents examples of best practice that demonstrate how methods of validation are applied in various disciplines and with different types of simulation models; covers important practical challenges faced by simulation scientists when applying validation methods and techniques; offers a selection of general philosophical reflections that explore the significance of validation from a broader perspective. This truly interdisciplinary handbook will appeal to a broad audience, from professional scientists spanning all natural and social sciences, to young scholars new to research with computer simulations. Philosophers of science, and methodologists seeking to increase their understanding of simulation validation, will also find much to benefit from in the text.