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

Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

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...

آنکھ سے دور سہی دل کے قریں رہنے دے

آنکھ سے دُور سہی، دل کے قریں رہنے دے
میری ہر سانس میں تو خود کو مکیں رہنے دے

میں کہ اک عکس ہوں گمنام سا پس منظر ہوں
کب کہاں کیسے کسی طور کہیں رہنے دے

اک نظر مجھ پہ مرے ماہِ منیر ایسی ہو
کب طلب میں نے کیا زر یا نگیں، رہنے دے

میں ہوں اس قافلۂ عشق سے بچھڑا راہی
میرا کب ٹھور ٹھکانہ ہے کہیں، رہنے دے

تجھ سے منسوب ہوئی، تجھ سے ہی منسوب رہوں
غیر کے آگے جھکے گی یہ جبیں، رہنے دے

دل میں یا آنکھ میں یا دستِ حنائی میں فضاؔ
تیری مرضی ہے جہاں چاہے، وہیں رہنے دے

The Role of Ubuntu Ethics in Promoting Citizenship Values: An Investigation into the Foundations of Social Harmony

In the post-industrial revolution world, social change is often studied and understood in the context of change in means of production, mobility, urbanization and change in the constitution of workforce. Role of ethical values is generally confined to personal conduct and manners. Industrial society is supposed to have its own work ethics which may or may not agree with personal ethics and morality. Ethics and morality are generally considered, in the Western thought, as a social construct. Therefore, with the change in means of production or political system, values and morality are also expected to be re-adjusted in order to cope with the changed environment. Sometimes a totally new set of values emerges as a consequence of the change in economic, political, or legal set up. The present research tries to understand the meaning and place of these values in a global socio-cultural framework. Relying essentially on the divine principles of the Qur'ān it makes an effort to understand relevance of these universal and ultimate principles with human conduct and behavior in society.  It indicates that essentially it is the core values, principles, or norms which guide human beings in their interpersonal, social, economic and political matters. Islam being a major civilizing force, culture, and the way of life, provides values which guide both in individual and social matters. The values given by the Qur’ān and the Sunnah are not monopoly of the Muslim. These values are universal and are relevant in a technological society.

Palaeoenvironmental Study of Pakistan Siwaliks

Ungulate remains from Siwaliks of Pakistan provide a long and continuous record of diverse geochronologic ranges and ecological niches that in turn help to explore paleoenvironments of Pakistan Siwaliks. Ecomorphic data of ungulates dental material via hypsodonty, dental microwear, mesowear type-I, II and type-III methods was collected in the present study and on comparison of dental ecomorphic data of 160 taxa of ungulate remains with standardized data of their extant communities revealed a baseline data which helped for reconstruction of paleoenvironment of the target area. In the early Miocene (18.3-15 Ma), the paleocommunities of suids, tragulids, giraffids, anthracotheres and boselaphines have been found to give rise to 2 lineages each. However, rhinos and proboscideans have evolved into 3 to 4 lineages. Ecometric analysis has shown the predominance of browsers (50%), followed by fruigivores (16.7%), mixed feeders in closed habitat (16.7%), and omnivores (15-17%) in forested habitats. In the middle Miocene (14.2-11.2 Ma), the paleocommunity has exhibited maximum species diversity that documented 54 lineages of ungulates including Sivapithecus sp. Un till 11 Ma, on the basis of baseline data the proportions of browsers gradually decreased, forest fruigivorous and mixed feeder in closed habitats increased, however, the lineages showed no significant changes in their dietary adaptations. By 11 Ma, mixed feeding in open habitat taxa appeared with predominance of forest fruigivores (35%) and browsers (32.5%). There was decreasing proportions of frugivore/selective browsers (35-16%), browsers (32-23.3%) and mixed feeders in closed habitats (19-16%) and increasing prevalence of mixed feeders (2.7-28%) in open habitats and grazers (0- 4.64%) at 8 Ma. The latest Miocene (8-6.5 Ma) of the Siwaliks chronicled the progression of great faunal turnover event during which a significant number of long lasting lineages belonging to hipparionine horses, rhinoceroses, boselaphines, sivatherines, antelopes and tragulids altered their feeding adaptations from browsing to mixed feeders in open habitats/grazers. Most of the lineages of mixed feeders in closed habitats and fruigivores gradually became extinct before 7 Ma, whereas, successive influx of lineages of mixed feeders in open habitats, grazers with stable turnover of browsers and omnivores progressed during 6.5-0.5 Ma. The mesowear, microwear data from late Miocene and hypsodonty based ecomorphic data (18.3-0.5 Ma) has provided succession of the paleocommunities in Siwaliks which portray the evolution of the siwaliks ecosystem depicting the change from closed vegetation system (18.3-8.5 Ma) to semi-closed one and from semi-closed vegetation (8.5-6.5 Ma) to open vegetation system (6.5-0.5 Ma). The climate appears to have been evolved from humid and warm to dry seasonal and monsoonal one. The paleoclimate and vegetation succession has been found to lead to a cascade of diverse environmental mosaics ranging from tropical multi-canopied forest in the early Miocene to tropical evergreen forest during the middle Miocene. Thenceforth, moist deciduous canopy forest (11-10 Ma), dry deciduous forest (at ~9 Ma), mosaics of dry deciduous forest and temperate woodland (at ~8.5 Ma), woodlands with limited patches of deciduous forest, wooded savannas (8.5-6.5 Ma) progressed. The wooded savannas with guilds of grassy savannas (6.5-4 Ma) interspersed with deciduous forests and woodlands (4-3 Ma) and mosaics of wooded and grassy savannas (3-2 Ma) ecosystems evolved. The disappearance of most of the forested patches and prevalence of pure grasslands occurred during 2-0.5 Ma. This study provides a comprehensive account of the paleaoenvironment of Pakistan Siwaliks in relation to mammalian biostratigraphic and paleoecologic processes at an evolutionary scale.