Geri Dön

Emniyet kritik yazılım test edilebilirliğinin iyileştirilmesi

Improving testability of safety-critical software

PDF İndir

  1. Tez No: 397872
  2. Yazar: ONUR ÖZÇELİK
  3. Danışmanlar: DOÇ. DR. DENİZ TURGAY ALTILAR
  4. Tez Türü: Yüksek Lisans
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2015
  8. Dil: Türkçe
  9. Üniversite: İstanbul Teknik Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 99

Özet

Yazılım, günden güne hayatımıza daha çok girmektedir. Sıklıkla kullanılan bazı sistemlerde yazılım donanıma göre daha çok tercih edilir hale gelmiştir. Yazılımın yoğun olarak kullanıldığı askeri sistemler, medikal sistemler, havacılık ve ulaşım sistemleri çalışırken emniyetli olmak zorundadırlar. Bu tip emniyet kritik sistemlerde yazılımın çalışması esnasında oluşabilecek olan hatalar felaketle (ölüme sebebiyet verme, sakat bırakma, çevreye veya kullanılan donanıma yıkıcı zararlar verme) sonuçlanabilir. Bu tip sistemlerde yazılımından veya yazılımın kontrol ettiği donanımdan kaynaklanabilecek hataların engellenmesi veya en azından sonuçlarının kontrol edilebilmesi için bu sistemler için geliştirilen yazılımın, sistem devreye alınmadan önce detaylı test edilmesi gereklidir. Emniyet kritik sistem yazılımları genellikle biribirini takip eden evrelerle geliştirilirler ve testleri gerçekleme (kodlama) evreleri tamamlandıktan sonra yapılır. Gerçekleme evresi tamamlandıktan sonra yapılan testler müşteri isterlerinin sıklıkla değiştiği, tam anlaşılmadığı ve yeni isterlerin ortaya çıktığı durumlarda yetersiz kalabilirler. Bu durumun önüne geçebilmek için emniyet kritik yazılım sistemleri planlama evresinden itibaren test edilebilir olarak geliştirilmelidir. Bir yazılım sisteminin test edilebilirliğini yazılım kalitesi ile ilişkilidir. Bir yazılım sistemin kalitesinin doğru olarak ölçülmesi yazılımda test edilebilirlik açısından iyi veya kötü kısımların ortaya çıkmasını sağlayabilir. Ölçme, varlıkların niteliklerinin sayılaştırılması olarak tanımlanır. Bu sayılaştırma işlemi yapılmadan önce varlığa uygun metriklerin tanımlanması gereklidir. Yazılım sistemlerinin kalitesinin ölçülebilmesi için yazılım tasarımına ve gerçekleme yöntemine uygun çeşitli metrikler bulunmaktadır. Yazılım metrikleri kullanılarak yazılım test edilebilirliğini analiz etmek için sayısal değerler elde etmek mümkündür. Bu çalışma kapsamında emniyet kritik yazılım sistemlerinin test edilebilirliği ile nesneye yönelik yazılım tasarım ve geliştirme yöntem ve ilkeleri arasındaki ilişki araştırılmıştır. Sonuçların çıkarılması için Tübitak ve İstanbul Teknik Üniversitesi işbirliği ile geliştirilen Ulusal Demiryolu Sinyalizasyonu Projesi (UDSP)'nin emniyet kritik yazılım bileşenlerinden demiryolu anklaşman yönetim yazılım bileşeni incelenmiştir. Mevcut yazılımın kalitesi, nesneye yönelik ve nesneye yönelik olmayan çeşitli yazılım metriklerine göre ölçülmüş ve yazılım test edilebilirliği değerlendirilmiştir. Aynı yazılımın ikinci bir sürümü test yönelimli yazılım tasarım ve geliştirme yöntem ve ilkeleri dikkate alınarak gerçeklenmiştir. İkinci sürüme ait yazılım kaliteside benzer şekilde ölçülmüş ve yazılım test edilebilirliği değerlendirilmiştir. Test yönelimli yazılım tasarımı ve geliştirme yöntem ve ilkeleri kullanılarak gerçeklenen sürümün yazılım test edilebilirliğinin ilk sürüme göre iyileştirildiği gösterilmiştir.

Özet (Çeviri)

Nowadays software controls large majority of the systems that humankind use. Systems that software is used widely, such as transportation, military, medicine and avionics must be safe during the operation. Failure in these critical systems may cause catastrophic results (i.e. loss of human life, loss or severe damage to environment or equipment etc.). In order to avoid failure on safety critical software or at least mitigate the risks, elaborated testing is required. Safety critical software systems present more testing challenges as compared to general-purpose systems. Safety critical software's dependency on hardware, the limited user interface and lack of tools makes the testability of this software more difficult. Quality in safety critical software is generally tied to platform-specific testing tools geared towards debugging. Engineers usually develop safety critical software systems with sequential phases and test with test at the end approach for certification purposes. Although effective testing helps to correct the functioning of software systems, the goal of testing is not proving that no errors exist. The goal of testing is to prove that software may have some bugs. No matter how much time and resources allocated for testing, it is impossible to test all inputs and corresponding outputs of software because of time and budget constraints of the project. These general testing principles are also valid for safety critical domain. However, designing for testability through hardware abstraction in conjunction with low complexity, few lines of code and simplicity of the code help improve testability. Test at the end approach is not sufficient for any software system when requirements are unclear or change frequently. To overcome weaknesses of test at the end, software systems can be tested starting from the early stages. To test in the early stages, software must be testable. Testability of software is defined as whether or not software supports testing activities. Software testability is considered under software quality. Software quality is defined as degree to which the software product satisfies stated and implied needs when used under specified condition. To evaluate software quality first we need a way to measure it. Correct measurement of software quality can help project team to understand which parts of software are testable and which are not. Measurement is the assignment of numbers to object or event properties. Suitable metrics should be defined for object or event before the measurement. Measurement in software development plays an important role in every phase. For measuring software quality, suitable software metrics should be chosen. With the help of software metrics it is possible to obtain some clues about software quality. The important point here is that software metrics should be analyzed together. If metrics are analyzed on their own, they will not tell too much. This thesis investigates testability from the perspective of metrics used in an object-oriented system. The main idea is giving an overview of software metrics with the prioritization of testability as the overall goal. Several metrics have been proposed to identify testability weaknesses. However, it is sometimes difficult to be convinced that those metrics are really related to testability. For the purpose of this study, testability of safety critical software and its relation to object oriented patterns, principles and practices were investigated. In this work testability is understood as unit level testability. A case study was conducted for railway interlocking management software component. Studied software component was first developed under National Railway Signalization Project by the collaboration of The Scientific and Technological Research Council of Turkey and Istanbul Technical University. The original railway interlocking management software was developed using object oriented design and programming. The component was analyzed to measure its existing testability. Testability of software component was determined by using object oriented and non-object oriented software metrics. Well known Chidamber and Kemerer (CK) metrics suite was chosen for object oriented metrics. With the widespread use of object-oriented technologies, CK metrics have proved to be very useful. Complexity and lines of code (LOC) metrics were chosen for non-object oriented metrics. The measurement results showed that most of the classes inside railway interlocking management software are very complex according to cyclomatic complexity, weighted methods per class and response for a class metrics. Their cohesion is low according to lack of cohesion of methods metric and couplings between them are high according to coupling between object classes metric. Complexity, cohesion and coupling are three important factors that affect testability of software. Testing software becomes a tedious task as the size and complexity of software increases. In addition, lack of cohesion inside software system is directly related with complexity. Likewise software system that has huge numbers of couplings is hard to test. Because these couplings must be supplied by, providing real or fake objects before, testing begins. In terms of complexity, cohesion and couplings existing testability of railway interlocking management software is low. To prove the correlation between good design and software testability, second version of the interlocking management software was developed. For second version, test driven software design and development approach was used. The primary benefit of using test driven development is that it improves the design of the code. In addition, some well-known object oriented principles and patterns were applied to increase the software testability. After completion of development, the second version is analyzed using same metrics and results were compared with previous results. In addition, some code coverage metrics like statement, function and branch coverage were measured. The measurement results showed that testability of second version is considerably improved in terms of complexity, cohesion and coupling. This argument is supported by code coverage metrics results. However, several threats to validity of study were also identified. First, this study's sample size was quite small. This was due primarily safety critical software systems are usually developed by using closed source software technologies. Therefore, the study sample is chosen from a closed sourced safety critical software project that author previously worked. A small size of study makes it easy to argue that the numbers in this study may not reach a suitable level of statistical significance. In addition, it is easy to argue that metric analysis is insufficient for software testability improvement. Various researchers took different approaches to the software testability measurement in their studies. Generally, software testability is not measured by using software metrics in those studies. However, in this study the chosen metrics are used for measuring complexity, cohesion and coupling in software systems. Therefore, improvement in that trio should affect software testability in positive way. In addition, one can argue that validation of test driven development for improving software testability is insufficient. However, test driven development effort in this study is supported by code coverage metrics like statement, function and branch coverage.

Benzer Tezler

  1. Tez No

    887875

    Development of certification-compliant safety-critical flight control software using a model-based design approach

    Model tabanlı tasarım yaklaşımı kullanılarak sertifikasyon uyumluluğuna sahip emniyet kritik uçuş kontrol yazılımının geliştirilmesi

    HAKAN BALLI

    Yüksek Lisans

    İngilizce

    İngilizce

    2024

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik Üniversitesi

    Kontrol ve Otomasyon Mühendisliği Ana Bilim Dalı

    PROF. DR. YAPRAK YALÇIN

  2. Tez No

    724919

    Demiryolu makas motorlarının kontrolü, kestirimci bakımı ve emniyet analizi

    Railway point machine control, preventative maintanance and safety analysis

    ERCAN KIZILAY

    Yüksek Lisans

    Türkçe

    Türkçe

    2022

    Elektrik ve Elektronik MühendisliğiYıldız Teknik Üniversitesi

    Elektrik Mühendisliği Ana Bilim Dalı

    DR. ÖĞR. ÜYESİ SİBEL ZORLU PARTAL

  3. Tez No

    374354

    Architecture-driven fault-based testing for software safety

    Yazılım emniyeti için mimari-güdümlü hata-tabanlı test

    HAVVA GÜLAY GÜRBÜZ

    Yüksek Lisans

    İngilizce

    İngilizce

    2014

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİhsan Doğramacı Bilkent Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. BEDİR TEKİNERDOĞAN

  4. Tez No

    864658

    Measuring and predicting software requirements volatility for large-scale safety-critical avionics projects

    Büyük ölçekli emniyet kritik havacılık elektroniği projesinde yazılım gereksinimi değişkenliği ölçümü ve tahmini

    ANIL HOLAT

    Yüksek Lisans

    İngilizce

    İngilizce

    2024

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    DR. ÖĞR. ÜYESİ AYŞE TOSUN KÜHN

  5. Tez No

    707827

    Gerçek zamanlı sistemler için yüksek güvenirlikli çoklu yazılım sentezi

    The high-reliability multi-version software synthesis for real time systems

    NADİR SUBAŞI

    Doktora

    Türkçe

    Türkçe

    2020

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolYıldız Teknik Üniversitesi

    Kontrol ve Otomasyon Mühendisliği Ana Bilim Dalı

    DR. ÖĞR. ÜYESİ İLKER ÜSTOĞLU

Geri Dön