Search or add a thesis

Advanced Search (Beta)
Home > Automated Test Data Generation for Model Transformation Testing

Automated Test Data Generation for Model Transformation Testing

Thesis Info

Access Option

External Link

Author

Jilani, Atif Aftab Ahmed

Program

PhD

Institute

National University of Computer and Emerging Sciences

City

Islamabad

Province

Islamabad

Country

Pakistan

Thesis Completing Year

2018

Thesis Completion Status

Completed

Subject

Computer Science

Language

English

Link

http://prr.hec.gov.pk/jspui/bitstream/123456789/10054/1/Atif%20Jilani_CS_2018_%20FAST%20NU_PRR.pdf

Added

2021-02-17 19:49:13

Modified

2024-03-24 20:25:49

ARI ID

1676727707965

Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Similar


Models and their automated transformations play a critical role in Model Driven Engineering (MDE). A significant challenge in testing model transformations is the automated generation of input test models. This involves generating meta-model instances that satisfy constraints defined on the meta-model which includes the constraints on metaelements and the multiplicity constraints. The problem becomes more challenging when the goal is to generate test models that cover specific paths of the transformation code - a common task in structural testing. The thesis proposes a novel search-based test model generation approach for structural testing of model transformations. The approach generates test models to achieve the desired structural coverage of the transformation code. The proposed test model generation strategy considers the constraints specified at the meta-model level and the multiplicity cardinalities of relationships between meta-elements to guide the generation of valid instances of the meta-model. The proposed strategy relies on a fitness function that utilizes the approach level and branch distance to generate instances that can cover the target branch of the transformation code. The approach proposes a number of heuristics as branch distance functions that solve model transformation predicates. A tool Model Transformation Testing Environment (Motter) is developed that automates the proposed approach. Motter takes the source and input meta-models as input and generates instances of test model that provide the required code coverage, for example, branch coverage of the model transformation code. The current implementation of the tool supports two widely used transformation languages, Atlas Transformation Language (ATL) and MOFScript. The thesis empirically evaluates the proposed approach on two transformations case studies, which are implemented in ATL and MOFScript. The case study in ATL is the popular benchmark Class2RDBMS model-to-model transformation case study, and the case study in MOFScript is a model-to-text industrial scale Real-Time Embedded Systems Test Simulation (RTES) code generator. For the empirical evaluation, four different widely search heuristics: Genetic Algorithm (GA), (1+1) Evolutionary Strategy/Algorithm (EA), Alternative Variable Method (AVM), and Random Search (RS) are tested in the comparative study. The result of the empirical evaluation shows that the proposed approach is successful in achieving the desired branch coverage for the selected transformation case studies and that the AVM significantly outperforms other algorithms. AVM has shown promising results in studies focusing on constraints solving, however it has not been used before for the generation of test cases to provide structural testing of model transformations. The result achieved by the AVM in the experiments are aligned with its previously reported performance as it successfully generates test cases and outperforms other algorithms in terms of the number of branches it can cover for both the case studies.
Loading...

Similar Thesis

Showing 1 to 20 of 100 entries
TitleAuthorSupervisorDegreeInstitute
PhD
National University of Computer and Emerging Sciences, Islamabad, Pakistan
PhD
Capital University of Science & Technology, Islamabad, Pakistan
Virtual University of Pakistan, Lahore, Pakistan
MS
International Islamic University, Islamabad, Pakistan
RSE
COMSATS University Islamabad, Islamabad, Pakistan
MS
International Islamic University, Islamabad, Pakistan
MS
International Islamic University, Islamabad, Pakistan
PhD
Capital University of Science & Technology, Islamabad, Pakistan
BS
International Islamic University, Islamabad, Pakistan
BS
International Islamic University, Islamabad, Pakistan
BS
International Islamic University, Islamabad, Pakistan
PhD
National University of Computer and Emerging Sciences, Islamabad, Pakistan
Virtual University of Pakistan, Lahore, Pakistan
MS
Capital University of Science & Technology, Islamabad, Pakistan
PhD
University of Engineering and Technology, Lahore, Pakistan
PhD
University of Engineering and Technology, Lahore, Pakistan
MS
International Islamic University, Islamabad, Pakistan
MS
International Islamic University, Islamabad, Pakistan
MSc
Riphah International University, Lahore, Pakistan
MS
National University of Sciences & Technology, Islamabad, Pakistan
TitleAuthorSupervisorDegreeInstitute
Showing 1 to 20 of 100 entries

Similar Books

Loading...

Similar Chapters

Loading...

Similar News

Loading...

Similar Articles

Loading...

Similar Article Headings

Loading...

مولانا محمد شاہد فاخری

مولانا محمد شاہد فاخری
افسوس ہے کہ گزشتہ ماہ مولانا محمد شاہد فاخری نے وفات پائی، وہ الہ آباد کے مشہور مذہبی خانوادہ دائرہ شاہ اجمل سے تعلق رکھتے تھے، مذہبی کاموں کے ساتھ ان کو ملک کے سماجی اور سیاسی مسائل سے بھی دلچسپی تھی، وہ جمعیۃ علمائے ہند کے نائب صدر تھے، انھوں نے آزادی کی جدوجہد میں نمایاں حصہ لیا تھا اور قیدوبند میں بھی مبتلا ہوئے تھے، آزادی کے بعد بھی وہ ملک و ملت کی خدمت میں لگے رہے اور اس راہ میں مشکلات و مصائب برداشت کرتے رہے، وہ دارالمصنفین کے کاموں کے بڑے قدرداں اور مداح تھے، اﷲ تعالیٰ ان کی مغفرت فرمائے اور انھیں اپنی رحمتوں سے سرفراز فرمائے۔ (عبد السلام قدوائی ندوی، اکتوبر ۱۹۷۵ء)

 

Understanding the anti-Mughal Struggle of Khushal Khan Khattak

Khushal Khan Khattak, a seventeenth century Pakhtun writer, poet and swordsman, and his forefathers had served the Mughal for a long time. However, his fortune took a sudden twist when Mughal Emperor Aurangzeb imprisoned him in 1664, and kept him in solitary confinement at Ranthambore fort. After his release from prison, Khushal Khan was a different person. He remained no more a loyal Mughal official afterwards. Although, Aurangzeb Alamgir and a number of Mughal governors of Kabul tempted him several time to accept a position in the frontier areas but he out-rightly declined. This transformation is clearly visible in his poetry. He took up arms against the Mughals in 1673 and declared a war against them despite the fact that some of his family members even his son had sided with the Mughals. He continued his anti-Mughal struggle till his death in 1689. Some of the critics look at the antiMughal role of Khushal Khan with suspicion and have raised a few queries in this connection. This study looks into the circumstances that saw transformation in his outlook towards the Mughals. Then it explores, whether it was a personal vendetta or the start of a collective anti-Mughal Pakhtun struggle. The article looks into various dimensions, nature and direction of his struggle. This research paper is an attempt to evaluate objectively as to why and how Khushal Khan joined the anti-Mughal camp in the borderland area. Some more related questions are also discussed in details in this article.

Influence of Packaging Materials and Storage Conditions on the Quality Attributes of Potato Solanum Tuberosum L. Tubers

Agro ecological diversity and favorable environment have enabled Pakistan to harvest bulk of potato crop however facing problems of poor post harvest management practices and unavailability of superior raw material for the potato processing industry. A comprehensive study was planned to identify best packaging material and appropriate storage conditions for the premium potato variety. The present study has been divided in to three different phase to address specific objectives. The first phase of study encompasses physico-chemical, functional and processing attributes in prominent potato varieties. The selected variety was subjected to different post harvest storage conditions along with their processing parameters analysis in second phase of the study. The last phase of study evaluated the storage stability of premium variety under best results identified in the second phase. In the first phase of study, physical attributes (tuber size, geometric mean diameter, sphericity, surface area, firmness, specific gravity, total soluble solids, pH, sprouting %, tuber color) Chemical attributes (dry matter, starch, protein, fat, sugar, fibre, ash and predominant minerals) functional attributes (ascorbic acids, glycoalkaloids, total phenolic contents, radical scavenging activity) and processing performance (chip moisture contents, fat absorption, color and sensorial attributes) were evaluated in ten commercial varieties i.e. Agria, Atlantic, Cardinal, Chipsona, Courage, Desi, Desiree, Hermes, Lady Rosetta, and Satellite. In general Lady Rosetta followed by Hermes was the most appreciable variety regarding their physical attributes. Lady Rosetta followed by Atlantic attained maximum dry matter and starch contents. Least sugar contents were recorded in Agria and maximum fat and protein contents were quantified in Desiree. In general; functional attributes were found maximum in Desi followed by Desiree. A promising correlation was estimated between most of these parameters with distinctive correlation (R=0.903) identified between total phenolic contents and radical scavenging activity. Post processing parameters like moisture contents, fat absorption, and sensory evaluation in Lady Rosetta showed its preference over all other varieties followed by Hermes. In the second phase variety” Lady Rosetta” was evaluated under different storage conditions 1 2 (packaging, light, temperature, and anti sprouting agents) on the basis of transition in their quality attributes (reported in 1st phase) and enzymatic (polyphenol oxidase, peroxidase) activities. Potatoes were stored under different packaging materials (jute, nylon, polypropylene, cotton, low density polyethylene, medium density polyethylene, high density polyethylene) at ambient temperature (25±2oC). Results revealed that polypropylene packaging and low density polyethylene packaging were found best and maintained tubers quality attributes up to 63 days, while other packaging materials were also found effective as compare to control. Thirty days storage of tubers under different illuminations (blue, fluorescent, green, mercury, red, dark) at ambient temperature (25 ±2oC) was carried out. Potato tubers kept under dark presented minimum loss of quality parameters however green and mercury lights posed best storage performance over all other illuminations during one month. Tubers were found highly susceptible to fluorescent light with poor processing attributes were recorded in red and blue light exposures. Results under comparative temperature regimes (5, 15 and 25oC) showed maximum storage stability up to 126 days under 5oC, however associated with low enzyme activity, elevated sugars contents in tubers and poor processing performances in fried chips. Exposing tubers to different anti sprouting agents (hot water treatment, spearmint oil, clove oil, CIPC) showed that CIPC and Clove oils applications were found significant in preventing tuber sprouting at the end of 80 days storage. In general, both retained superior tuber characters with remarkable processing characters during the storage period. Tuber dormancy was ensured under both treatments till the end at ambient temperature (25 ± 2oC) storage. In the last phase integrated post harvest management of potato variety “Lady Rosetta” on the basis of best results identified in second phase ensured tuber dormancy and prolonged storage life up to 180 days with appreciable retention of tuber quality attributes and superior processing performance as compare to 100% sprouting observed in control on the 80th day of storage. Coating of potato chips with 20% aloe vera gel presented best results with reduced fat uptake along with appreciable sensorial scores.