Listen to Coronavirus Patient Zero
Software quality stems from two distinctive, but associated, topics in software engineering: software functional quality and software structural quality. Software Quality Engineering studies the tenets of both of these notions, which focus on the efficiency and value of a design, respectively. The text addresses engineering quality on both the application and system levels with attention to Information Systems and Embedded Systems as well as recent developments. Targeted at graduate engineering students and software quality specialists, the book analyzes the relationship between functionality and quality with practical applications to related ISO/IEC JTCI SC7 standards.
The fundamental values central to the Messier/Glover/Prawitt text include: student engagement, a systematic approach, and decision making. Student Engagement: The authors believe students are best served by acquiring a strong understanding of the basic concepts that underlie the audit process and how to apply those concepts to various audit and assurance services. The text is accessible to students through straightforward writing and the use of engaging, relevant real-world examples, illustrations, and analogies. The text explicitly encourages students to 'stop and think' at important points in the text to help them apply principles covered and also helps students see the application of concepts in a practical setting through 'practice insight' boxes. A Systematic Approach: The authors first introduce the three underlying concepts of audit risk, materiality, and evidence, then follow with a discussion of audit planning, the assessment of control risk, and a discussion of the nature, timing, and extent of evidence necessary to reach the appropriate level of detection risk. These concepts are then applied to each major business process and related account balances using a risk-based approach, (in following with the new standards adopted by the various auditing boards). Decision Making: Since much of auditing practice involves the application of auditor judgment, the authors focus on critical judgments and decision-making processes. If a student understands these basic concepts and how to apply them to an audit engagement, he or she will be more effective in today's dynamic audit environment. The new edition even includes a full advanced module on Professional Judgment.
This book teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test cases, and check the results of test runs. These methods increase the automation in each of these steps, making them more timely, more thorough, and more effective. Using a familiar programming language, testers and analysts will learn to write models that describe how a program is supposed to behave. The authors work through several realistic case studies in depth and detail, using a toolkit built on the C# language and the .NET framework. Readers can also apply the methods in analyzing and testing systems in many other languages and frameworks. Intended for professional software developers including testers, and for university students, this book is suitable for courses on software engineering, testing, specification, or applications of formal methods.