Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,599,161 papers from all fields of science
Search
Sign In
Create Free Account
Test assertion
In computer software testing, a test assertion is an expression which encapsulates some testable logic specified about a target under test.The…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
2 relations
Assertion (software development)
Broader (1)
Software testing
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Computing for Diagnosis of HDL Code
V. Hahanov
,
E. Litvinova
,
S. Chumachenko
2018
Corpus ID: 67184904
This chapter describes a structural method for system-on-a-chip (SoC) Hardware Description Language (HDL) model diagnosis, based…
Expand
2010
2010
Test Assertions Part 2 - Test Assertion Markup Language Version 1.0
P. Curran
,
J. Durand
,
Stephen D. Green
2010
Corpus ID: 59786127
: This document defines an XML vocabulary for representing test assertions aligned with the Test Assertions Model.