A system and method are provided for testing successfulness of an operation having pre-conditions and post-conditions that must be satisfied for the operation to be successful. Two types of assertion classes are provided, where one of the of the assertion classes implements assertion-checking logic and the other assertion class implements only null operations, and one of the assertion classes is selected to be raised. A first assertion is raised asserting a pre-condition that must evaluate to true if the operation is successful. The operation is then executed. A second assertion is raised asserting a post-condition that must evaluate to true if the operation is successful. An error message is outputted upon failure of at least one of the assertions, where the failed assertion implements assertion-checking logic.

Un sistema e un metodo sono forniti per l'esito difficile di un funzionamento che ha i presupposti ed alberino-condizioni che devono essere soddisfatti affinchè il funzionamento riescano. Due tipi di codici categoria di asserzione sono forniti, dove uno del degli strumenti dei codici categoria di asserzione checontrollano la logica e l'altra asserzione classificano i funzionamenti nulli degli strumenti soltanto ed uno dei codici categoria di asserzione è selezionato per essere alzato. Una prima asserzione è sollevata che asserice un presupposto che deve valutare per allineare se il funzionamento riesce. Il funzionamento allora è eseguito. Una seconda asserzione è sollevata che asserice una alberino-condizione che deve valutare per allineare se il funzionamento riesce. Un messaggio di errore è outputted su guasto almeno di una delle asserzioni, dove l'asserzione guastata effettua il asserzione-controllo della logica.