آرشیو نویسنده: محمد عسکری

نقش QA در تست A/B؛ از Assignment تا Decision

راهنمای نقش QA در تست A/B از Hypothesis، Assignment و Exposure تا Telemetry، SRM، Guardrail، Analysis Handoff و Decision.

تست قابلیت همکاری؛ از Matrix تا Outcome

راهنمای تست قابلیت همکاری از Party و Profile Matrix تا تبادل داده، معنا، Workflow، Version، Outcome، Evidence و ادعای محدود.

تست انطباق؛ از Requirement تا Conformance Claim

راهنمای تست انطباق از Reference، Applicability و Profile تا Requirement، Test Suite، Verdict، Coverage، Certification، Evidence و Conformance Claim.

تست سیستم توزیع‌شده؛ از History تا Replay

راهنمای تست سیستم توزیع‌شده از Topology، Operation و Message History تا Fault Schedule، Consistency Oracle، Trace، Simulation، Replay و Evidence.

اجرای نمادین؛ از Path Constraint تا Replay

راهنمای اجرای نمادین از Symbolic State و Path Constraint تا Solver، Search Budget، Concretization، تولید تست، Concrete Replay، Triage و Evidence.

روش‌های صوری؛ از Property تا Assurance Case

راهنمای روش‌های صوری از Property و Model تا Assumption، Model Checking، Proof، Tool، TCB، Refinement، Evidence و Formal Assurance Case.

تصمیم خودکار؛ از Decision تا Replay

راهنمای تست تصمیم خودکار از Input و Model تا Rule، Policy، Human Review، Action، Notice، Contest، Correction و Replay قابل‌ممیزی.

تست الگوهای تاریک؛ از Choice تا Evidence

راهنمای تست الگوهای تاریک از Choice و Disclosure تا Friction، State، Effect، Harm، Intent، Applicability، Remedy و Verification.

مجوز فعالیت تست؛ از EULA تا Permission Record

راهنمای تحلیل EULA و حل مجوز فعالیت تست از Formation و Contract Stack تا Permission، RoE، Data/Output، Run، Revocation و Correction.

تست و مسئولیت قانونی نرم‌افزار؛ از Obligation تا Evidence

راهنمای اتصال تعهدهای قانونی و قراردادی نرم‌افزار به Control، Test، Evidence، Finding، تصمیم انتشار و Correction؛ بدون صدور نظر حقوقی.