CFP last date
22 April 2024
Call for Paper
May Edition
IJCA solicits high quality original research papers for the upcoming May edition of the journal. The last date of research paper submission is 22 April 2024

Submit your paper
Know more
Reseach Article

Web based Reachability Testing for Hetergeneous Application using Nash Equilibrium

by S. Preetha, M. Punithavalli
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 45 - Number 2
Year of Publication: 2012
Authors: S. Preetha, M. Punithavalli
10.5120/6752-9004

S. Preetha, M. Punithavalli . Web based Reachability Testing for Hetergeneous Application using Nash Equilibrium. International Journal of Computer Applications. 45, 2 ( May 2012), 25-30. DOI=10.5120/6752-9004

@article{ 10.5120/6752-9004,
author = { S. Preetha, M. Punithavalli },
title = { Web based Reachability Testing for Hetergeneous Application using Nash Equilibrium },
journal = { International Journal of Computer Applications },
issue_date = { May 2012 },
volume = { 45 },
number = { 2 },
month = { May },
year = { 2012 },
issn = { 0975-8887 },
pages = { 25-30 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume45/number2/6752-9004/ },
doi = { 10.5120/6752-9004 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T20:36:35.149269+05:30
%A S. Preetha
%A M. Punithavalli
%T Web based Reachability Testing for Hetergeneous Application using Nash Equilibrium
%J International Journal of Computer Applications
%@ 0975-8887
%V 45
%N 2
%P 25-30
%D 2012
%I Foundation of Computer Science (FCS), NY, USA
Abstract

Reachability testing is a mixture strategy, combine non-deterministic and deterministic testing accomplishes a test run deterministically up to a definite point and then allow synchronized program to work non-deterministically. A game theoretic approach is the learning approach of mathematical models of variance and collaboration between intellectual rational decision-makers. To overcome the conflicts arises in the game theoretic approach, the previous work considered the fault discovery of reachability testing from a game theoretic point of view. But the downside of the previous work is that it supports only homogeneous applications rather than heterogeneous and web applications. Proposal in this work presented a web based reachability testing model encompassing a state of Nash equilibrium for heterogeneous applications. Heterogeneous application comprises of parallel and divertive function which have contributory influence over one another at different instances. The proposal adopts game theoretic approach which supports parallel and diversive functions by maintaining equilibrium state for contra functions. Evaluation of reachability test is conducted on to testify the integrity of newer functions with previous versions of the program. Simulations are conducted with web and heterogeneous application to evaluate the performance of proposed web based reachability testing model for both homogeneous and heterogeneous applications. The reliability of our proposal model shows improvement minimal testing time i. e. , nearly 16%, and memory usage i. e nearly 17% compared to the existing reachability testing methods.

References
  1. Y. Lei and R. Carver, "A New Algorithm for Reachability Testing of Concurrent Programs," Proc. Int'l Symp. Software Reliability Eng. , pp. 346-355, 2005.
  2. Yu Lei and Richard H. Carver, "Reachability Testing of Concurrent Programs" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 32, NO. 6, JUNE 2006.
  3. P. Bouyer, T. Brihaye & F. Chevalier (2010): O-Minimal Hybrid Reachability Games. Logical Methods in Computer Science 6(1:1), pp. 1–48.
  4. G. Fey, S. Staber, R. Bloem & R. Drechsler (2008): Automatic Fault Localization for Property Checking. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on 27(6), pp. 1138 –1149.
  5. B. Jobstmann, S. Staber, A. Griesmayer & R. Bloem (2011): Finding and Fixing Faults. Journal of Computer and System Sciences (JCSS)
  6. Yi Shi; Jiaheng Wang et. Al. , "A game-theoretic approach for distributed power control in interference relay channels ", IEEE Transactions on Wireless Communications, June 2009
  7. Yong Xiao; Guoan Bi et. Al. , 'Game Theoretic Analysis for Spectrum Sharing with Multi-Hop Relaying', IEEE Transactions on Wireless Communications,2011
  8. Niyato, D. ; Ping Wang et. Al. , "Exploiting Mobility Diversity in Sharing Wireless Access: A Game Theoretic Approach", IEEE Transactions on Wireless Communications, 2010
  9. Zhen Yang; Huadong Ma, "Hotspot Avoidance for P2P Streaming Distribution Application: A Game Theoretic Approach", Parallel and Distributed Systems, IEEE Transactions on 2009
  10. Yi Shi; Jiaheng Wang; et. Al. , "A game-theoretic approach for distributed power control in interference relay channels" IEEE Transactions on ", Wireless Communications, 2009
  11. C. Flanagan and P. Godefroid, "Dynamic Partial Order Reduction for Model Checking Software," Proc. 32nd Symp. Principles of Programming Languages (POPL), pp. 110-121, 2005.
  12. P. Godefroid, "Software Model Checking: The VeriSoft Approach," Formal Methods in System Design, vol. 26, no. 2, pp. 77- 101, 2005.
Index Terms

Computer Science
Information Sciences

Keywords

Reachability Testing Game Theoretic Approach Heterogeneity Fault Detection Web Applications