Web based Reachability Testing for Hetergeneous Application using Nash Equilibrium
|
10.5120/6752-9004 |
S Preetha and M Punithavalli. Article: Web based Reachability Testing for Hetergeneous Application using Nash Equilibrium. International Journal of Computer Applications 45(2):25-30, May 2012. Full text available. BibTeX
@article{key:article,
author = {S. Preetha and M. Punithavalli},
title = {Article: Web based Reachability Testing for Hetergeneous Application using Nash Equilibrium},
journal = {International Journal of Computer Applications},
year = {2012},
volume = {45},
number = {2},
pages = {25-30},
month = {May},
note = {Full text available}
}
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
- 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.
- Yu Lei and Richard H. Carver, "Reachability Testing of Concurrent Programs" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 32, NO. 6, JUNE 2006.
- P. Bouyer, T. Brihaye & F. Chevalier (2010): O-Minimal Hybrid Reachability Games. Logical Methods in Computer Science 6(1:1), pp. 1–48.
- 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.
- B. Jobstmann, S. Staber, A. Griesmayer & R. Bloem (2011): Finding and Fixing Faults. Journal of Computer and System Sciences (JCSS)
- 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
- Yong Xiao; Guoan Bi et. Al. , 'Game Theoretic Analysis for Spectrum Sharing with Multi-Hop Relaying', IEEE Transactions on Wireless Communications,2011
- Niyato, D. ; Ping Wang et. Al. , "Exploiting Mobility Diversity in Sharing Wireless Access: A Game Theoretic Approach", IEEE Transactions on Wireless Communications, 2010
- Zhen Yang; Huadong Ma, "Hotspot Avoidance for P2P Streaming Distribution Application: A Game Theoretic Approach", Parallel and Distributed Systems, IEEE Transactions on 2009
- Yi Shi; Jiaheng Wang; et. Al. , "A game-theoretic approach for distributed power control in interference relay channels" IEEE Transactions on ", Wireless Communications, 2009
- 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.
- P. Godefroid, "Software Model Checking: The VeriSoft Approach," Formal Methods in System Design, vol. 26, no. 2, pp. 77- 101, 2005.