Doğrulama Yöntemi

Tanımdan kanıta giderken aradaki adımları atlamayın.

Bir iddianın yazılı tanımdan doğrulanmış sonuca giden yolu ve her adımın neyi gösterip neyi göstermediği.

Yöntemden düzeye.

Bir düzey zamanın geçmesiyle değil, belirli bir iş türüyle kazanılır. Bu tablo hangi işin hangi düzeyi destekleyebileceğini gösterir.

Hangi iş hangi düzeyi destekler
Yöntem	Destekleyebileceği düzey	Neden oluşur
Mimari tanımı	`E1` Mimari Tanımlandı	Sistemin ne olduğunu ve parçalarının birbiriyle nasıl ilişkilendiğini anlatan gözden geçirilmiş bir şartname.
Prototip değerlendirmesi, simülasyon, döngüde yazılım	`E2` Prototip Doğrulandı	Hazırlanmış girdiler üzerinde, kurulumu kaydedilmiş, tekrarlanabilir çalışmalar.
Döngüde donanım, entegrasyon doğrulaması	`E3` Entegre Doğrulama	Parçaların gerçek arayüzlerle birlikte çalışması ve sonuçların kaydedilmesi.
Kontrollü saha doğrulaması	`E4` Kontrollü Saha Doğrulaması	Gerçek bir ortamda, koşulları belirtilmiş ve kaydı tutulmuş planlı bir deneme.
Nitelendirme, operasyonel kanıt	`E5` Nitelikli ve Operasyonel	Resmî bir nitelendirme ya da belirtilmiş bir kapsam içindeki işletim kayıtları.

Aşamaya göre doğrulama: Veri tablosu
Öğe	Tanımlı	Prototip	Entegre	Saha
Modül A	Tamamlandı	Sürüyor	Başlamadı	Başlamadı
Modül B	Tamamlandı	Başlamadı	Başlamadı	Başlamadı
Modül C	Sürüyor	Başlamadı	Başlamadı	Başlamadı

Aşamaya göre doğrulama CH15Veri durumu: AçıklayıcıKanıt düzeyi: E0 · KavramYanıtladığı soru: Her aşamada doğrulama durumu nedir?Üç örnek modülün dört doğrulama aşamasına karşı yer aldığı bir tablo, her hücreyi tamamlandı, sürüyor ya da başlamadı diye işaretler. Hücrelerin çoğu bu noktada beklendiği gibi hâlâ açıktır.Sınır: Modüller ve durumlar yer tutucudur; gerçek bir doğrulamayı bildirmez.

Her yöntemin neyi kanıtlayıp neyi kanıtlayamayacağı.

Simülasyon saha kanıtı değildir. Her yöntem bir tür soruyu yanıtlar, bir sonrakini yanıtsız bırakır.

Mimari gözden geçirmeTasarımın kâğıt üzerinde tutarlı ve eksiksiz olduğunu gösterebilir. Çalıştığını gösteremez.
Simülasyon ve döngüde yazılımMantığın hazırlanmış durumlarda nasıl davrandığını gösterebilir. Gerçek sinyallerle, gerçek karmaşayla ya da gerçek havayla nasıl davrandığını gösteremez.
Döngüde donanım ve entegrasyonParçaların birlikte çalıştığını gösterebilir. Bütünün denetimsiz bir ortamda nasıl davrandığını gösteremez.
Saha denemesi ve nitelendirmeSınanan koşullardaki davranışı gösterebilir. Sınanmayan koşullardaki davranışı gösteremez.

Bir iddia nasıl yazılır.

Bir kayda dayanan her iddia üç şeyi adlandırır; böylece okur iddianın nerede bittiğini görebilir.

KapsamNeyin sınandığı ve neyin sınanmadığı.
Koşullarİddianın geçerli olduğu ortam, girdiler ve tarih.
SınırlamaSonucun neyi göstermediği.

Düzeltmeler ve sürümler.

Düzeltmeleri açıkça yaparız. Değişen bir iddia önceki ifadesini görünür bir geçmişte korur; her yazı ve kanıt kaydı bir sürüm ve tarih taşır.

Bir düzey düşebilirBir kayıt geri çekilirse ya da söylenenden zayıf çıkarsa düzey düşer ve sayfa nedenini söyler.
Yanlış olanı bize bildirinBir sayfanın kanıtının desteklediğinden fazlasını söylediğini düşünüyorsanız bize yazın. Bu bir düzeltme talebidir ve yanıtlarız.

Düzeltme gönderin