To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Application testing is often emphasised in practice, as it ensures that an entire software system works for a user. However, this is substantially more complex than unit-testing, so this topic is addressed after the underlying concepts have been introduced in the previous chapters. As for object-oriented testing, this is a significant topic, and the reader is introduced to the common form used in practice: user-story testing. A worked example is used to present the techniques involved to analyse the software interface and produce a fully automated set of tests for a web-based application. A more detailed analysis follows, identifying many of the more difficult problems that an application tester will experience.
Testing is an important element in the software development cycle. This chapter examines where software testing fits into a number of software process models: the waterfall model, the V-model, incremental and Agile development, eXtreme Programming, and SCRUM.
There is a subtle distinction between statements in a program, and the branches between those statements. Even with full statement coverage, faults may remain. This chapter presented shows how to identify branches in the code that have not been taken during testing, and how to develop additional tests to ensure that they produce the correct results when they are taken.
The book is summarised by reviewingthe topics discussed and practised. It then motivates the software testing process used in the book by tracing all the steps backwards based on the data required by each step. We further provide additional reading material, categoriesed by important topics such as random testing, program proving, testing safety-critical software, etc. The chapter closes with a glimpse into current 'hot' research topics.
Combinations of different inputs, when not correctly handled, are a frequent cause of faults in software. Decision tables allow the tester to identify these combinations, and further improve the test coverage. Building on the knowledge gained in the previous chapters, this chapter explains how to identify casues and effects, build a decision table, and then use the rules in the table to develop test cases and automated tests.
This chapter presents models of bargaining. Bargaining occurs in real life between the buyer and seller of a house, for example. This is a game-theoretic problem because it is useful to think about the situation of the other player. Both players have something to gain by reaching an agreement.
A game in strategic form does not always have an equilibrium in which each player chooses her strategy deterministically. As we describe in this chapter, Nash (1951) showed that any finite strategic-form game has an equilibrium if players are allowed to use mixed strategies.
The study of complex variables is beautiful from a purely mathematical point of view, and very useful for solving a wide array of problems arising in applications. This introduction to complex variables, suitable as a text for a one-semester course, has been written for undergraduate students in applied mathematics, science, and engineering. Based on the authors' extensive teaching experience, it covers topics of keen interest to these students, including ordinary differential equations, as well as Fourier and Laplace transform methods for solving partial differential equations arising in physical applications. Many worked examples, applications, and exercises are included. With this foundation, students can progress beyond the standard course and explore a range of additional topics, including generalized Cauchy theorem, Painlevé equations, computational methods, and conformal mapping with circular arcs. Advanced topics are labeled with an asterisk and can be included in the syllabus or form the basis for challenging student projects.
Designed for a single-semester course, this concise and approachable text covers all of the essential concepts needed to understand modern communications systems. Balancing theory with practical implementation, it presents key ideas as a chain of functions for a transmitter and receiver, covering topics such as amplification, up- and down-conversion, modulation, dispersive channel compensation, error-correcting codes, acquisition, multiple-antenna and multiple-input multiple-output antenna techniques, and higher level communications functions. Analog modulations are also presented, and all of the basic and advanced mathematics, statistics, and Fourier theory needed to understand the concepts covered is included. Supported online with PowerPoint slides, a solutions manual, and additional MATLAB-based simulation problems, it is ideal for a first course in communications for senior undergraduate and graduate students.