certification kit
ConceptA certification kit is a set of test cases or test programs used to support certification processes by checking conformance of an implementation, such as microprocessor hardware, against a model or specification.
First seen 5/25/2026
Last seen 5/26/2026
Evidence 3 chunks
Wiki v1
WIKI
Definition
A certification kit is a set of test cases used in a certification process. In the cited microprocessor-certification context, vendors may provide customers with necessary test programs, and such a set of test cases is called a certification kit. [C1]
Role in certification
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
1 connectionsThe paper proposes a model-based approach to generating certification kits.
LINKED ENTITIES
1 linksCITATIONS
5 sources5 citations — click to expand
[1] A certification kit is a set of test cases used to support certification processes. Test Program Generation for a Microprocessor: A Case Study
[2] Generated test cases can be used to check whether hardware conforms to the VAMP processor model. Test Program Generation for a Microprocessor: A Case Study
[3] Certification bodies may require test sets checking conformance of an underlying processor model to real hardware, including in high-level certification scenarios such as Common Criteria EAL 7. Test Program Generation for a Microprocessor: A Case Study
[4] Certification kits are usually manually developed, and selling such kits is described as profitable in contexts including avionics certifications according to DO-178 and DO-245. Test Program Generation for a Microprocessor: A Case Study
[5] Model-based generation of test programs can form the basis for a certification kit by reusing verification models and generating test sequences with HOL-TestGen. Test Program Generation for a Microprocessor: A Case Study