kategori: Doğrulama, Onaylama ve Test

Requirements Toolbox, gereksinimleri yazmanızı, tasarım ile testlere bağlamanızı ve izlenebilirlik boşluklarını bulmanızı sağlar.

Requirements Toolbox, gereksinimleri tasarım ve doğrulama varlıklarıyla aynı ortamda yönetmek için kullanılan bir araç kutusudur. Gereksinimleri zengin metin ve özel niteliklerle yazar, hiyerarşik biçimde düzenlersiniz. Ayrıca IBM DOORS, DOORS Next, Microsoft Word ve Excel ile ReqIF destekleyen Siemens Polarion ALM ve Jama Connect gibi araçlardan içeri aktarım yaparsınız. Ayrıntılı kullanım MathWorks dokümantasyonunda anlatılır.

Asıl kazanç izlenebilirlik zincirinden gelir. Gereksinimleri model öğelerine, MATLAB kod satırlarına, veri sözlüklerine, test durumlarına ve test düzeneklerine bağlar; böylece dijital bir iz oluşturursunuz. İzlenebilirlik matrisi hangi gereksinimin uygulanmadığını ya da test edilmediğini gösterir. Bir gereksinim değiştiğinde etkilenen öğeler işaretlenir, dolayısıyla değişikliğin kapsamını önceden görürsünüz. Üretilen raporlar ISO 26262, IEC 61508 ve DO-178C süreçlerinde tasarım incelemesi belgesi olarak kullanılır.

Requirements Toolbox Temel Yetenekleri

Gereksinim Yazma ve Düzenleme

Requirements Editor içinde zengin metin ve özel niteliklerle gereksinim yazarsınız. Ayrıca sistem seviyesinden alt işlevlere uzanan hiyerarşiyi kurarsınız.

Böylece belge tabanlı yönetimden yapılandırılmış bir gereksinim kümesine geçersiniz.

Üçüncü Taraf Araçlarla Bütünleşme

IBM DOORS, DOORS Next, Word ve Excel dosyalarından gereksinim aktarırsınız. Ayrıca ReqIF destekleyen Polarion ALM ve Jama Connect gibi araçlarla alışveriş yaparsınız.

Dolayısıyla mevcut gereksinim altyapınızı değiştirmek zorunda kalmazsınız.

Tasarım ve Testle Bağlantı

Gereksinimleri model öğelerine, MATLAB kod satırlarına, test durumlarına ve test düzeneklerine bağlarsınız. Bağlantılar Embedded Coder kod üretim raporlarına da işlenir.

Böylece gereksinimden üretilen koda uzanan dijital iz kesintisiz kalır.

Biçimsel Gereksinim Modelleme

Requirements Table bloğuyla gereksinimleri mantıksal ifadelerle biçimsel olarak tanımlarsınız. Ardından simülasyonla doğrular, doğruluk ve tutarlılık analizini yürütürsünüz.

Üstelik eksiklik analizi hangi durumun tanımsız kaldığını gösterir.

Gereksinimlerle Tasarımı Birlikte Görün

Requirements Perspective ile gereksinimleri Simulink, System Composer ve Stateflow düzenleyicilerinin içinde görürsünüz. Bağlantıları sürükle bırakla kurarsınız.

Bu işlem modeli değiştirmediği için tasarım dosyası kirlenmez.

MATLAB Koduna İzlenebilirlik

Tek tek MATLAB kod satırlarını harici gereksinim belgelerine ve MATLAB Test durumlarına bağlarsınız. Bağlantıları düzenleyici içinden yönetirsiniz.

Böylece yalnızca model değil, elle yazılan kod da izlenebilir hâle gelir.

Requirements Toolbox Nasıl Çalışır?

1. Gereksinimleri getirin Öncelikle gereksinimleri yazın ya da DOORS, Word ve Excel dosyalarından içeri aktarın.
2. Tasarıma bağlayın Ardından model öğelerine, koda ve mimari bileşenlere bağlantıları kurun.
3. Testlerle eşleştirin Her gereksinimi doğrulayan test durumunu bağlayıp kapsamı izlenebilirlik matrisinde görün.
4. Rapor üretin Son olarak bağlantı, değişiklik ve doğrulama durumu içeren inceleme raporunu çıkarın.

Kullanım Alanları

Model Tabanlı Tasarım

Gereksinimden modele ve üretilen koda uzanan dijital izi tasarımın ilk gününde kurarsınız.

Gömülü Sistemler

Gömülü yazılım gereksinimlerini kod satırlarına bağlar, böylece sertifikasyon kanıtını üretirsiniz.

Otonom Sürüş

Güvenlik gereksinimlerini senaryo testlerine bağlar, kapsam boşluklarını erken görürsünüz.

Kontrol Sistemleri

Denetleyici gereksinimlerini biçimsel ifadelerle tanımlar, ardından simülasyonla doğrularsınız.

Sıkça Sorulan Sorular

Hangi gereksinim araçlarından aktarım yapılabilir?

IBM DOORS, IBM DOORS Next, Microsoft Word ve Microsoft Excel desteklenir. Ayrıca ReqIF biçimini destekleyen Siemens Polarion ALM ve Jama Connect gibi araçlarla alışveriş yapılır. Dolayısıyla mevcut altyapınızı korursunuz.

Gereksinimleri MATLAB koduna bağlayabilir miyim?

Evet. Tek tek kod satırlarını harici gereksinim belgelerine ve MATLAB Test durumlarına bağlarsınız. Böylece yalnızca model değil, elle yazılan kod da izlenebilir hâle gelir.

İzlenebilirlik boşluklarını nasıl görürüm?

İzlenebilirlik matrisi gereksinim, model ve test arasındaki bağlantıları tablo hâlinde gösterir. Böylece hangi gereksinimin uygulanmadığını ya da test edilmediğini doğrudan görürsünüz.

Sertifikasyon süreçlerinde kullanılabilir mi?

Evet. ISO 26262, IEC 61508 ve DO-178B ile DO-178C süreçleri hedeflenir. Ayrıca IEC Certification Kit ve DO Qualification Kit ile araç niteliklendirme kanıtları sağlanır.

Model dosyam değişir mi?

Hayır. Requirements Perspective üzerinden kurulan bağlantılar modeli değiştirmeden saklanır. Dolayısıyla tasarım dosyası kirlenmez ve sürüm kontrolünde gereksiz fark oluşmaz.

Biçimsel gereksinim ne demek?

Requirements Table bloğuyla gereksinimi mantıksal ifadelerle tanımlarsınız. Ardından simülasyonla doğrular, doğruluk ile tutarlılık analizini yürütürsünüz. Böylece belirsiz ya da çelişkili ifadeler erken ortaya çıkar.