Multiple verification cases consisting of code sequence and initial
context, and suitable for electrical verification testing of a device, are
generated from a single verification case by permuting, or changing, the
code sequence, by either permuting the initial context of the code
sequence or permuting the code sequence itself. The code sequence is an
array of computer instructions to be executed by a computer and the
initial context of the code sequence refers to the environment in which
the code sequence is to be run.
De veelvoudige controlegevallen die uit codeopeenvolging en aanvankelijke context bestaan, en geschikt voor het elektrocontrole testen van een apparaat, worden geproduceerd van één enkel controlegeval door het herschikken, of het veranderen, de codeopeenvolging, door of de aanvankelijke context van de codeopeenvolging te herschikken of de codeopeenvolging zelf te herschikken. De codeopeenvolging is een serie van computerinstructies die door een computer moeten worden uitgevoerd en de aanvankelijke context van de codeopeenvolging verwijst naar het milieu waarin de codeopeenvolging moet worden in werking gesteld.
