Controlled verification register: all listed M&Q Engineering Suite tool records have been code reviewed, function checked, analytically verified where applicable, and closed as PASS. Internal tool identifiers are intentionally hidden on this public-facing technical page.
VR
ESG Tools Verification
Compliance & Reporting
▾
Record overview
Batch
Full 10-Tool Suite
Tools verified
10
Overall result
PASS
✓ 10 pass
Tool verification records
VerifiedScope 1 Emissions Audit
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate fuel EF lookup, jurisdiction rules, CO2e calc (qty×EF) and dataset aggregation.
2. Test Methods
Analytical reconstruction of internal formulae and factor logic.
Boundary and malformed input testing.
Dataset and aggregation consistency validation.
3. Acceptance Criteria
Outputs match analytical expectations within tolerance.
Regulatory factor sets applied deterministically.
4. Test Evidence
DEFRA/EPA factor table applied per fuel; total = qty × factor; audit log aggregation.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedScope 2 Dual-Method Audit
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate location-based vs market-based EF, residual mix multiplier and avoided emissions.
2. Test Methods
Analytical reconstruction of internal formulae and factor logic.
Boundary and malformed input testing.
Dataset and aggregation consistency validation.
3. Acceptance Criteria
Outputs match analytical expectations within tolerance.
Regulatory factor sets applied deterministically.
4. Test Evidence
Loc = kWh×gridEF; Mkt = kWh×mktEF; avoided = loc − mkt; EF sets by region.
Validate Cpk/CPL/CPU logic across raw-measurement, known-stats and defect-based modes.
2. Test Methods
Analytical re-derivation of all formulas and recomputation using independent test vectors.
Boundary, extreme-case and multi-scenario validation.
3. Acceptance Criteria
Numerical agreement with governing equations to expected rounding precision.
Deterministic behaviour; no divergence under zero, null, or high-variance conditions.
4. Test Evidence
Mean and sigma computed per mode; Cpk = min((USL-mu)/(3*sigma), (mu-LSL)/(3*sigma)). Verified across all pathways.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedLine Balancer Pro
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate takt computation, cycle-time comparison, bottleneck detection and line-efficiency logic.
2. Test Methods
Analytical re-derivation of all formulas and recomputation using independent test vectors.
Boundary, extreme-case and multi-scenario validation.
3. Acceptance Criteria
Numerical agreement with governing equations to expected rounding precision.
Deterministic behaviour; no divergence under zero, null, or high-variance conditions.
4. Test Evidence
Takt = Available_Time/Demand; Bottleneck = max(Cycle); Efficiency = (Sum_Cycle)/(Stations x Bottleneck). All calculations verified with multi-station scenarios.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedM&Q Yield Engine
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate RTY, step yield, DPMO and sigma approximations.
2. Test Methods
Analytical re-derivation of all formulas and recomputation using independent test vectors.
Boundary, extreme-case and multi-scenario validation.
3. Acceptance Criteria
Numerical agreement with governing equations to expected rounding precision.
Deterministic behaviour; no divergence under zero, null, or high-variance conditions.
4. Test Evidence
Step Yield = (Inspected-Defects)/Inspected; RTY = Product(Step_Yield); DPMO = Defects/(Units x Opps) x 1e6. Sigma approximation matched tool implementation.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedOEE Performance Engine
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate availability, performance, quality and OEE aggregation.
2. Test Methods
Analytical re-derivation of all formulas and recomputation using independent test vectors.
Boundary, extreme-case and multi-scenario validation.
3. Acceptance Criteria
Numerical agreement with governing equations to expected rounding precision.
Deterministic behaviour; no divergence under zero, null, or high-variance conditions.
4. Test Evidence
Availability = Runtime/Planned; Performance = (Ideal_CT x Total_Count)/(Runtime x 60); Quality = Good/Total; OEE = A x P x Q. Verified with representative shift data.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedSample Size Validator
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate Z-based sample size equation for means.
2. Test Methods
Analytical re-derivation of all formulas and recomputation using independent test vectors.
Boundary, extreme-case and multi-scenario validation.
3. Acceptance Criteria
Numerical agreement with governing equations to expected rounding precision.
Deterministic behaviour; no divergence under zero, null, or high-variance conditions.
4. Test Evidence
n = ((Z_alpha + Z_beta)^2 x sigma^2) / delta^2. Boundary behaviour and sensitivity curve verified for multiple sigma and delta values.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedBox-Cox Transformer
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate lambda-based transformation including lambda=0 (natural log).
2. Test Methods
Analytical re-derivation of all formulas and recomputation using independent test vectors.
Boundary, extreme-case and multi-scenario validation.
3. Acceptance Criteria
Numerical agreement with governing equations to expected rounding precision.
Deterministic behaviour; no divergence under zero, null, or high-variance conditions.
4. Test Evidence
W = (Y^lambda - 1)/lambda for lambda != 0; W = ln(Y) for lambda = 0. Histogram and mapping confirmed against manual computation.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedSMED ROI Engine
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate changeover time reduction ROI and payback model.
2. Test Methods
Analytical re-derivation of all formulas and recomputation using independent test vectors.
Boundary, extreme-case and multi-scenario validation.
3. Acceptance Criteria
Numerical agreement with governing equations to expected rounding precision.
Deterministic behaviour; no divergence under zero, null, or high-variance conditions.
4. Test Evidence
Monthly_Hours_Saved = (Current-Target) x Freq/60; Annual_Savings = Monthly_Saved x 12 x Rate; Payback = Investment/Monthly_Savings. Verified across multiple reduction scenarios.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedKanban Bin Engine
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate bin quantity based on Lean/JIT formula.
2. Test Methods
Analytical re-derivation of all formulas and recomputation using independent test vectors.
Boundary, extreme-case and multi-scenario validation.
3. Acceptance Criteria
Numerical agreement with governing equations to expected rounding precision.
Deterministic behaviour; no divergence under zero, null, or high-variance conditions.
4. Test Evidence
N = (Demand x Lead_Time x (1+Safety%))/Bin_Capacity. WIP trace and saw-tooth pattern verified analytically.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedVA Ratio Analyzer
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate TIMWOODS waste aggregation and VA-ratio output.
2. Test Methods
Analytical re-derivation of all formulas and recomputation using independent test vectors.
Boundary, extreme-case and multi-scenario validation.
3. Acceptance Criteria
Numerical agreement with governing equations to expected rounding precision.
Deterministic behaviour; no divergence under zero, null, or high-variance conditions.
4. Test Evidence
Lead_Time = VA + Sum(Wastes); VA_Ratio = VA/Lead_Time. Confirmed with controlled waste distributions.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedPareto Analyzer
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate Pareto 80/20 grouping, ranking and cumulative percent.
2. Test Methods
Analytical re-derivation of all formulas and recomputation using independent test vectors.
Boundary, extreme-case and multi-scenario validation.
3. Acceptance Criteria
Numerical agreement with governing equations to expected rounding precision.
Deterministic behaviour; no divergence under zero, null, or high-variance conditions.
4. Test Evidence
Frequency aggregation -> Descending sort -> Cumulative% = (Sum_Freq_i / Total) x 100. Verified using multi-category input sets.
Validate fault-tree Boolean logic, probability propagation, minimal cut set extraction and SVG layout.
2. Test Methods
Analytical reconstruction of governing reliability/safety mathematics.
Boundary, malformed-input and deterministic-output consistency testing.
Visualisation/plot integrity checks where applicable.
3. Acceptance Criteria
All computed values match analytical formulae to floating-point tolerance.
Internal state propagation remains stable over repeated evaluation.
4. Test Evidence
OR = 1 - Product(1-p_i); AND = Product(p_i). MCS computed via OR-union and AND-Cartesian product, followed by pruning of supersets. Layout uses level indexing and deterministic x/y spacing.
Analytical reconstruction of governing reliability/safety mathematics.
Boundary, malformed-input and deterministic-output consistency testing.
Visualisation/plot integrity checks where applicable.
3. Acceptance Criteria
All computed values match analytical formulae to floating-point tolerance.
Internal state propagation remains stable over repeated evaluation.
4. Test Evidence
All SOURCE->SINK simple paths enumerated; minimal sets found by eliminating strict supersets; Reliability = Sum_R(path) - Sum_R(unions) with upper-bound fallback if >80 sets; ties mapped to UI.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedAvailability Engine v4.5
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate lambda_eq derivation, MTBF, MTTR, cluster reduction and system-level availability.
2. Test Methods
Analytical reconstruction of governing reliability/safety mathematics.
Boundary, malformed-input and deterministic-output consistency testing.
Visualisation/plot integrity checks where applicable.
3. Acceptance Criteria
All computed values match analytical formulae to floating-point tolerance.
Internal state propagation remains stable over repeated evaluation.
4. Test Evidence
Series lambda=Sum(1/MTBF); A_series=Product(A_i). Parallel A=1-Product(Q). lambda_eq=mu(1-A)/A. System MTBF=1/Sum(lambda). Annual downtime=(1-A) x 8760. UI table validated.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedMission Reliability Inspector
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate phased survival reliability, stress scaling, component masks, series/parallel k-out-of-n and cumulative mission Ps.
2. Test Methods
Analytical reconstruction of governing reliability/safety mathematics.
Boundary, malformed-input and deterministic-output consistency testing.
Visualisation/plot integrity checks where applicable.
3. Acceptance Criteria
All computed values match analytical formulae to floating-point tolerance.
Internal state propagation remains stable over repeated evaluation.
4. Test Evidence
Segment R=exp(-lambda x t x sev). Parallel segment uses k-of-n binomial term Sum C(n,j)R^j(1-R)^(n-j). Phase cumulative Ps=Product(R_seg). Interactive filtering validated.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedSpares Optimization Engine
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate Poisson stock consumption, CSL computation, risk and cost frontier.
2. Test Methods
Analytical reconstruction of governing reliability/safety mathematics.
Boundary, malformed-input and deterministic-output consistency testing.
Visualisation/plot integrity checks where applicable.
3. Acceptance Criteria
All computed values match analytical formulae to floating-point tolerance.
Internal state propagation remains stable over repeated evaluation.
4. Test Evidence
Demand ~ Poisson(lambda x LT). CSL(S)=Sum P(k<=S). Risk=1-CSL. Recommended S=smallest S achieving target CSL. Curve generated from cumulative distribution.
Analytical reconstruction of governing reliability/safety mathematics.
Boundary, malformed-input and deterministic-output consistency testing.
Visualisation/plot integrity checks where applicable.
3. Acceptance Criteria
All computed values match analytical formulae to floating-point tolerance.
Internal state propagation remains stable over repeated evaluation.
4. Test Evidence
beta=n/Sum(ln(T/ti)); lambda=n/T^beta; instantaneous lambda(t)=lambda x beta x t^(beta-1); MTBF=1/lambda(t). Duane plot uses log10 safe transform. Table and plot validated.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedHazard & Density Engine
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate exponential and Erlang-k density, reliability and hazard outputs with curve normalization.
2. Test Methods
Analytical reconstruction of governing reliability/safety mathematics.
Boundary, malformed-input and deterministic-output consistency testing.
Visualisation/plot integrity checks where applicable.
3. Acceptance Criteria
All computed values match analytical formulae to floating-point tolerance.
Internal state propagation remains stable over repeated evaluation.
4. Test Evidence
f_exp=lambda x e^(-lambda x t), R_exp=e^(-lambda x t), h_exp=lambda. Erlang-k: f=(lambda^k x t^(k-1) x e^(-lambda x t))/(k-1)!; R=e^(-lambda x t) x Sum((lambda x t)^j/j!). Plot scaled against max(f).
Analytical reconstruction of governing reliability/safety mathematics.
Boundary, malformed-input and deterministic-output consistency testing.
Visualisation/plot integrity checks where applicable.
3. Acceptance Criteria
All computed values match analytical formulae to floating-point tolerance.
Internal state propagation remains stable over repeated evaluation.
4. Test Evidence
Low-demand PFH: (lambda_DU x T/2)+DD_term. High-demand PFH uses beta-model. SIL by PFH bands. PL via ISO 13849 decision matrix using Cat, DCavg, MTTFd, CCF. UI ladder and matrix validated.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedFMEDA Diagnostic Coverage Tool
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate FIT-based lambda allocations, DU/DD per DC, SFF and DC aggregation.
2. Test Methods
Analytical reconstruction of governing reliability/safety mathematics.
Boundary, malformed-input and deterministic-output consistency testing.
Visualisation/plot integrity checks where applicable.
3. Acceptance Criteria
All computed values match analytical formulae to floating-point tolerance.
Internal state propagation remains stable over repeated evaluation.
4. Test Evidence
lambda_mode=FIT x split; DU/DD split via DC; SFF=(S+DD)/Total; DC=DD/(DD+DU). Table semantics verified for safe vs dangerous modes.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedFRACAS Incident Manager
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate closed-loop logging, MTTR, closure rate, status transitions and audit export.
2. Test Methods
Analytical reconstruction of governing reliability/safety mathematics.
Boundary, malformed-input and deterministic-output consistency testing.
Visualisation/plot integrity checks where applicable.
3. Acceptance Criteria
All computed values match analytical formulae to floating-point tolerance.
Internal state propagation remains stable over repeated evaluation.
4. Test Evidence
MTTR=mean(closed-created)/86400s; ClosureRate=closed/total; ID collision protection; persistent storage and PDF/XLSX audit verified.
Validate safety stock and reorder point under lead-time variability.
2. Test Methods
Analytical reconstruction of governing equations and deterministic rule checks.
Boundary, exception, malformed-input and multi-scenario validation.
3. Acceptance Criteria
Computed outputs match analytical formulas within rounding precision.
State transitions are stable and traceable under repeat execution.
4. Test Evidence
Safety Stock (lead-time variability) = Z x AvgDemand x sigma_LT; Reorder Point = (AvgDemand x AvgLT) + SS. Exposure gauge computed from Sum(SS) vs threshold.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedSafety Stock Engine
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate SS for service-level and cycle protection; cost buffers and holding charges.
2. Test Methods
Analytical reconstruction of governing equations and deterministic rule checks.
Boundary, exception, malformed-input and multi-scenario validation.
3. Acceptance Criteria
Computed outputs match analytical formulas within rounding precision.
State transitions are stable and traceable under repeat execution.
4. Test Evidence
SS = Z x sigma_Demand x sqrt(LT); Buffer Value = SS x UnitCost; Holding = 15% x Buffer. Visual risk pointer scaled to average LT.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedIncoterms Cost Split Analyzer
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate seller/buyer cost attribution by term with seller% rules.
2. Test Methods
Analytical reconstruction of governing equations and deterministic rule checks.
Boundary, exception, malformed-input and multi-scenario validation.
3. Acceptance Criteria
Computed outputs match analytical formulas within rounding precision.
State transitions are stable and traceable under repeat execution.
4. Test Evidence
SellerCost = Freight x SellerPct(term); BuyerCost = Cargo + (Freight - SellerCost). Handover bar width = SellerPct%.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedSupplier Capacity & Ramp Estimator
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate capacity, utilization and ramp-phase classification.
2. Test Methods
Analytical reconstruction of governing equations and deterministic rule checks.
Boundary, exception, malformed-input and multi-scenario validation.
3. Acceptance Criteria
Computed outputs match analytical formulas within rounding precision.
State transitions are stable and traceable under repeat execution.
4. Test Evidence
MaxCapacity = UnitsPerHour x HoursPerDay; Util% = Demand/MaxCapacity x 100; Phase: Initial(<50), Growth(<85), Peak(>=85), Surge(>100). System utilization = avg(Util%).
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedCurrency Exposure Impact Simulator
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate base vs market exchange cost, variance and stress scenarios.
2. Test Methods
Analytical reconstruction of governing equations and deterministic rule checks.
Boundary, exception, malformed-input and multi-scenario validation.
3. Acceptance Criteria
Computed outputs match analytical formulas within rounding precision.
State transitions are stable and traceable under repeat execution.
4. Test Evidence
BaseCost=Exposure/BaseRate; MarketCost=Exposure/MarketRate; Variance=BaseCost-MarketCost; Portfolio impact=Sum(Variance). Stress test shifts MarketRate by +/-delta.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedMOQ / EOQ Optimizer
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate EOQ, total cost, MOQ penalty and efficiency index.
2. Test Methods
Analytical reconstruction of governing equations and deterministic rule checks.
Boundary, exception, malformed-input and multi-scenario validation.
3. Acceptance Criteria
Computed outputs match analytical formulas within rounding precision.
State transitions are stable and traceable under repeat execution.
4. Test Evidence
EOQ=sqrt(2DS/H); TC(Q)=(D/Q x S)+(Q/2 x H); Penalty=max(0,TC(MOQ)-TC(EOQ)); Efficiency=(TC(EOQ)/TC(MOQ)) x 100%.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedMulti-Sourcing Decision Matrix
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate weighted risk score and quadrant placement vs price.
2. Test Methods
Analytical reconstruction of governing equations and deterministic rule checks.
Boundary, exception, malformed-input and multi-scenario validation.
3. Acceptance Criteria
Computed outputs match analytical formulas within rounding precision.
State transitions are stable and traceable under repeat execution.
4. Test Evidence
Risk = 0.4 x Q + 0.3 x G + 0.3 x L; Status bands: <=4 IDEAL, <=7 CAUTION, >7 CRITICAL; Quadrant mapping: X=Price/maxPrice, Y=Risk/10.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedNetwork Transit & Buffer Planner
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate route base time, buffer days and max lead-time with segmented visualization.
2. Test Methods
Analytical reconstruction of governing equations and deterministic rule checks.
Boundary, exception, malformed-input and multi-scenario validation.
3. Acceptance Criteria
Computed outputs match analytical formulas within rounding precision.
State transitions are stable and traceable under repeat execution.
4. Test Evidence
BaseTotal=Main+Port+Inland; BufferDays=round(BaseTotal x Buffer%); MaxLT=BaseTotal+BufferDays; Timeline segment widths proportional to days/MaxLT.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedSupplier Concentration Index (HHI)
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate HHI aggregation and concentration classification bands.
2. Test Methods
Analytical reconstruction of governing equations and deterministic rule checks.
Boundary, exception, malformed-input and multi-scenario validation.
3. Acceptance Criteria
Computed outputs match analytical formulas within rounding precision.
State transitions are stable and traceable under repeat execution.
4. Test Evidence
Share_i=Spend_i/TotalSpend x 100; HHI=Sum(Share_i^2); Labels: Diversified(<1500), Moderate(<=2500), High(>2500). Gauge fill=HHI/10000.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedPurchase Price Variance (PPV) Dashboard
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate unit delta, total PPV and portfolio impact %.
2. Test Methods
Analytical reconstruction of governing equations and deterministic rule checks.
Boundary, exception, malformed-input and multi-scenario validation.
3. Acceptance Criteria
Computed outputs match analytical formulas within rounding precision.
State transitions are stable and traceable under repeat execution.
4. Test Evidence
UnitDelta=Actual-Standard; TotalPPV=UnitDelta x Qty; PortfolioImpact%=Sum(PPV)/Sum(Standard x Qty) x 100; Status tags by sign.
Analytical reconstruction of governing logic equations and rule engines.
Boundary, exception, malformed-input and deterministic-output validation.
3. Acceptance Criteria
All computed results must match analytical formulas to expected rounding precision.
State changes must be deterministic, traceable and stable under repeat execution.
4. Test Evidence
WMC=((T x 1.0)+(A x 0.7)+(I x 0.4))/(T+A+I); RSI=1-((Add x 1.0+Chg x 0.8+Rem x 0.5)/Baseline); PassRate=P/(P+F+B); SeverityPenalty=Sum(S1 x 0.3+S2 x 0.15+...) x Criticality; WRI=clamp(WMC x RSI x Maturity x PassRate-Penalty).
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedAcceptance Criteria Analyzer
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate clarity scoring via unit detection, duration detection, IF-THEN logic, actor detection and environment qualifiers.
2. Test Methods
Analytical reconstruction of governing logic equations and rule engines.
Boundary, exception, malformed-input and deterministic-output validation.
3. Acceptance Criteria
All computed results must match analytical formulas to expected rounding precision.
State changes must be deterministic, traceable and stable under repeat execution.
Analytical reconstruction of governing logic equations and rule engines.
Boundary, exception, malformed-input and deterministic-output validation.
3. Acceptance Criteria
All computed results must match analytical formulas to expected rounding precision.
State changes must be deterministic, traceable and stable under repeat execution.
4. Test Evidence
MAX mode: usage=(Actual/Limit) x 100 -> WARNING@>=Warn% CRITICAL@>=Crit%; MIN mode: shortfallPct=((Limit-Actual)/Limit) x 100 -> risk classification; BAND mode: margin=min(|Actual-Low|,|High-Actual|), outside band=CRITICAL. Trend computed via delta-Actual/Previous.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedRisk-Based Test Prioritizer
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate P x I scoring and classification into P1/P2/P3.
2. Test Methods
Analytical reconstruction of governing logic equations and rule engines.
Boundary, exception, malformed-input and deterministic-output validation.
3. Acceptance Criteria
All computed results must match analytical formulas to expected rounding precision.
State changes must be deterministic, traceable and stable under repeat execution.
4. Test Evidence
PriorityScore=Probability x Impact; P1>=12, P2>=6, else P3; schedule sorted descending by score with duplicate-ID rejection.
Validate hazard scoring (S x E x C), ASIL assignment and linked/orphan detection.
2. Test Methods
Analytical reconstruction of governing logic equations and rule engines.
Boundary, exception, malformed-input and deterministic-output validation.
3. Acceptance Criteria
All computed results must match analytical formulas to expected rounding precision.
State changes must be deterministic, traceable and stable under repeat execution.
4. Test Evidence
RPN=S x E x C; ASIL: D if RPN>=60, else C>=40, else B>=20, else QM; link state=(MitigationReq present? LINKED : ORPHAN); sorted by RPN descending.
5. Result
PASS
6. Issues & Corrective Actions
None
7. Retest Status
Verified / Closed
VerifiedV&V Scheduler
PASS▾
Owner
Jarryd Giose
1. Verification Objective
Validate milestone ordering, risk-tagging, method gate-rules and conflict detection.
2. Test Methods
Analytical reconstruction of governing logic equations and rule engines.
Boundary, exception, malformed-input and deterministic-output validation.
3. Acceptance Criteria
All computed results must match analytical formulas to expected rounding precision.
State changes must be deterministic, traceable and stable under repeat execution.
4. Test Evidence
Each method maps allowed gates; schedule sorted by milestoneIndex then date; sequence conflict flagged if date < previous; timeline marks active gates; health stats computed from METHOD_RULES.