|
Showing 1 - 3 of
3 matches in All Departments
Explores and identifies the main issues, concepts, principles and
evolution of software testing, including software quality
engineering and testing concepts, test data generation, test
deployment analysis, and software test management This book
examines the principles, concepts, and processes that are
fundamental to the software testing function. This book is divided
into five broad parts. Part I introduces software testing in the
broader context of software engineering and explores the qualities
that testing aims to achieve or ascertain, as well as the lifecycle
of software testing. Part II covers mathematical foundations of
software testing, which include software specification, program
correctness and verification, concepts of software dependability,
and a software testing taxonomy. Part III discusses test data
generation, specifically, functional criteria and structural
criteria. Test oracle design, test driver design, and test outcome
analysis is covered in Part IV. Finally, Part V surveys managerial
aspects of software testing, including software metrics, software
testing tools, and software product line testing. * Presents
software testing, not as an isolated technique, but as part of an
integrated discipline of software verification and validation *
Proposes program testing and program correctness verification
within the same mathematical model, making it possible to deploy
the two techniques in concert, by virtue of the law of diminishing
returns * Defines the concept of a software fault, and the related
concept of relative correctness, and shows how relative correctness
can be used to characterize monotonic fault removal * Presents the
activity of software testing as a goal oriented activity, and
explores how the conduct of the test depends on the selected goal *
Covers all phases of the software testing lifecycle, including test
data generation, test oracle design, test driver design, and test
outcome analysis Software Testing: Concepts and Operations is a
great resource for software quality and software engineering
students because it presents them with fundamentals that help them
to prepare for their ever evolving discipline.
|
Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings (Paperback, 1st ed. 2017)
Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiene Tahar
|
R1,557
Discovery Miles 15 570
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 11th International
Conference International Conference on Verification and Evaluation
of Computer and Communication Systems ( VECoS 2017 ), held at
Concordia University, Montreal, Canada, in August 2017. The 13 full
papers, together with 3 abstracts in this volume were carefully
reviewed and selected from 35 submissions. The aim of the VECoS
conference is to bring together researchers and practitioners in
the areas of verification, control, performance and dependability
evalu-ation in order to discuss state-of-the-art and challenges in
modern computer and communication systems in which functional and
extra-functional properties are strongly interrelated. Thus, the
main motivation for VECoS is to encourage the cross-fertilization
between various formal verification and evaluation approaches,
methods and techniques, and especially those developed for
concurrent and dis-tributed hardware/software systems.
first university level course in discrete mathematics
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Ab Wheel
R209
R149
Discovery Miles 1 490
|