Author

PVR Murthy

21 papers · 1994–2026

1994peak 2 in 20162026

Frequent co-authors

Papers

showing 1–21 of 21 RSS

Test ready UML statechart models

PVR Murthy, P. Anitha, M. Mahesh +1 more

Software · 27 May 2006 · cited 26× · DOI ↗ · more like this ·

The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as systematic testing and test adequacy. We choose UML Statechart models of behavior as the basis for test generation. This paper attempts to lay a new foundation for UML Statechart based test generation by introducing Test Ready UML Statechart models that can be used by testers in the testing phases just as the conventional UML Statecharts are required during the design and development phases. In order to achieve the goal of automatic test generation based on UML Statecharts, we identify what is required over and above UML Statecharts for testers to specify so that the resulting test ready models are amenable for automatic generation of executable test scripts. The test generation problem from a Test Ready UML…

Model-based testing in industry

Monalisa Sarma, PVR Murthy, Sylvia Jell +1 more

Software · 3 May 2010 · cited 22× · DOI ↗ · more like this ·

Traditional testing techniques may not always be suitable for adequate, thorough, and extensible testing of critical and complex software in a resource and time constrained software development environment. Model-based testing (MBT) is an evolving technique for generating test cases automatically from a behavioral model of a system under test. For a Siemens industrial project in the healthcare domain high quality, reliable and robust software is indispensable. Thus, we must ensure rigorous testing using a model based approach. We specify nine essential criteria to be satisfied to ensure the quality of the medical software with MBT. We have selected two recently launched MBT tools, namely Conformiq's Qtronic 2.0 and Microsoft's SpecExplorer 2010 V3.0, to see how far the criteria set for testing are achieved by these two tools. This paper reports on the evaluation of the tools and…

Vulnerability Coverage Criteria for Security Testing of Web Applications

PVR Murthy, R. G. Shilpa

Information Systems · September 2018 · cited 14× · DOI ↗ · more like this ·

Security and penetration testing tasks for web applications are important as they enable detection of vulnerabilities that attackers may exploit. Existing security coverage criteria or test adequacy criteria do not have a systematic basis. An attempt is made to define test adequacy criteria for web applications by abstracting a functional test as a sequence of events and mapping events to vulnerabilities as a basis for the design of security or penetration tests. Tests are designed primarily based on functional specifications of a web application, however, information about potential vulnerabilities at events may be gathered from different relevant sources including vulnerable regions of application code. A few interesting and effective security test adequacy criteria such as vulnerability-length-1, vulnerability-length-n and vulnerability pair-wise coverage are proposed as a basis for…

Precise Shared Instruction Cache Analysis to Estimate WCET of Multi-threaded Programs

P. Padma Priya Dharishini, PVR Murthy

Hardware and Architecture · 2021 IEEE 18th India Council International Conference (INDICON) · 19 Dec 2021 · cited 6× · DOI ↗ · more like this ·

Worst Case Execution Time analysis has received considerable attention in the recent past, mainly to guarantee safety criteria for real-time embedded applications. Several investigations have provided techniques to determine the latency contribution, to WCET, due to instruction cache misses. However, their main drawback is that the set of inter-thread interferences to the shared instruction cache includes interferences that never arise in actual runs of the multi-threaded program. Thus, for a more precise WCET analysis of accesses to shared instruction cache, instructions in a competing thread that would never cause interferences should be excluded. The main contribution is to propose an algorithm whereby a multi-threaded program, running on multiple cores, is partitioned one or more times corresponding to the number of synchronization pairs (wait, notify) in the threads. Each partition…

Quality Model Driven Dynamic Analysis

PVR Murthy, Saravana Kumar, Tushar Sharma +1 more

Computer Networks and Communications · July 2011 · cited 5× · DOI ↗ · more like this ·

Release managers often face a dilemma about the quality of software under delivery before a release. The presence of run-time errors such as memory leaks, buffer overflows, and deadlocks affects quality attributes such as efficiency, security, and reliability. Such errors are detected using dynamic analysis methods in practice. However, the dynamic analysis methods employed in practice are by and large ad hoc. It is essential to use dynamic analysis focusing on finding the right set of run-time errors in a software component that have the maximum impact on quality. There exists a need to identify quality attributes such as reliability, efficiency, and security that are important for a software component, or, a system. In this paper, a quality model driven dynamic analysis methodology is proposed. Various run-time errors that can arise during the execution of programs written in a…

Parallel computing with x10

PVR Murthy

Hardware and Architecture · 11 May 2008 · cited 5× · DOI ↗ · more like this ·

Many problems require parallel solutions and implementations and how to extract and specify parallelism has been the focus of Research during the last few decades. While there has been a significant progress in terms of (a)automatically deriving implicit parallelism from functional and logic programs, (b) using parallelizing compilers to extract parallelism from serial programs written in Fortran or C mainly by parallelizing loop constructs and (c) evolution of standards such as Message Passing Interface (MPI) to allow a Fortran or C programmer to decompose a problem into a parallel solution, the parallel computing problem is still not solved completely. With the emergence of parallel computing architectures based on multi-core chips, there is a need to rewrite existing software and also develop future software so that parallelism available at the hardware level is fully exploited.

RECOGNITION OF ONLINE HANDWRITTEN TELUGU LETTERS FOR DIFFERENT DOMAINS AND ORGANIZATIONS

PVR Murthy, Ch. G.V.N. Prasad

Human-Computer Interaction · 2019 · cited 3× · OpenAlex ↗ · more like this ·

Machine learning and neural networks are trending technologies used in different kinds of handwritten (HW) pattern recognition of various research areas. Therefore it is very hard to distinguish and recognise the hand written characters of different persons. Recognition of characters related to telugu language is a part of pattern reorganisation that happen to the idea of research during the past some years. Neural networks (NN) are playing a significant role in telugu HW character recognition. HW detection is the capability of a digital computer to receive and understand intelligible HW input from documents, images, touch screens and other electronic devices etc. These all may be online or offline, in this context online recognition includes conversion of pen tip digital movements into a list of originates used as input for the categorization system where as offline recognition uses…

Distributed GUI Test Automation

PVR Murthy, Andreas Ulrich

Software · December 2017 · cited 2× · DOI ↗ · more like this ·

The paper provides the design of a distributed test system for testing distributed GUI (Graphical User Interface) applications. The distributed GUI application that is considered allows multiple operators or users to interact with a distributed system in parallel. The distributed GUI application allows the use of existing GUI test frameworks for local test execution and offers additional services of coordination and synchronization among the deployed GUI test frameworks, test verdict arbitration, and debugging support, all of which are needed to deal with the concurrent nature of the system under test. In addition, the paper offers a test specification method for test cases that is based on the semantic model of a concurrent event flow graph. This method allows the automatic test case execution on top of the suggested distributed test system. The overall approach allows the extension of…

ESA

Tushar Sharma, PVR Murthy

Information Systems · 19 Feb 2014 · cited 2× · DOI ↗ · more like this ·

Refactoring has become an essential part of software development process especially for large and long lasting projects. Extract-class is one of the vital refactorings that is used to improve cohesion of a class by splitting large in-cohesive classes into more cohesive ones. Providing automated means of identifying opportunities for extract-class refactoring could make the software maintenance efficient. In this paper, a novel algorithm viz. ESA ("Exclusive-Similarity" Algorithm) is proposed to identify extract-class refactoring candidates automatically. The algorithm proposes new metrics viz. Exclusive-Similarity metric (ESM), Cohesion among Method-Clusters, (CMC) and Method-Similarity with Attribute-Clusters (MSAC). The proposed algorithm has been realized into a tool as an add-in to Visual Studio and the tool is exercised with 3 open-source projects to demonstrate applicability.

Implementation of speculative parallelism in functional languages

PVR Murthy, V. Rajaraman

Artificial Intelligence · IEEE Transactions on Parallel and Distributed Systems · 1994 · cited 2× · DOI ↗ · more like this ·

A compile-time analysis technique is developed to derive the probability with which a user-defined function or a supercombinator requires each one of its arguments. This provides a basis for identifying useful speculative parallelism in a program. The performance of speculative evaluation is compared with that of lazy evaluation, and the necessary conditions under which speculative evaluation performs better are identified.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>

Testing Multi-Threaded Programs by Transformation to Hoare’s CSP

PVR Murthy, Naveeta Rani

Software · 2022 IEEE 2nd Mysore Sub Section International Conference (MysuruCon) · 16 Oct 2022 · cited 1× · DOI ↗ · more like this ·

The problem of testing multi-threaded programs by viewing the program as Hoare’s CSP specification or Communicating State Machines is addressed. We describe an approach to transform Java threads into equivalent Hoare’s CSP specification and discuss its implementation. The CSP based abstract view of the Java program aids developers create more effective tests addressing coverage of not only the underlying individual state models but also the interactions among concurrent or communicating state machines. Code coverage criteria of a multi-threaded program are defined in terms of intra-thread and inter-thread state transitions where the latter reflect implicit transitions from the notification node of one thread to the wait node of another interacting thread. The coverage criterion for a multi-threaded program for inter-thread communication is based on covering transition from each notify…

Refactoring Methods

PVR Murthy, T. Rajaram, S Hemanth

Information Systems · 2007 · cited 1× · DOI ↗ · more like this ·

This tutorial provides an introduction to the problems faced in software evolution, and why we need to be concerned about refactoring design and code on a continuous basis. Such refactoring helps ensure that software is more easily changeable, and the costs of development and maintenance are reduced. This tutorial addresses (a) refactoring techniques that a developer can employ during design and coding and (b) static analysis techniques that detect opportunities for refactoring.

Thread-Sensitive Shared Instruction Cache Analysis for Precise WCET Estimation of Multithreaded Programs

Naveeta Rani, P Padma Priya Dharishini, PVR Murthy

Hardware and Architecture · International Journal of Advanced Computer Science and Applications · 2026 · cited 0× · DOI ↗ · more like this ·

Real-time systems require strict adherence to task deadlines, making Worst-Case Execution Time (WCET) analysis essential. WCET estimation typically involves static analysis of instructions in a program, making use of models of hardware and architectural units such as shared instruction caches that are as precise as possible. Shared instruction caches pose a challenge because cache behaviour depends on access history and inter-core interference in multicore systems. Existing approaches do not fully exploit thread lifecycle and synchronization semantics when modeling shared instruction cache behavior. In contrast, the proposed TP-WCIP model explicitly incorporates these semantics to eliminate infeasible interference scenarios. By confining interference placement to feasible concurrent execution regions, it achieves more precise WCET estimation. Worst-case latency, due to shared…

Design and Implementation of a Simulator for Precise WCET Estimation of Multithreaded Program

P. Padma Priya Dharishini, PVR Murthy

Hardware and Architecture · International journal of electrical and computer engineering systems · 27 Feb 2023 · cited 0× · DOI ↗ · more like this ·

Significant attention is paid to static analysis methods for Worst Case Execution Time Analysis of programs. However, major effort has been focused on WCET analysis of sequential programs and only a little work is performed on that of multithreaded programs. Shared computer architectural units such as shared instruction cache pose a special challenge in WCET analysis of multithreaded programs. The principle used to improve the precision of shared instruction cache analysis is to shrink the set of interferences, from competing threads to an instruction in a thread that may be accessed from shared instruction cache, using static analysis extended to barriers. An Algorithm that address barrier synchronization and used by the simulator is designed and benchmark programs consisting of both barrier synchronization and computation task synchronization are presented. Improvements in precision…

Analysis of benchmark program results of worst case execution time for multithreaded programs

P. Padma Priya Dharishini, PVR Murthy

Hardware and Architecture · Indonesian Journal of Electrical Engineering and Computer Science · 18 Nov 2022 · cited 0× · DOI ↗ · more like this ·

<span lang="EN-US">Worst case execution time (WCET) estimation by static analyzers is being investigated with keen interest in view of their importance in designing applications for embedded systems that have real- time requirements. Recent work reported on improving precision of estimates of WCET of multithreaded programs, by improving precision of shared instruction cache analysis, shows significant improvement in WCET estimates. An abstraction of a multithreaded program as Hoare’s communicating sequential processes (CSP) specification program is realized to enable higher precision in micro-architectural modelling unit of WCET analyzer of multithreaded programs. A thread is viewed as a composition of CSP. The WCET of a thread may be viewed as dependent on WCET of processes in a thread and in turn WCET of each process is the WCET of the sub-graph of basic block nodes in the…

Recognition of Handwritten Digits Using Support Vector Machine and Neural Networks

M. I. Ahmed, Mohammed Samran, Mohammed Thousif +1 more

Computer Vision and Pattern Recognition · International journal of advance research and innovative ideas in education · 2020 · cited 0× · OpenAlex ↗ · more like this ·

Optical Character Recognition (OCR) is the method of classification of optical patterns contained in an exceedingly digital image. The character recognition is achieved through segmentation, feature extraction, and classification. one of all the foremost used tools for optical character recognition may well be a tesseract. During this project we try to create an alternate of tesseract which is our own model ready to} recognize different handwritten digits which don't seem to be printed but written manually and since tesseract is solely able to recognize printed digits, it'll be a valuable feature for several developers. We use the Support Vector Machine during this process. Support Vector Machine could also be a classification tool at home with recognizing handwritten digits. We also use a Neural network for Data analysis and classification of knowledge. In particular, handwritten digit…

Design By Contract Methodology

PVR Murthy

Artificial Intelligence · September 2018 · cited 0× · DOI ↗ · more like this ·

Software components are still considered the weakest link when it comes to addressing reliability of a system. We argue that a systematic application of Bertrand Meyer's design by contract methodology improves reliability quite significantly. In the perspective of design by contract methodology, reliability is viewed as correctness and robustness. The concept of Reliability by Construction is dealt with in detail. Process steps to introduce or integrate design by contract methodology into existing SDLC of a product or system are discussed. The notion of sufficiently strong contracts is dealt with along with their advantages in defect prevention. Composition of function calls or services and the properties that contract specifications of successive functions(calls) need satisfy are stated. The process of contract refinement during successive phases of SDLC is discussed. Contract…

Reliability by Construction using Design by Contract Methodology

PVR Murthy

Artificial Intelligence · February 2016 · cited 0× · DOI ↗ · more like this ·

Efficient Parallel Browsers for Mobile Devices

PVR Murthy

Information Systems · February 2016 · cited 0× · DOI ↗ · more like this ·

Realizing acceptable responsiveness and energy efficiency during browser sessions on handheld devices is a challenging and important problem. Advances are being made in improving responsiveness using techniques such as speculative loading of resources, parallel HTML5 parsing, parallelization of Java Script and parallel layout computations. The concept of parallelism aware DOM tree is discussed along with related concepts underlying analysis techniques for parallelizing HTML5/JavaScript code.

Computation and visualization of cause-effect paths

Alpana Dubey, PVR Murthy

Information Systems · May 2013 · cited 0× · DOI ↗ · more like this ·

Static analyzers detect possible run-time errors at compile-time and often employ data-flow analysis techniques to infer properties of programs. Usually, dataflow analysis tools report possible errors with line numbers in source code and leave the task of locating root causes of errors. This paper proposes a technique to aid developers in locating the root causes of statically identified run-time errors with the help of cause-effect paths. A cause effect path terminates at an erroneous statement and originates at the statement which is responsible for the error. We propose modifications to the classic data-flow analysis algorithm to compute cause-effect paths. We discuss different visualization modes in which cause-effect paths can be displayed. As a case study, we implemented a null pointer analyzer, with the additional capability of cause-effect path computation, using the Microsoft…

Model based testing using an Extended Context Free Grammar

Miriyala Mahesh, PVR Murthy

Software · March 2012 · cited 0× · DOI ↗ · more like this ·

There exists a frequent requirement to test components or modules that accept various parameters which need to be combined in specific ways, as dictated by constraints specified in a natural language. Extended Context Free Grammars (ECFG) are suitable for modeling the above test requirements. A tool is built that accepts a test design in the form of an ECFG and generates test data or scripts automatically. With the objective of providing a user-friendly interface for expressing test designs in ECFG, a visual formalism using data-flow graphs is provided by the tool. Some case studies are reported to demonstrate the benefits of the approach.