Ajan testi

Uyumluluk: Pactmark 0.2.x. @pactmark/testing bir geliştirme bağımlılığıdır ve asla üretim dışa aktarımının parçası değildir.

Test paketinin verdikleri

FakeClock

Deterministik zaman; böylece son kullanma ve zaman aşımı testleri kararsız olmaz.

SequenceIdGenerator

Öngörülebilir kimlikler; böylece snapshot’lar kararlı olur.

FakeModelDriver

Senaryolanmış turlar — araç çağrıları, finaller, hatalar — sağlayıcı anahtarı olmadan.

FakeTool / FakeToolExecutor

Nasıl çağrıldığını — çağrılmadığını da — kaydeden araçlar.

CrashInjector

crashAtEveryBoundary, çökme güvenliğini bir umut değil sayılabilir bir matris hâline getirir.

ScenarioBuilder

Deterministik bir senaryoyu bir kez kurup paketler arasında yeniden kullanın.

Depo sözleşme paketleri

Aynı sözleşme testlerini bellek ve Postgres uygulamalarına karşı çalıştırın.

Sözleşme fixture'ları

Adaptör testleri için kararlı iş emirleri, olaylar, artifact’lar ve korumalı değerler.

Kapsam listesi

Yeşil bir mutlu-yol testi size çok az şey söyler. Önemli olan senaryolar şunlardır:

Başarı ve artifact üretimi

Koşu tamamlanır, artifact beklenen özette vardır, gereken doğrulayıcılar geçmiştir ve kanıt kaydı doğrulamadan geçer.

Hatalı biçimli girdi

Şemasını geçemeyen dış girdi KAF_SCHEMA_INVALID üretir ve hiçbir model çağrısı yapılmaz.

Politika reddi

Reddedilmiş bir risk sınıfı ve eksik bir grant geri çevirir — ve araç yürütücüsü sıfır çağrı kaydeder.

Grant ve onay tekrarı

Aynı komut tekrarlandığında aynı semantik sonuç döner. Tek kullanımlık bir kanıt iki kez harcanamaz.

İptal

Koşu ortasında iptal, aracın AbortSignal’ına ulaşır ve koşu takılmak yerine cancelled durumuna gelir.

Bütçe tükenmesi

Turlar, araç çağrıları ve aktif yürütme milisaniyeleri her biri kendi sınırında koşuyu sonlandırır.

Eşzamanlı komutlar

Aynı koşuda yarışan iki komut: biri kazanır, diğeri iç içe geçmek yerine çakışır.

Kira kaybı

Kirasını kaybeden bir worker commit edemez. Bir log satırına değil fencing token’a bakarak doğrulayın.

Çökme sınırları

Her sınırda bir çökme enjekte edin ve koşunun devam ettirilebilir olduğunu ve hiçbir etkinin tekrarlanmadığını doğrulayın.

Belirsiz etkiler

Belirsiz bir sonuç park eder. Hata fırlatılmadığını değil, dış hedefin bir kez çağrıldığını doğrulayın.

Kayıt sapması

Bir araç şemasını sürümünü değiştirmeden değiştirin; koşunun devam etmek yerine askıya alındığını doğrulayın.

Tenant'lar arası erişim

Her depolama metodunu başka bir tenant’ın yetkisiyle deneyin. Reddi ve bilgi vermemeyi doğrulayın.

Hataları değil etkileri doğrulayın

Bu sayfadaki en değerli alışkanlık budur:

// Zayıf — iade gönderildiyse ve sonra başka bir şey fırlattıysa da geçer.
await expect(run).rejects.toThrow();

// Güçlü — gerçekten önemsediğiniz özelliği ifade eder.
expect(paymentGateway.calls).toHaveLength(0);
expect(events.filter((e) => e.eventType === "EffectDispatched")).toHaveLength(0);

Sıfır-gönderim sayacı bir güvenlik doğrulamasıdır. Fırlatılan bir hata ise bir belirtidir.

Çökme matrisleri

import { CrashInjector, crashAtEveryBoundary } from "@pactmark/testing";

for (const plan of crashAtEveryBoundary()) {
  it(`${plan.boundary} sınırındaki çökmeden sonra devam eder`, async () => {
    const injector = new CrashInjector(plan);
    // enjekte edilen çökmeye kadar çalıştırın, sonra taze bir runtime örneğinde devam ettirin
    // doğrulayın: koşu tamamlanır ve dış hedef tam olarak bir kez çağrılmıştır
  });
}

İki süreçli onaylanmış-etki kanıtları, belirsiz-etki tasarımı için üretebileceğiniz en güçlü kanıttır. Ayrıca kendi araç uygulamalarınızda gerçek bir hata bulma olasılığı en yüksek testlerdir.

Çalışma alanını değil yayımlanan baytları test edin

Yalnızca workspace bağlantıları paket meta verisini, dışa aktarımları, tip beyanlarını veya başlatıcı deneyimini kanıtlayamaz. Bağımsız fixture’larda paketlenmiş tarball’ları tüketin:

pnpm test:loopback-registry

Bu koşum, tüm adayları paketler, bağımlılık sırasına göre geçici bir loopback registry’ye yayımlar, başlatıcıyı çalıştırır ve global npm yapılandırmasını değiştirmeden bırakır.

Depo tam olarak bu nedenle bağımsız NodeNext, Bundler, Yarn, Bun ve loopback-registry fixture’ları çalıştırır. “Monorepo’da çalışıyor” ile “kurulduğunda çalışıyor” farklı iddialardır.

Paketleri çalıştırma

pnpm verify

npx pactmark test --json

npx pactmark eval --json

Örnekler

Her örnek burada anlatılan senaryo testleriyle gelir.

Tehdit modeli

Her yüksek ve kritik satır, onu destekleyen çalıştırılabilir kanıtı adlandırır.

Başlarken

Temel kavramlar

Rehberler

Dağıtım

Üretim

Güvenlik

Test paketinin verdikleri

FakeClock

SequenceIdGenerator

FakeModelDriver

FakeTool / FakeToolExecutor

CrashInjector

ScenarioBuilder

Depo sözleşme paketleri

Sözleşme fixture'ları

Kapsam listesi

Hataları değil etkileri doğrulayın

Çökme matrisleri

Çalışma alanını değil yayımlanan baytları test edin

Paketleri çalıştırma

Örnekler

Tehdit modeli

​Test paketinin verdikleri

FakeClock

SequenceIdGenerator

FakeModelDriver

FakeTool / FakeToolExecutor

CrashInjector

ScenarioBuilder

Depo sözleşme paketleri

Sözleşme fixture'ları

​Kapsam listesi

​Hataları değil etkileri doğrulayın

​Çökme matrisleri

​Çalışma alanını değil yayımlanan baytları test edin

​Paketleri çalıştırma

Örnekler

Tehdit modeli

Test paketinin verdikleri

Kapsam listesi

Hataları değil etkileri doğrulayın

Çökme matrisleri

Çalışma alanını değil yayımlanan baytları test edin

Paketleri çalıştırma