An Introduction to Verification of Visualization Techniques

Tiago Etiene, Robert M Kirby, Claudio Silva

Research output: Book/ReportBook

Abstract

As we increase our reliance on computer-generated information, often using it as part of our decision-making process, we must devise tools to assess the correctness of that information. Consider, for example, software embedded on vehicles, used for simulating aircraft performance, or used in medical imaging. In those cases, software correctness is of paramount importance as there's little room for error. Software verification is one of the tools available to attain such goals. Verification is a well known and widely studied subfield of computer science and computational science and the goal is to help us increase confidence in the software implementation by verifying that the software does what it is supposed to do. The goal of this book is to introduce the reader to software verification in the context of visualization. In the same way we became more dependent on commercial software, we have also increased our reliance on visualization software. The reason is simple: visualization is the lens through which users can understand complex data, and as such it must be verified. The explosion in our ability to amass data requires tools not only to store and analyze data, but also to visualize it. This book is comprised of six chapters. After an introduction to the goals of the book, we present a brief description of both worlds of visualization (Chapter 2) and verification (Chapter 3). We then proceed to illustrate the main steps of the verification pipeline for visualization algorithms. We focus on two classic volume visualization techniques, namely, Isosurface Extraction (Chapter 4) and Direct Volume Rendering (Chapter 5). We explain how to verify implementations of those techniques and report the latest results in the field of verification of visualization techniques. The last chapter concludes the book and highlights new research topics for the future
Original languageEnglish (US)
PublisherMorgan and Claypool Publishers
Number of pages80
ISBN (Print)1627058346, 9781627058339, 9781627058346
DOIs
StatePublished - 2015

Publication series

NameSynthesis lectures on visual computing: computer graphics, animation, computational photography, and imaging
Volume#22
ISSN (Print)2469-4223

Fingerprint

Visualization
Volume rendering
Embedded software
Medical imaging
Computer science
Explosions
Lenses
Pipelines
Decision making
Aircraft

Keywords

  • REFERENCE / Questions & Answers
  • Visualization
  • isosurfaces
  • Information visualization
  • visualization
  • volume rendering
  • Computer software
  • verification
  • geometry processing
  • verifiable visualization

Cite this

Etiene, T., Kirby, R. M., & Silva, C. (2015). An Introduction to Verification of Visualization Techniques. (Synthesis lectures on visual computing: computer graphics, animation, computational photography, and imaging; Vol. #22). Morgan and Claypool Publishers. https://doi.org/10.2200/S00679ED1V01Y201511CGR022

An Introduction to Verification of Visualization Techniques. / Etiene, Tiago; Kirby, Robert M; Silva, Claudio.

Morgan and Claypool Publishers, 2015. 80 p. (Synthesis lectures on visual computing: computer graphics, animation, computational photography, and imaging; Vol. #22).

Research output: Book/ReportBook

Etiene, T, Kirby, RM & Silva, C 2015, An Introduction to Verification of Visualization Techniques. Synthesis lectures on visual computing: computer graphics, animation, computational photography, and imaging, vol. #22, Morgan and Claypool Publishers. https://doi.org/10.2200/S00679ED1V01Y201511CGR022
Etiene T, Kirby RM, Silva C. An Introduction to Verification of Visualization Techniques. Morgan and Claypool Publishers, 2015. 80 p. (Synthesis lectures on visual computing: computer graphics, animation, computational photography, and imaging). https://doi.org/10.2200/S00679ED1V01Y201511CGR022
Etiene, Tiago ; Kirby, Robert M ; Silva, Claudio. / An Introduction to Verification of Visualization Techniques. Morgan and Claypool Publishers, 2015. 80 p. (Synthesis lectures on visual computing: computer graphics, animation, computational photography, and imaging).
@book{8fcc6e6067c042b2ad0deb80e9928e4f,
title = "An Introduction to Verification of Visualization Techniques",
abstract = "As we increase our reliance on computer-generated information, often using it as part of our decision-making process, we must devise tools to assess the correctness of that information. Consider, for example, software embedded on vehicles, used for simulating aircraft performance, or used in medical imaging. In those cases, software correctness is of paramount importance as there's little room for error. Software verification is one of the tools available to attain such goals. Verification is a well known and widely studied subfield of computer science and computational science and the goal is to help us increase confidence in the software implementation by verifying that the software does what it is supposed to do. The goal of this book is to introduce the reader to software verification in the context of visualization. In the same way we became more dependent on commercial software, we have also increased our reliance on visualization software. The reason is simple: visualization is the lens through which users can understand complex data, and as such it must be verified. The explosion in our ability to amass data requires tools not only to store and analyze data, but also to visualize it. This book is comprised of six chapters. After an introduction to the goals of the book, we present a brief description of both worlds of visualization (Chapter 2) and verification (Chapter 3). We then proceed to illustrate the main steps of the verification pipeline for visualization algorithms. We focus on two classic volume visualization techniques, namely, Isosurface Extraction (Chapter 4) and Direct Volume Rendering (Chapter 5). We explain how to verify implementations of those techniques and report the latest results in the field of verification of visualization techniques. The last chapter concludes the book and highlights new research topics for the future",
keywords = "REFERENCE / Questions & Answers, Visualization, isosurfaces, Information visualization, visualization, volume rendering, Computer software, verification, geometry processing, verifiable visualization",
author = "Tiago Etiene and Kirby, {Robert M} and Claudio Silva",
note = "Includes bibliographical references (pages 73-77)",
year = "2015",
doi = "10.2200/S00679ED1V01Y201511CGR022",
language = "English (US)",
isbn = "1627058346",
series = "Synthesis lectures on visual computing: computer graphics, animation, computational photography, and imaging",
publisher = "Morgan and Claypool Publishers",
address = "United States",

}

TY - BOOK

T1 - An Introduction to Verification of Visualization Techniques

AU - Etiene, Tiago

AU - Kirby, Robert M

AU - Silva, Claudio

N1 - Includes bibliographical references (pages 73-77)

PY - 2015

Y1 - 2015

N2 - As we increase our reliance on computer-generated information, often using it as part of our decision-making process, we must devise tools to assess the correctness of that information. Consider, for example, software embedded on vehicles, used for simulating aircraft performance, or used in medical imaging. In those cases, software correctness is of paramount importance as there's little room for error. Software verification is one of the tools available to attain such goals. Verification is a well known and widely studied subfield of computer science and computational science and the goal is to help us increase confidence in the software implementation by verifying that the software does what it is supposed to do. The goal of this book is to introduce the reader to software verification in the context of visualization. In the same way we became more dependent on commercial software, we have also increased our reliance on visualization software. The reason is simple: visualization is the lens through which users can understand complex data, and as such it must be verified. The explosion in our ability to amass data requires tools not only to store and analyze data, but also to visualize it. This book is comprised of six chapters. After an introduction to the goals of the book, we present a brief description of both worlds of visualization (Chapter 2) and verification (Chapter 3). We then proceed to illustrate the main steps of the verification pipeline for visualization algorithms. We focus on two classic volume visualization techniques, namely, Isosurface Extraction (Chapter 4) and Direct Volume Rendering (Chapter 5). We explain how to verify implementations of those techniques and report the latest results in the field of verification of visualization techniques. The last chapter concludes the book and highlights new research topics for the future

AB - As we increase our reliance on computer-generated information, often using it as part of our decision-making process, we must devise tools to assess the correctness of that information. Consider, for example, software embedded on vehicles, used for simulating aircraft performance, or used in medical imaging. In those cases, software correctness is of paramount importance as there's little room for error. Software verification is one of the tools available to attain such goals. Verification is a well known and widely studied subfield of computer science and computational science and the goal is to help us increase confidence in the software implementation by verifying that the software does what it is supposed to do. The goal of this book is to introduce the reader to software verification in the context of visualization. In the same way we became more dependent on commercial software, we have also increased our reliance on visualization software. The reason is simple: visualization is the lens through which users can understand complex data, and as such it must be verified. The explosion in our ability to amass data requires tools not only to store and analyze data, but also to visualize it. This book is comprised of six chapters. After an introduction to the goals of the book, we present a brief description of both worlds of visualization (Chapter 2) and verification (Chapter 3). We then proceed to illustrate the main steps of the verification pipeline for visualization algorithms. We focus on two classic volume visualization techniques, namely, Isosurface Extraction (Chapter 4) and Direct Volume Rendering (Chapter 5). We explain how to verify implementations of those techniques and report the latest results in the field of verification of visualization techniques. The last chapter concludes the book and highlights new research topics for the future

KW - REFERENCE / Questions & Answers

KW - Visualization

KW - isosurfaces

KW - Information visualization

KW - visualization

KW - volume rendering

KW - Computer software

KW - verification

KW - geometry processing

KW - verifiable visualization

U2 - 10.2200/S00679ED1V01Y201511CGR022

DO - 10.2200/S00679ED1V01Y201511CGR022

M3 - Book

SN - 1627058346

SN - 9781627058339

SN - 9781627058346

T3 - Synthesis lectures on visual computing: computer graphics, animation, computational photography, and imaging

BT - An Introduction to Verification of Visualization Techniques

PB - Morgan and Claypool Publishers

ER -