Automatic test-case generation for IEC 61499 compliant applications
Başlık çevirisi mevcut değil.
- Tez No: 401640
- Danışmanlar: PROF. DR. GEORG FREY, DR. TANVIR HUSSAIN
- 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: 2007
- Dil: İngilizce
- Üniversite: Technısche Unıversıtat Kaıserslautern
- Enstitü: Yurtdışı Enstitü
- Ana Bilim Dalı: Yazılım Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Ö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
- 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İ
Doktora
Türkçe
1991
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. MUZAFFER ÖZKAYA
- Yapay zekânın yazılım kalitesini artırmadaki rolü: Çok yönlü literatür taraması ve hibrit kalite yönetim çerçevesi önerisi
The role of artificial intelligence in enhancing software quality: A multivocal literature review and a hybrid quality management framework proposal
MELİS TOKSOY
Yüksek Lisans
Türkçe
2026
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolGazi ÜniversitesiBilişim Sistemleri Ana Bilim Dalı
DOÇ. DR. MURAT YILMAZ
- Sentetik atalet destekli rüzgar türbinlerinin frekans tepkisi üzerindeki etkilerinin modellenmesi, kontrolü ve dinamik analizi
Modelling, control and dynamic analysis of synthetic inertia-supported wind turbines' impact on frequency response
MERTCAN ACAR
Yüksek Lisans
Türkçe
2025
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektrik Mühendisliği Ana Bilim Dalı
PROF. DR. VEYSEL MURAT İSTEMİHAN GENÇ
- Zafiyet veritabanlarına göre trafo merkezlerindeki akıllı elektronik cihazların firmware analizörü
Firmware analyzer of intelligent electronic devices in substations based on vulnerability databases
KHOULOUD GARGOURI
Yüksek Lisans
Türkçe
2024
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolSakarya ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. MURAT İSKEFİYELİ
- Test case generation for software testing on smart televisions with LSTM networks
Başlık çevirisi yok
YUSUF ÇAĞLAYAN
Yüksek Lisans
İngilizce
2022
Elektrik ve Elektronik MühendisliğiÖzyeğin ÜniversitesiElektrik ve Elektronik Mühendisliği Ana Bilim Dalı
DOÇ. DR. CENK DEMİROĞLU