Please use this identifier to cite or link to this item: http://hdl.handle.net/10603/562373
Title: Analysis of Creep in a Variable Thickness Rotating Disc Made of Functionally Graded Composite
Researcher: Arora, Vinay
Guide(s): Bhatia, Rajesh and Singh, Maninder
Keywords: Computer Science
Computer Science Software Engineering
Engineering and Technology
UML (Computer science)
University: Thapar Institute of Engineering and Technology
Completed Date: 2017
Abstract: A system is concurrent if it includes a number of execution flows that can progress simultaneously and interact with each other. In this era of technology, the concurrent systems are common in various application domains, viz. segregation of input-output processing from the back-end computation using multithreaded paradigm, client-server communication model having client-side and server-side computations, coordination among a large number of computing nodes in peer-to-peer services, etc. Synchronized implementation of the multiple execution flows in the concurrent software systems leads to new problems and introduces new design and verification challenges. This research work is a modest attempt to investigate in the domain of testing concurrent programs by classifying it into eight categories, viz. (i) reachability testing, (ii) structural testing, (iii) model-based testing, (iv) mutation-based testing, (v) slicing-based testing, (vi) formal method-based testing, (vii) random testing, and (viii) search-based testing. The following data/findings have been synthesized from the various research articles to form the basis of this work: (1) the approaches for testing concurrent programs; (2) the parameters for classifying various approaches into different categories; (3) the algorithms/techniques proposed or available under a particular approach for testing concurrent program; (4) the graphical representations used under a particular technique; (5) the test tools, prototypes and APIs proposed or available in this area; and (6) the subject systems or user programs used for testing concurrent programs. The present study further investigates the problems of generating test scenarios from UML activity diagram using two bio-inspired algorithms, viz. amoeboid algorithm, and orientation-based ant colony algorithm. The first approach, based on the application of amoeboid organism algorithm, motivates to find out scenarios for concurrent section in an activity diagram. A similarity lies between the tubular veins like structure
Pagination: xxiv, 145p.
URI: http://hdl.handle.net/10603/562373
Appears in Departments:Department of Computer Science and Engineering

Files in This Item:
File Description SizeFormat 
01_title.pdfAttached File497.72 kBAdobe PDFView/Open
02_prelim pages.pdf846.63 kBAdobe PDFView/Open
03_content.pdf493.21 kBAdobe PDFView/Open
04_abstract.pdf496.43 kBAdobe PDFView/Open
05_chapter 1.pdf1.54 MBAdobe PDFView/Open
06_chapter 2.pdf1.75 MBAdobe PDFView/Open
07_chapter 3.pdf2.88 MBAdobe PDFView/Open
08_chapter 4.pdf3.42 MBAdobe PDFView/Open
09_chapter 5.pdf734.35 kBAdobe PDFView/Open
10_annexure 6.pdf580.68 kBAdobe PDFView/Open
80_recommendation.pdf1.23 MBAdobe PDFView/Open
Show full item record


Items in Shodhganga are licensed under Creative Commons Licence Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0).

Altmetric Badge: