Skip to content

The CNA BibleCNA 0.1.0-alpha.1 Edition

The CNA Bible
Preface
Reading Paths
Production and Evidence Method
Part ICNA and Its Ecosystem
Part IIArchitecture, Building, and the Framework
Part IIIThe Graphics Machine
Part IVThe Renderers
Part VThe Content Pipeline
Part VI3D Content: Models, glTF, and Conformance
Part VIIInput, Audio, Media, Devices, Networking, and Services
Part VIIIsharp-runtime: The Foundation Layer
Part IXSibling Foundation Libraries
1. Chapter 59easy-gl and meta-gl: Profile, Loader, and Dispatch
2. Chapter 60free-direct and free-api
Part XCross-Platform Engineering
Part XITesting and Verification
Part XIIPorting, Practice, and the Road Ahead
Appendix ACore Framework and Graphics API Reference
Appendix BRenderer Registry, Capabilities, and Evidence
Appendix CGlossary of XNA and CNA Terms
Appendix DRepository and Module Map
Appendix ECNAEXT: Marker and Engine-Layer Catalog
Appendix FEcosystem and Platform Reference
Appendix GVerification Tiers and Oracles
Appendix HglTF Importer, Runtime, and Test-Evidence Matrix
Appendix IExperimental Native C API
Index

The CNA Bible / Part XI Testing and Verification

Part XI Testing and Verification

Chapters in this part

Chapter 68 The CnaTests Architecture
Chapter 69 Counting Discipline
Chapter 70 Oracles: What Does “Correct” Mean?
Chapter 71 Verification in Hostile Environments
Chapter 72 Discipline as a Test
Chapter 73 CI Execution and Coverage

PreviousAndroid and Apple Platform Evidence NextThe CnaTests Architecture

Type at least three characters. Results are ranked by how often and where the words occur.

The CNA Bible — CNA 0.1.0-alpha.1 Edition. Written by Robert Vokac. HTML edition generated from the LaTeX source with LaTeXML.

Source repository