proofline
EN

proof-review

Amaç

Bir kod değişikliğini (commit'lenmemiş çalışma, branch veya pull request) inceler ve yalnızca kanıtlayabildiğini bildirir.

Kaynak Skill amacı

Ne zaman kullanılır

Bir değişiklik, branch veya PR için iddiaların kod ve kanıtla karşılaştırılması gerektiğinde proof-review kullanılır. Amacı uygulamadan tahmin etmek yerine kullanıcıdan, iş kaydından, PR açıklamasından veya dondurulmuş plandan alır. Yazılı proje kurallarının yeni ihlallerini inceler ve değişen kod ile doğrudan çağıranlarında kusur arar. Hata ancak ayrı bir çalışma ağacında somut iz veya yeniden üretimle bildirilir. Reviewer bulguyu anlatır; kodu kendi düzeltmez.

Kaynak Skill amacı

Nasıl çalışır

Becerinin adımları, kaynak sırasıylaHer numaralı adım beceri tanımını izler ve kaynağına bağlanır.1. Hedefi seçSkill akışı2. Çıktı klasörünü hazırlaSkill akışı3. Değişiklik boyutunu ölçSkill akışı4. Amaç iddialarını toplaSkill akışı5. Kontrol noktasını gösterSkill akışı6. Amacı inceleSkill akışı7. Yazılı kuralları denetleSkill akışı8. Hata adaylarını bulSkill akışı9. Çalışma ağacında deneSkill akışı10. Kanıtı çürütmeyi deneSkill akışı11. TemizleSkill akışı12. Raporu yazSkill akışı
Becerinin adımları, kaynak sırasıyla

Kaynak Skill akışı

  1. Hedefi seç Çalıştırma içinde görev değişikliğini incele; dışında istenen değişikliği ve sabit karşılaştırma noktasını belirle.

    Kaynak Skill akışı

  2. Çıktı klasörünü hazırla Kanıt klasörünü oluştur veya sürdür; yöntemin söylediği eski hedef klasörlerini temizle.

    Kaynak Skill akışı

  3. Değişiklik boyutunu ölç Farkı ölç ve inceleme sınırlarını aşarsa öngörülen seçenekleri sun.

    Kaynak Skill akışı

  4. Amaç iddialarını topla Çalıştırmada dondurulmuş plandan, dışında kullanıcı kaynaklarından iddiaları al.

    Kaynak Skill akışı

  5. Kontrol noktasını göster Çalıştırma dışındaki proje yürütmesinden önce gerekli kapsam ve yürütme kontrolünü göster.

    Kaynak Skill akışı

  6. Amacı incele Her iddiayı değişikliğe karşı sınıflandır ve istenen kapsam dışındaki davranışı belirle.

    Kaynak Skill akışı

  7. Yazılı kuralları denetle Kural odaklı incelemede yalnızca farktan yeni etkilenen denetlenebilir proje kurallarını incele.

    Kaynak Skill akışı

  8. Hata adaylarını bul Hata odaklı incelemede değişen kodu ve doğrudan çağıranlarını somut arıza adaylarına izle.

    Kaynak Skill akışı

  9. Çalışma ağacında dene Proje test komutlarını bul ve hedefi ayrı bir çalışma ağacında süre sınırıyla çalıştır.

    Kaynak Skill akışı

  10. Kanıtı çürütmeyi dene Adayları yeniden üret veya izle, sonra bildirmeden önce güvenli olduklarını göstermeye çalış.

    Kaynak Skill akışı

  11. Temizle Kanıt çalışma ağaçlarını kaldır ve kullanıcının çalışma ağacı durumunun değişmediğini doğrula.

    Kaynak Skill akışı

  12. Raporu yaz Bulguları doğrula ve kanıtlı hataları, kural ihlallerini ve iddia sonuçlarını raporla.

    Kaynak Skill akışı

Temel kurallar

  • Hatayı yalnızca somut iz veya yeniden üretimle bildir; kanıtlanmamış fikirleri şüphelerde tut.

    Kaynak Temel kurallar

  • Kullanıcının kodunu düzenlemeden incele; onarımı sonraki düzeltme adımı yapar.

    Kaynak Temel kurallar

  • Denemeleri kullanıcının çalışma dizinini değiştirmek yerine ayrı çalışma ağacında çalıştır.

    Kaynak Temel kurallar

  • Amacı incelenen koddan değil, açık bir kaynaktan al.

    Kaynak Temel kurallar

  • Hata aramayı değişen kod ve doğrudan çağıranlarla sınırla; yalnızca yeni kural ihlallerini bildir.

    Kaynak Temel kurallar

Çıktı ve gate

Çıktı

Beceri tanımı bir çıktı belirtmiyor.

Kaynak Skill tanımı

gate

  • Eksik iddia, kanıtlı hata, yeni bozulan kural veya engelleyici istenmemiş davranış incelemeyi başarısız yapar.

    Kaynak Gate kuralı: focus, run içinde çalışır

  • Bunlar yoksa inceleme geçer; kanıtlanmamış şüpheler sonucu değiştirmez.

    Kaynak Gate kuralı: focus, run içinde çalışır

  • Bulgu validator'ı gate sonucunu yeniden hesaplar ve tutarsız belgeyi reddeder.

    Kaynak Gate kuralı: focus, run içinde çalışır

Kaynak

Kaynak Skill tanımı

← Tüm beceriler