IEEE Computer Society, 2010. — 328 p. — ISBN: 978-0-470-59720-0. Most of the software measures currently proposed to the industry bring few real benefits to either software managers or developers. This book looks at the classical metrology concepts from science and engineering, using them as criteria to propose an approach to analyze the design of current software measures and...
Jones and Bartlett Publishers, 2010. — 516 р. Software Engineering and Testing. Introduction to Software Engineering. Software-Development Life-Cycle Models. Introduction to Software Requirements Specification. Software Reliability and Quality Assurance. System Design. Software Measurement and Metrics. Software Testing. Software-Testing Strategies. Software Maintenance and...
CRC Press, 2019. — 155 p. — ISBN13: 978-1-138-36339-7. The aim of this book is to provide a platform to academicians, practitioners, and researchers to understand current and future trends in software reliability growth modeling. Emphasis will be on qualitative work relevant to the theme with particular importance given to mathematical modeling for software reliability and...
Easyperf.net, 2020. — 175 p. This book will be primarily useful for software developers who work with performance-critical applications and do low-level optimizations. To name just a few areas: High-Performance Computing (HPC), Game Development, data-center applications (like Facebook, Google, etc.), High-Frequency Trading. But the scope of the book is not limited to the...
Addison-Wesley Professional, 2004. — 336 p. Finding bugs and understanding what is really happening within code is a lostart. Only truly good programmers are able to emulate the processor in theirown mind (e.g. read the code and understand how it might work without goingto the trouble of running it). Adam Barr wonders how programmers aresupposed to build better programs if they do...
ISTE Press - Elsevier, 2016. — 301 p. — ISBN: 978-1-78548-117-8 Certifiable Software Applications 1: Main Processes is dedicated to the establishment of quality assurance and safety assurance. It establishes the context for achieving a certifiable software application. In it, the author covers recent developments such as the module, component and product line approach....
ISTE Press - Elsevier, 2018. — 340 p. — ISBN: 978-1-78548-119-2. This book describes the descending phase of the creation of a software application, detailing specification phases, architecture, design and coding, and important concepts on modeling and implementation. For coding, code generation and/or manual code production strategies are explored. As applications are coded, a...
Manning Publications, 2017. — 480 p. Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris, a language designed to support type-driven development. About the Technology Stop fighting type errors!...
Manning Publications, 2017. — 480 p. Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris, a language designed to support type-driven development. About the Technology Stop fighting type errors!...
Mercury Learning & Information, 2019. — 660 р. This overview of software quality assurance testing in a “self-teaching” format contains easy-to- understand chapters with tips and insights about software quality, its basic concepts, applications, and practical case studies. It includes numerous, end-of-chapter questions with answers to test your knowledge and reinforce mastery...
The MIT Press, 1999. — 314 p. — ISBN10: 0262032708, ISBN13: 978-0262032704. Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductive reasoning. In particular, model checking is automatic...
Independently published, 2021. — 158 p. — ISBN 9798702738413. Static program analysis is the art of reasoning about the behavior of computer programs without actually running them. This is useful not only in optimizing compilers for producing efficient code but also for automatic error detection and other tools that can help programmers. A static program analyzer is a pro- gram...
Hoboken: John Wiley&sons, 2008. - 296p. Recent years have witnessed rapid evolution of software engineering methodologies, and until now, there has been no single–source introduction to emerging technologies in the field. Software dramatically impacts our everyday lives and continuously pervades our modern society. Indeed, incessant innovations in information and communication...
World Scientific, 2005. — 199 p. Software systems surround us. Software is a critical component in everything from the family car through electrical power systems to military equipment. As software plays an ever-increasing role in our lives and livelihoods, the quality of that software becomes more and more critical. However, our ability to deliver high-quality software has not...
Pragmatic Bookshelf, 2020. — 282 p. — ISBN13: 978-1680506983. Estimating software development often produces more angst than value, but it doesn't have to. Identify the needs behind estimate requests and determine how to meet those needs simply and easily. Choose estimation techniques based on current needs and available information, gaining benefit while reducing cost and...
Pragmatic Bookshelf, 2020. — 282 p. — ISBN13: 978-1680506983. Estimating software development often produces more angst than value, but it doesn't have to. Identify the needs behind estimate requests and determine how to meet those needs simply and easily. Choose estimation techniques based on current needs and available information, gaining benefit while reducing cost and...
Manning Publications, 2020. — 330 p. — ISBN: 978-1617296291. Serious developers know that code can always be improved. With each iteration, you make optimizations—small and large—that can have a huge impact on your application’s speed, size, resilience, and maintainability. In Seriously Good Software: Code that Works, Survives, and Wins, author, teacher, and Java expert Marco...
Boca Raton: CRC Press, 2020. — 480 p. Of all the audit functions faced by QA, software auditing is probably the most difficult because of the need to know and understand the intricacies of the processes being audited. In addition, auditors must be familiar with and understand the implications of the international and national standards and know how to proceed when deficiencies...
Singapore: World Scientific Publishing Company, 2005. — 333 p. The idea that “measuring quality is the key to developing high-quality software systems” is gaining relevance. Moreover, it is widely recognised that the key to obtaining better software systems is to measure the quality characteristics of early artefacts, produced at the conceptual modelling phase. Therefore,...
Springer, 2020. — 272 p. Change-Driven Testing. Sven Amann and Elmar Jürgens. The Next Generation Tester: Meeting the Challenges of a Changing. IT World. Graham Bath. Testing in DevOps. Frank Faber. The Tester Skills Program. Paul Gerrard. Testing Autonomous Systems. Tilo Linz. Testing in the Digital Age. Rik Marselis. Measure Twice, Cut Once: Acceptance Testing. Mitko Mitev....
Thinking Works Inc., 2018. — 240с. Язык: англ. Эта книга расскажет вам о реальных причинах сбоев корпоративных систем, о которых вам больше никто не расскажет. Программное обеспечение — это странная страна, где здравый смысл физического мира просто неприменим. Автор раскрывает распространенные заблуждения относительно корпоративного программного обеспечения и показывает, почему...
Singapore: Springer, 2021. — 104 p. This book presents the basic concepts of software reliability growth models (SRGMs), ranging from fundamental to advanced level. It discusses SRGM based on the non-homogeneous Poisson process (NHPP), which has been a quite successful tool in practical software reliability engineering. These models consider the debugging process as a counting...
Addison-Wesley Professional, 2003. — 608 p. — ISBN10: 0321773713, ISBN13: 978-0321773715. The SPIN Model Checker is used for both teaching software verification techniques, and for validating large scale applications. The growing number of users has created a need for a more comprehensive user guide and a standard reference manual that describes the most recent version of the...
Addison-Wesley Professional, 2003. — 608 p. — ISBN10: 0321773713, ISBN13: 978-0321773715. The SPIN Model Checker is used for both teaching software verification techniques, and for validating large scale applications. The growing number of users has created a need for a more comprehensive user guide and a standard reference manual that describes the most recent version of the...
Addison-Wesley Professional, 2003. — 608 p. — ISBN10: 0321773713, ISBN13: 978-0321773715 The SPIN Model Checker is used for both teaching software verification techniques, and for validating large scale applications. The growing number of users has created a need for a more comprehensive user guide and a standard reference manual that describes the most recent version of the...
Atlantic Publishers and Distributors Pvt Ltd, 2018. — 392 p. Software testing is a fast growing discipline in industry. Industry increases IT hiring each year, and recent years have seen a marked increase in emphasis on quality of software engineering in general, and testing in particular. Bill Gates recently said of Microsoft, “We have as many testers as we have developers. And...
CRC Press, Taylor & Francis Group, 2017. — 373 p. — ISBN: 1138033073. Going where no book on software measurement and metrics has previously gone, this critique thoroughly examines a number of bad measurement practices, hazardous metrics, and huge gaps and omissions in the software literature that neglect important topics in measurement. The book covers the major gaps and...
New York: Addison-Wesley Professional, 2002. — 620 p. Our society has become increasingly reliant on software in the past decade; businesses have learned that measuring the effectiveness of software projects can impact the bottom line; and quality is no longer an advantage in the software marketplace (it is a necessity). For these reasons, the demand for quality in software...
Auerbach Publications, 2005. — 280 p. — ISBN10: 0849346339; ISBN13: 978-0849346330. Learn how to attract and keep successful software professionals Software Engineering Quality Practices describes how software engineers and the managers that supervise them can develop quality software in an effective, efficient, and professional manner. This volume conveys practical advice...
Springer, 2022. — 189 p. — (EAI/Springer Innovations in Communication and Computing). — ISBN 978-3-031-07296-3. Оптимизация автоматизированного тестирования программного обеспечения с использованием метаэвристических методов This book provides awareness of different evolutionary methods used for automatic generation and optimization of test data in the field of software...
No Starch Press, 2011. — 208 p. — ISBN10: 1593273851; ISBN13: 978-1593273859. Seemingly simple bugs can have drastic consequences, allowing attackers to compromise systems, escalate local privileges, and otherwise wreak havoc on a system. A Bug Hunter's Diary follows security expert Tobias Klein as he tracks down and exploits bugs in some of the world's most popular software,...
Packt Publishing, 2021. — 316 p. — ISBN 9781800206786. Write fail-safe automation tests, device emulation, and browser automation using Puppeteer’s API powered by Google Key Features Get up and running with Puppeteer and discover best practices for automation testing Automate your modern web applications using Jest and Mocha with Puppeteer Generate screenshots using Puppeteer...
Springer, 2020. — 443 p. — ISBN: 978-3-030-41704-8. This book serves as both a textbook and handbook on the benchmarking of systems and components used as building blocks of modern information and communication technology applications. It provides theoretical and practical foundations as well as an in-depth exploration of modern benchmarks and benchmark development. The book is...
Hoboken: Wiley, 2018. — 616 p. This book introduces Software Quality Assurance (SQA) and provides an overview of standards used to implement SQA. It defines ways to assess the effectiveness of how one approaches software quality across key industry sectors such as telecommunications, transport, defense, and aerospace. Includes supplementary website with an instructor’s guide...
Wiley, 2018. — 544 p. — ISBN: 978-1118501825. This book introduces Software Quality Assurance (SQA) and provides an overview of standards used to implement SQA. It defines ways to assess the effectiveness of how one approaches software quality across key industry sectors such as telecommunications, transport, defense, and aerospace. Includes supplementary website with an...
Boca Raton: CRC Press, 2023. — 321 p. In the present era, software reliability plays a vital role in solving different kinds of problems and providing promising solutions in digital world. Because of the increase in digitalisation in today’s lifestyle and each and every service to make the life easier, good software interfaces are required. Due to the increase in the usability...
Mistrik I., Bahsoon R., Eeles P., Roshandel R., Stal M.
Elsevier / Morgan Kaufmann, 2014. — 390 p. — ISBN: 0124171680, 9780124171688
System Quality and Software Architecture collects state-of-the-art knowledge on how to intertwine software quality requirements with software architecture and how quality attributes are exhibited by the architecture of the system. Contributions...
Morgan Kaufmann, 2016. — 415 p. — ISBN: 978-0-12-802301-3. This book presents novel and high-quality research related approaches that relate the quality of software architecture to system requirements, system architecture and enterprise-architecture, or software testing. Modern software has become complex and adaptable due to the emergence of globalization and new software...
Morgan Kaufmann, 2016. — 415 p. — ISBN: 978-0-12-802301-3. This book presents novel and high-quality research related approaches that relate the quality of software architecture to system requirements, system architecture and enterprise-architecture, or software testing. Modern software has become complex and adaptable due to the emergence of globalization and new software...
Aarhus: Aarhus University, 2018. — 133 p. Undecidability of Program Correctness The Syntax of TIP Normalization Abstract Syntax Trees Control Flow Graphs Type Analysis Types Type Constraints Solving Constraints with Unification Limitations of the Type Analysis Record Types Motivating Example - Sign Analysis Lattices Constructing Lattices Equations, Monotonicity & Fixed-Points...
Springer, 2023. — 202 p. The notion of quality and usability has gained a prominent importance in information and communication technology as well as in computer science. In all phases of planning, design, implementation, and optimization of technical systems and services, quality aspects must be taken into account so that their users can experience optimal quality and...
2 edition. — AuthorHouse, 2004. — 632 p. — ISBN10: 1418493880; ISBN13: 978-1418493882. Software Reliability Engineering is the classic guide to this time-saving practice for the software professional. ACM Software Engineering Notes praised it as: ".an introductory book, a reference, and an application book all compressed in a single volume.The author's experience in reliability...
Apress, 2019. — 195 p. Utilize a set of practical guidelines to help your Agile organization elevate software design quality as an important business driver to achieve customer satisfaction and, ultimately, higher revenue for your company. This is the first book to focus on a holistic quality view—what it is and how it links to overall business enhancements. The real-world...
Manning Publications, 2015. — 192 p. — ISBN13: 978-1617291357. Software Development Metrics is a handbook for anyone who needs to track and guide software development and delivery at the team level, such as project managers and team leads. New development practices, including "agile" methodologies like Scrum, have redefined which measurements are most meaningful and under what...
Manning Publications, 2015. — 192 p. — ISBN13: 978-1617291357. Software Development Metrics is a handbook for anyone who needs to track and guide software development and delivery at the team level, such as project managers and team leads. New development practices, including "agile" methodologies like Scrum, have redefined which measurements are most meaningful and under what...
New York: Springer, 2005. — 282 p. Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of...
O’Reilly, 2009. — 302 p. — ISBN: 978-0596527488. Although most people don't give security much attention until their personal or business systems are attacked, this thought-provoking anthology demonstrates that digital security is not only worth thinking about, it's also a fascinating topic. Criminals succeed by exercising enormous creativity, and those defending against them...
Springer, 2011. — 297 p. — ISBN: 1441929517, 9781441929518
A brief but comprehensive introduction to the field and pragmatic guidance on the implementation of a sound quality system in the organization. It provides an enhanced knowledge of software inspections, metrics, process involvement, assessment of organization, problem solving, customer satisfaction surveys, the CMM,...
New York: CreateSpace Independent Publishing Platform, 2016. — 183 p.
How software developers approach quality plays a pivotal role in the successful outcome of their projects—yet all too often, quality is left to QA departments. It’s time to change that thinking. In The Programmer’s Guide to Quality Assurance, veteran developer David Pallmann provides clear practical guidance...
Springer, 2013. — 164 p. The development of software system with acceptable level of reliability and quality within available time frame and budget becomes a challenging objective. This objective could be achieved to some extent through early prediction of number of faults present in the software, which reduces the cost of development as it provides an opportunity to make early...
Auerbach Publications, 2024. — 214 p. — ISBN: 978-1-032-69301-9. In today’s fast-paced digital world, delivering high-quality software is not just a goal; it’s an absolute necessity. A Guide to Software Quality Engineering is a companion book for anyone involved in software development, testing, or quality assurance. This comprehensive book takes you on a transformative journey...
Springer, 2006. — 442 p.
This book aims to present the state-of-the-art of system software reliability in theory and practice and recent research on this subject over the last five years. It is a textbook based mainly on the author’s recent research and publications as well as experience of 20 years in this field. The topics covered are organized as follows:
Chapter 1 gives a...
Idaho National Engineering Laboratory, 1991. — 107 p. This report presents the results of the first phase of the ongoing EG&G Idaho, Inc. Software Reliability Research Program. The program is studying the existing software reliability mc:lels and proposes a state-of-the-art software reliability model that is relevant to the nuclear reactor control environment. This report...
IGI Global, 2008. — 526 p. — ISBN10: 160566006X; ISBN13: 978-1605660066. Model-driven software development (MDSD) drastically alters the software development process, characterized by a high degree of innovation and productivity. However, quality assurance application in the domain of software models and model-driven software development is still in an emergent...
Springer, 2006. — 379 p. — ISBN: 978-0-387-39388-9. The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization;...
Fourth Edition. — Artech House, 2007. — 486 p. The software industry is witnessing a dramatic rise in the impact and effectiveness of software quality assurance (SQA). From its day of infancy, when a handful of software pioneers explored the first applications of quality assurance to the development of software, SQA has become integrated into all phases of software development....
Packt Publishing, 2023. — 284 p. Key Features • Master ZAP to protect your systems from different cyber attacks • Learn cybersecurity best practices using this step-by-step guide packed with practical examples • Implement advanced testing techniques, such as XXE attacks and Java deserialization, on web applications Book Description This book will help you safeguard your...
Wiley-IEEE Computer Society Press, 2014. — 205 p. — ISBN: 9781118592496 A concise, engineering-oriented resource that provides practical support to IT professionals and those responsible for the quality of the software or systems they develop Software quality stems from two distinctive, but associated, topics in software engineering: software functional quality and software...
Wiley-Interscience, 2005. - 440 p. - ISBN: 0471713457
The one resource needed to create reliable software
This text offers a comprehensive and integrated approach to software quality engineering. By following the author's clear guidance, readers learn how to master the techniques to produce high-quality, reliable software, regardless of the software system's level of...
Taylor & Francis Group, LLC., 2021. — 226 p. — ISBN: 978-0-367-35488-6. This book focuses on a specialized branch of the vast domain of software engineering: component-based software engineering (CBSE). Component-Based Software Engineering: Methods and Metrics enhances the basic understanding of components by defining categories, characteristics, repository, interaction,...
Taylor & Francis Group, LLC., 2021. — 226 p. — ISBN: 978-0-367-35488-6. This book focuses on a specialized branch of the vast domain of software engineering: component-based software engineering (CBSE). Component-Based Software Engineering: Methods and Metrics enhances the basic understanding of components by defining categories, characteristics, repository, interaction,...
C. Wohlin, M. Host, P. Runeson and A. Wesslen, Software Reliability, in Encyclopedia of Physical Sciences and Technology (third edition), Vol. 15, Academic Press, 2001. — 28 p. Reliability measurement and modeling: an introduction. Usage and reliability modeling. Application of reliability measurement . Usage-based testing. Purpose. Usage specifications overview. Derivation of...
Springer, 2023. — 178 p. 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...
Springer Tokyo Heidelberg New York Dordrecht London, 2014, X, 90 p. 60 illus. — ISBN: 978-4-431-54564-4, ISBN: 978-4-431-54565-1 (eBook), DOI 10.1007/978-4-431-54565-1 — (SpringerBriefs in Statistics). Explains fundamentals of software quality/reliability assessment Discusses practical applications of software reliability modeling Presents recent developments in software...
Wiley, 2023. — 355 p. — (Wiley Series in Quality & Reliability Engineering). — ISBN 9781119931829. Authoritative resource providing step-by-step guidance for producing reliable software to be tailored for specific projects. Software Reliability Techniques for Real-World Applications is a practical, up to date, go-to source that can be referenced repeatedly to efficiently...
СПб.: БХВ-Петербург, 2010. — 560 с. — ISBN: 978-5-9775-0404-1 В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем,...
СПб.: БХВ-Петербург, 2010. — 560 с. — ISBN: 978-5-9775-0404-1.
В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем,...
М.: Вильямс, 2010. — 256 с. — ISBN: 978-5-8459-1538-2
Данная книга, основывающаяся на уникальном опыте Мэри и Тома Поппендик, поможет организациям, занятым созданием ПО, оптимизировать свои технологические процессы. Здесь читатель узнает, какие вопросы следует задавать в той или иной ситуации, каким проблемам следует уделять больше внимания и какие методы доказали свою...
М.: ДМК Пресс, 2021. – 285 с.: ил. Хаос-инжиниринг – относительно новое, однако уже широко востребованное направление в разработке ПО. Тысячи компаний разных размеров и разного уровня развития используют этот метод в качестве основного инструмента тестирования и контроля, чтобы сделать свои продукты и услуги более безопасными и надежными. Эта книга охватывает историю рождения...
В книге американских специалистов фирмы TRW рассмотрены возможные ошибки при разработке систем программного обеспечения и изложены методы выявления причин их возникновения. Основное внимание уделено построению математических моделей программного обеспечения, пзволяющих оценивать его надежность.
Книга предназначена для разработчиков ПО, инженеров-математиков, обслуживающих ЭВМ, а...
Комментарии