Geri Dön

Automatic test-case generation for IEC 61499 compliant applications

Başlık çevirisi mevcut değil.

  1. Tez No: 401640
  2. Yazar: ABDULLAH VURAL
  3. Danışmanlar: PROF. DR. GEORG FREY, DR. TANVIR HUSSAIN
  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: 2007
  8. Dil: İngilizce
  9. Üniversite: Technische Universität Kaiserslautern
  10. Enstitü: Yurtdışı Enstitü
  11. Ana Bilim Dalı: Yazılım Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 72

Özet

Özet yok.

Özet (Çeviri)

In that presented Master Thesis, software testing techniques and their implementations were discussed in details. Before getting to start to testing process, the motivation and the main idea were explained. The need for the automated test case generation was also emphasized and its importance in more complex systems was made clear. Also the necessity of automated test case generation in distributed systems regarding the IEC 61499 concept was discussed. After these fundamental ideas, the importance of Software Testing was given and discussed why we need or why systems need. Since the testing time in process lifecycle is important, which kind of test must be employed in which process sequence was also explained. After that, the different approaches were also introduced as Specification Based Test Case Generation and Model Based Test Case Generation. Some of these techniques were briefly presented and the most suitable one has been chosen to implement our testing session. Subsequently, a brief introduction to distributed systems and IEC 61499 concept were depicted. Some basic definitions in distributed systems were explained and the correlation and transition to each other were specified. The chosen technique was proved on a simple model system and concluded the importance of system specification. In the implementation section, beginning with section 4, the test procedure getting start with Unit/Component Testing was introduced. The features, requirements and properties of Unit Testing were given and made clear with some models without giving our sample distributed relatively more complex system. Different Unit Testing techniques such as binary decision diagrams, cause and effect diagrams and variable negation techniques were explained and the most proper one was decided and the reason was definitely brought to light. After that test generation in manual form and automated form were introduced. In which cases they are used or preferred was also given. Only the manual form was implemented but the guideline for automated test case generation was highlighted. The test sequence brought itself to integration testing and the meaning and phases of integration tests were stated while different techniques with their pros and cons were deeply explained. After stating all the sides of these techniques sandwich method was chosen and this method was implemented with illustrations. Since sandwich method was chosen, both drives and stubs were written for a small part of the system. After that, the implementation of integration testing in distributed system was explicitly implemented on our distributed control system according to the chosen method. The guideline for construction of test cases was figured in flow diagram form to make it more systematic. After that state based test design was introduced and its steps were taken. At the end of integration testing, production of test cases for time constraints which is significant for our distributed system was derived by many figures and tables. In the following part, the last section of software testing, system testing was depicted. Different methods were introduced and according to the needs and system specifications functional testing has been chosen and implemented step by step as guidelined. In the last part of this work, the compliance between the UML diagrams and FB with IEC 61499 standards was emphasized. In UML modelled system was translated to FB concept and the conversion rules and mapping techniques were given in tabular form. During this conversion, class diagrams and sequence diagrams were used while attributes and operations were converted to variables and events respectively and classes were converted to FBs.

Benzer Tezler

  1. Referans kısmi boşalma kaynağının yüksek doğru gerilim koşullarında incelenmesi

    Analysis of partial discharge reference source under high direct voltage conditions

    ÖZCAN KALENDERLİ

  2. Test case generation for software testing on smart televisions with LSTM networks

    Başlık çevirisi yok

    YUSUF ÇAĞLAYAN

    Yüksek Lisans

    İngilizce

    İngilizce

    2022

    Elektrik ve Elektronik MühendisliğiÖzyeğin Üniversitesi

    Elektrik ve Elektronik Mühendisliği Ana Bilim Dalı

    DOÇ. DR. CENK DEMİROĞLU

  3. Automated refinement of models for model-based testing

    Model-bazlı testler için modellerin otomatik iyileştirilmesi

    CEREN GEBİZLİ

    Doktora

    İngilizce

    İngilizce

    2017

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolÖzyeğin Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    DOÇ. DR. HASAN SÖZER

  4. Domain-specific modeling based feature-oriented automatic test generation methodology for software product lines

    Yazılım üretim hatları için alana özgü modelleme temelli özellik odaklı otomatık test üretme metodolojisi

    SERCAN ŞENSÜLÜN

    Yüksek Lisans

    İngilizce

    İngilizce

    2019

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİzmir Yüksek Teknoloji Enstitüsü

    Bilgisayar Mühendisliği Ana Bilim Dalı

    DOÇ. DR. TUĞKAN TUĞLULAR

  5. Web tabanlı uygulamalar için kullanıcı etkileşimli otomatik kod üretimi

    User-interactive automated code generation for web-based applications

    BURAK UYANIK

    Doktora

    Türkçe

    Türkçe

    2023

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolKocaeli Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    PROF. DR. AHMET SAYAR