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: Technische Universität Kaiserslautern
- Enstitü: Yurtdışı Enstitü
- Ana Bilim Dalı: Yazılım Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- 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
- 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
- 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
- Automated refinement of models for model-based testing
Model-bazlı testler için modellerin otomatik iyileştirilmesi
CEREN GEBİZLİ
Doktora
İngilizce
2017
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolÖzyeğin ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. HASAN SÖZER
- 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
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
- 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
2023
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolKocaeli ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. AHMET SAYAR