Method / 02

Direct examination of consequential behavior in representative environments, states, and failure conditions.

Independent software assuranceSM / 02.16

SecondMark position

Some claims cannot be established from static artifacts. Runtime qualification tests the behavior produced by the complete system under controlled, observable conditions.

The examination is bounded to defined claims, a versioned system, and evidence that can be traced to the state under review. Any material exclusion or uncertainty remains visible in the conclusion.

01

Core questions

What the examination needs to establish.

  1. 01

    Does the deployed path match the examined path?

  2. 02

    Are identity and state preserved across transitions?

  3. 03

    What happens under partial dependency failure?

  4. 04

    Can observed results be reproduced and attributed?

02

Evidence model

Evidence is assembled around the claim—not the folder structure.

01

Defined claims and decision context

Collected, attributed, challenged, and connected to the exact system boundary under examination.

02

Versioned system and dependency record

Collected, attributed, challenged, and connected to the exact system boundary under examination.

03

Direct observations and reproducible tests

Collected, attributed, challenged, and connected to the exact system boundary under examination.

04

Contradictory, missing, and residual evidence

Collected, attributed, challenged, and connected to the exact system boundary under examination.

Intended outcome

Behavioral evidence tied to the system, environment, state, and release actually being assured.

Recorded reasoning chainFindings linked to evidenceConditions for continuing validity
03

Professional boundary

What an opinion does—and does not—mean.

It provides

A traceable independent conclusion on defined claims, grounded in the evidence and system state examined.

It does not provide

A guarantee that failure is impossible, a permanent certification, or a conclusion beyond the stated scope and validity conditions.