NDLI: A TGV-like approach for asynchronous testing

Please wait, while we are loading the content...

Nirikshan: mining bug report history for discovering process maps, inefficiencies and inconsistencies

Threshold acceptance algorithm based energy tuning of scientific applications using EnergyAnalyzer

A call trace based technique for regression test selection of enterprise web applications (SoRTEA)

SamikshaViz: a panoramic view to measure contribution and performance of software maintenance professionals by mining bug archives

A web-integrated verifying compiler for RESOLVE: a research perspective

'Process overheads' aka the 'productivity killers': a soul-searching experience in reaching the pinnacle (industry experience report)

Operational abstractions of model transforms

A TGV-like approach for asynchronous testing

Class point approach for software effort estimation using various support vector regression kernel methods

Towards end-to-end multi-dimensional quality evaluation of business processes

Latent semantic centrality based automated requirements prioritization

ESA: the exclusive-similarity algorithm for identifying extract-class refactoring candidates automatically

Does increasing formalism in the use case template help?

A novel collaborative platform for document management

A comparative study of feature-ranking and feature-subset selection techniques for improved fault prediction

Token transportation in Petri net models of workflow patterns

Outsourcing service provision through step-wise transformation

Enforcing structure on textual use cases via annotation models

Probabilistic component identification

Software effort estimation using machine learning techniques

A three-layer model of source code comprehension

Automatic generation of sequence diagram from use case specification

Navigating the maze: journey towards an optimal process framework for regulated medical software

A TGV-like approach for asynchronous testing

Content Provider	ACM Digital Library
Author	Bhateja, Puneet
Abstract	The functional behaviour of a reactive system can be modelled by an IOLTS (input output labelled transition system). However when the system is observed asynchronously (i.e., remotely through some medium), the apparent (or asynchronous) behaviour is different from its actual functional behaviour. Specifically, each trace of input output events executed by a system can appear distorted in infinite number of ways. Given a finite state IOLTS M describing the actual behaviour of a system, [7] shows how to define a corresponding infinite state IOLTS [M] describing the asynchronous behaviour of the same system. So defined, the resulting [M] is non-deterministic. Since [M] is also infinite state, it is not possible to convert it into its deterministic equivalent $[M]_{D}$ by the standard subset construction method. To this end, our first contribution in this paper is to show how to define an infinite state deterministic IOLTS $[M]_{D}$ from the given M. The states of M and $[M]_{D}$ bear correspondence such that if we distinguish some states of M as accept states, then we can have corresponding accept states in $[M]_{D}.$ Our second contribution is about reachability analysis. In particular, we prove how to determine whether a given state of $[M]_{D}$ leads to some accept state. This result assumes importance because of the infinite size of $[M]_{D}.$ After proving these fundamental results, we shift the discussion to the theory underlying conformance testing. The center of discussion is a test generation tool called TGV. We finally show how these results can be used to build a TGV-like approach for generating test cases for an asynchronously communicating system.
Starting Page	1
Ending Page	6
Page Count	6
File Format	PDF
ISBN	9781450327763
DOI	10.1145/2590748.2590761
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2014-02-19
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in