Architecture-driven fault-based testing for software safety
Yazılım emniyeti için mimari-güdümlü hata-tabanlı test
- Tez No: 374354
- Danışmanlar: YRD. DOÇ. BEDİR TEKİNERDOĞAN
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2014
- Dil: İngilizce
- Üniversite: İhsan Doğramacı Bilkent Üniversitesi
- Enstitü: Mühendislik ve Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 192
Özet
Emniyet-kritik sistemlerdeki bir aksama ya da işlev bozukluğu ölümlere, insanlar üzerinde ciddi yaralanmalara ya da çevresel hasarlara neden olabilir. Bu riskleri ortadan kaldırmak ya da azaltmak için emniyet-kritik sistemler dikkatli bir şekilde tasarlanmalı ve analiz edilmelidir. Tasarım aşamasında karar alınırken farklı paydaşlar için mimari görünümlerin ve perspektiflerin modellenmesi, yazılım mimari tasarımında kullanılan yaygın pratiklerden birisidir. Literatürde var olan yaklaşımlar genel amaçlı olarak kullanılmış ve özel olarak emniyet ilgisi ele alınmamıştır. Emniyet ilgisini mimari düzeyde adresleyebilmek ve emniyet-kritik sistemlerin tasarım sürecini desteklemek amacıyla literatürde var olmayan emniyet perspektifi ve yazılım emniyeti için mimari çerçeve yaklaşımlarını sunuyoruz. Emniyet-kritik sistemler tasarlandıktan sonra gerçekleştirim, kurulum ve işletim süreçlerinden önce sistemlerin analiz aşaması gerçekleştirilmelidir. Yapılan analizle birlikte olası hataların belirlendiği ve belirlenen hataları tolere etmek ya da ortadan kaldırmak için uygun maliyetli çözümlerin uygulandığından emin olunmalıdır. Emniyet-kritik sistemler karmaşık sistemler olduğu için, bu sistemlerin testinin gerçekleştirilmesi ve uygun test durumlarının yazılması oldukça zorludur. Literatürde yazılım mimarisi kalitesini değerlendirmek açısından birçok senaryo-tabanlı yazılım mimari analizi yaklaşımları sunulmuştur. Fakat bu yaklaşımlar genel çözümler sunmakta ve emniyet ilgisini doğrudan göz önünde bulundurmamaktadır. Bu kapsamda, emniyet-kritik sistemler için oluşturulan test durumlarının uygulanan emniyet taktikleri ve hata bilgileri kullanılarak etkinliğini değerlendirebilmek için hata-tabanlı test yaklaşımı sunulmaktadır.
Özet (Çeviri)
A safety-critical system is defined as a system in which the malfunctioning of software could result in death, injury or damage to environment. To mitigate these serious risks the architecture of safety-critical systems need to be carefully designed and analyzed. A common practice for modeling software architecture is the adoption of architectural perspectives and software architecture viewpoint approaches. Existing approaches tend to be general purpose and do not explicitly focus on safety concern in particular. To provide a complementary and dedicated support for designing safety-critical systems we propose safety perspective and an architecture framework approach for software safety. Once the safety-critical systems are designed it is important to analyze these for fitness before implementation, installation and operation. Hereby, it is important to ensure that the potential faults can be identified and cost-effective solutions are provided to avoid or recover from the failures. In this context, one of the most important issues is to investigate the effectiveness of the applied safety tactics to safety-critical systems. Since the safety-critical systems are complex systems, testing of these systems is challenging and very hard to define proper test suites for these systems. Several fault-based software testing approaches exist that aim to analyze the quality of the test suites. Unfortunately, these approaches do not directly consider safety concern and tend to be general purpose and they doesn't consider the applied the safety tactics. We propose a fault-based testing approach for analyzing the test suites using the safety tactic and fault knowledge.
Benzer Tezler
- Functional safety mechanism development of creep monitoring in automatic transmission
Otomatik şanzımanda sürünme/creep fonksiyonel emniyet mekanizmasının monitör edilmesinin geliştirilmesi
BURAK ARDIÇ
Yüksek Lisans
İngilizce
2022
Mekatronik Mühendisliğiİstanbul Teknik ÜniversitesiMekatronik Mühendisliği Ana Bilim Dalı
DOÇ. DR. İLKER ÜSTOĞLU
- IEEE 1149.1 standardı kullanarak test edilebilir lojik devre tasarımı
Testable lojik circit design by using IEEE 1149.1 standard
A.BETÜL TUNCER
Yüksek Lisans
Türkçe
1992
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiPROF. DR. AHMET DERVİŞOĞLU
- Mega uydu takımı ajanları için makine öğrenimi temelli hata kestirimi
Machine learning-based fault prediction for mega satellite constellation agents
ONUR TARAKÇIOĞLU
Doktora
Türkçe
2023
Astronomi ve Uzay BilimleriGazi ÜniversitesiKazaların Çevresel ve Teknik Araştırması Ana Bilim Dalı
PROF. DR. MUHAMMET ALİ AKCAYOL
PROF. DR. MEHMET TİMUR AYDEMİR
- A decentralized framework with dynamic and event-driven container orchestration at the edge
Kenarda dinamik ve olay güdümlü konteynır orkestrasyonlu dağıtık bir çerçeve
UMUT CAN ÖZYAR
Yüksek Lisans
İngilizce
2022
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolBoğaziçi ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. ARDA YURDAKUL
- Building sensor-based real-time predictive maintenance system by utilizing artificial intelligent techniques
Yapay akıllı teknikleri kullanarak sensör tabanlı gerçek zaman tahminli bakım sistemi kurulması
RAGHAD MOHAMMED KHORSHEED
Doktora
İngilizce
2021
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ ÖMER FARUK BEYCA