Please use this identifier to cite or link to this item:
http://hdl.handle.net/10603/562373
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.coverage.spatial | ||
dc.date.accessioned | 2024-05-02T05:08:05Z | - |
dc.date.available | 2024-05-02T05:08:05Z | - |
dc.identifier.uri | http://hdl.handle.net/10603/562373 | - |
dc.description.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 | |
dc.format.extent | xxiv, 145p. | |
dc.language | English | |
dc.relation | ||
dc.rights | university | |
dc.title | Analysis of Creep in a Variable Thickness Rotating Disc Made of Functionally Graded Composite | |
dc.title.alternative | ||
dc.creator.researcher | Arora, Vinay | |
dc.subject.keyword | Computer Science | |
dc.subject.keyword | Computer Science Software Engineering | |
dc.subject.keyword | Engineering and Technology | |
dc.subject.keyword | UML (Computer science) | |
dc.description.note | ||
dc.contributor.guide | Bhatia, Rajesh and Singh, Maninder | |
dc.publisher.place | Patiala | |
dc.publisher.university | Thapar Institute of Engineering and Technology | |
dc.publisher.institution | Department of Computer Science and Engineering | |
dc.date.registered | ||
dc.date.completed | 2017 | |
dc.date.awarded | 2017 | |
dc.format.dimensions | ||
dc.format.accompanyingmaterial | None | |
dc.source.university | University | |
dc.type.degree | Ph.D. | |
Appears in Departments: | Department of Computer Science and Engineering |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
01_title.pdf | Attached File | 497.72 kB | Adobe PDF | View/Open |
02_prelim pages.pdf | 846.63 kB | Adobe PDF | View/Open | |
03_content.pdf | 493.21 kB | Adobe PDF | View/Open | |
04_abstract.pdf | 496.43 kB | Adobe PDF | View/Open | |
05_chapter 1.pdf | 1.54 MB | Adobe PDF | View/Open | |
06_chapter 2.pdf | 1.75 MB | Adobe PDF | View/Open | |
07_chapter 3.pdf | 2.88 MB | Adobe PDF | View/Open | |
08_chapter 4.pdf | 3.42 MB | Adobe PDF | View/Open | |
09_chapter 5.pdf | 734.35 kB | Adobe PDF | View/Open | |
10_annexure 6.pdf | 580.68 kB | Adobe PDF | View/Open | |
80_recommendation.pdf | 1.23 MB | Adobe PDF | View/Open |
Items in Shodhganga are licensed under Creative Commons Licence Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0).
Altmetric Badge: