Search or add a thesis

Advanced Search (Beta)
Home > Automated Testing of Object Oriented Systems Using Vdm++ and Uml Communication Diagrams

Automated Testing of Object Oriented Systems Using Vdm++ and Uml Communication Diagrams

Thesis Info

Access Option

External Link

Author

Nadeem, Aamer

Program

PhD

Institute

Mohammad Ali Jinnah University

City

Islamabad

Province

Islamabad

Country

Pakistan

Thesis Completing Year

2007

Thesis Completion Status

Completed

Subject

Computer Science

Language

English

Link

http://prr.hec.gov.pk/jspui/handle/123456789/142

Added

2021-02-17 19:49:13

Modified

2024-03-24 20:25:49

ARI ID

1676727708231

Similar


The rapidly growing applications of software in critical systems such as railways, aviation, automobiles, and medicine, demand a much higher level of reliability and error- free operation. The use of formal methods in such applications not only helps avoid specification errors, ambiguities, and inconsistencies in early phases of software life cycle, but also provides a sound basis for generation of an effective set of test cases. However, the existing research on formal specification based testing has focused on unit level testing only. This research is aimed at automating the generation of class level as well as integration level test cases for an object-oriented system using formal specifications. We use VDM++ formal specification language for this purpose. As a result of our research, we present a framework, called SpecTGS, that automatically generates specification based test cases for object-oriented systems using VDM++ as the specification language. For class testing, the SpecTGS uses the trace structure definition of a VDM++ class specification to derive allowable method call sequences, and partition analysis to generate test data. For integration testing, we have proposed a novel idea that extracts testing information from the VDM++ specification and UML communication diagrams. The SpecTGS derives message sequences from a UML communication diagram, and uses the VDM++ specification to construct state invariants for the states in which a class can receive a message. A new strategy for constructing sub-states from a state invariant called partitioned boundary state coverage that combines two existing strategies, i.e. partition ivanalysis strategy and the boundary state coverage strategy. Each message sequence generated from the UML communication diagrams is combined with the sub-states to construct a test model. The test model is then used to derive the test paths under various coverage criteria. A proof-of-concept tool has been developed to implement and evaluate the SpecTGS framework. The results for the integration testing approach have been shown for a real-life case study selected from the literature.
Loading...
Loading...

Similar Books

Loading...

Similar Chapters

Loading...

Similar News

Loading...

Similar Articles

Loading...

Similar Article Headings

Loading...

اشخاص

الف۔    اشخاص:

          سیالکوٹ کی مٹی بڑی زرخیز اور مردم خیز ہے۔سر زمینِ سیالکوٹ نے علم و ادب اور فنونِ لطیفہ کے میدانوں میں گراں قدر خدمات سر انجام دی ہیں۔سیالکوٹ کی علمی و ادبی اہمیت مسلمہ ہے۔ہر دور میں خواہ وہ ہندو راج ہو یا مغلیہ راج یا انگریز راج سیالکوٹ نے ہر دور میں علمی و ادبی مرکز کے حوالے سے اپنی شناخت قائم رکھی ہے۔یہاں سے بہت سی نامور روحانی اور علمی و ادبی شخصیات نے جنم لیاہے اور بعض نے یہاں کی روحانی اور علمی وا دبی شخصیات سے فیض حاصل کیا ہے۔

          اطہر سلیمی کی تحقیق کے مطابق سیالکوٹ قبل مسیح بھی ایک عظیم تعلیمی مرکز تھا وہ اس حوالے سے رقم طراز ہیں:

۷۰۰ق م سے ۶۰۰ ق م تک یہ اتنا عظیم تعلیمی مرکز بن چکا تھا کہ بنارس کے شہزادے بھی حصول علم کے لیے یہاں آتے تھے۔(۵۹)

          مغلیہ عہد حکومت میں سیالکوٹ برصغیر پاک و ہند کے علمی مراکز میں سے ایک اہم علمی مرکز تھا۔خاص طور پر ملاّ کمال کشمیری(م ۱۰۱۷ھ) اورا ن کے شاگر د ملا عبدالحکیم سیالکوٹی کے مکاتیب نے بڑی شہرت پائی۔جہاں ملک اور بیرون ملک کے دور دراز گوشوں سے طالبان علم کھنچے چلے آتے تھے ۔اس زمانے میں سیالکوٹ میں نامی گرامی علما کا اجتماع رہا کرتا تھا۔(۶۰)

          اکبر کے زمانے میں حضرت شاہ حمزہ غوث بڑے متقی بزرگ اور پرہیز گار گزرے ہیں ۔اکبر بادشاہ بھی سیالکوٹ آتا آپ کی صحبت میں ضرور حاضر ہوتا اور آپ کے کارناموں کی وجہ سے آپ کے لیے بہت بڑی جاگیر مقرر کی تھی۔حمزہ غوث آپ ہی کی جاگیر پر آباد ہے اس محلہ میں آپ کا مزار اور چلہ گاہ موجود ہے۔

A Critical Examination of Joseph Kenny’s Views on the Origin, Miracle and Veracity of the Qur’an

Christian missionary scholarship on Islam and the Qur’an in Nigeria dates back to the advent of Christianity in the country. The reason was that Islam had become well established and indigenized in most parts of northern Nigeria and south Western Nigeria, and the Qur’an provides Muslims with information on Christianity and its doctrines. Thus, Islam became a serious obstacle to their endeavour. The early 20th century Christian Missionaries therefore, held that they could only get to the Muslims through the learning and research on the Qur’an.  This spurred them to produce works on the Qur’an. Joseph Kenny was a Christian Missionary who was sent to Nigeria in 1964 through the directive of the Holy See, to assist the Catholic Church in reaching the Muslims in Nigeria. He underwent trainings in the fields of Arabic and Islamic Studies, and was able to produce more than 170 works on different areas of Islamic Studies.  This paper critically examines some of his views on the Qur’an, as compared to the views of other Christian missionary scholars of Qur’an and thus elaborates on the misrepresentations contained in them.

Systematic Study of Scarabaeidae

The present studies were carried out to investigate the dung beetles‟ fauna in the selected parts of northern Pakistan including Khyber Pakhtunkhwa province (KPK) and Federally Administered Tribal Areas (FATA). The area is diverse and virgin for its flora and fauna pertaining to different habitats, especially the dung beetles in subfamily scarabaeinae. The study was conducted in the three selected ecological zones including alpine zone, montane temperate forest and tropical deciduous forest. These zones were further divided into sub-zones for comprehensive collection of dung beetles fauna. The systematic study revealed the presence of ten genera and twenty-four species from the study area including Digitonthophagus gazelle, D. bonasus, Heliocopris midas, H. bucephalus, Onthophagus (Phanaeomorphus) gagates, O. (Altonthophagus) kukunoren-sis, O. (Palaeonthophagus) marginalis, O. (Palaeonthophagus) nuchicornis, O. (s. str.) proletarius, O. (Coloboonthophagus) tragus, Onitis falcatus, O. lama, O. philemon, O. subopacus, O. virens, Catharsius molossus, C. pithecius, Metacatharsius inermis, Copris repertus , C. sacontala, C. punctatus, Scarabaeus sacer, Cheironitis arrowi and Gymnopleurus flagellates. Out of these, eights species were newly recorded for Pakistan including Onthophagus gagates, Onthophagus kukunorensis, O. (s. str.) proletarius, He-liocopris bucephalus, Copris punctatus, C. repertus, C. sacontala and Onitis lama. The diagnosis of each genus, identification keys to genera and species, colored photographs and geographical distribution maps for each species along with scale length size were provided.