Abstract
Two notions for comparing the efficiencies of equivalent concurrent systems have been developed and axiomatized in [1] and [2]. Recently Natarajan and Cleaveland have defined a notion of testing [6] which incorporates these ideas as an extension of the testing methodology ([3],[4]). Their extension bounds the run of a test in an effort to compare processes for their relative efficiencies, measured in terms of the amount of internal activity in a process.
In this paper we explore the feasibility of obtaining other efficiency based preorders in the setting of the testing methodology. We generalize the testing methodology and cast [3] and [6] in the new framework. Further, we provide a variation that is equivalent to that of [6].
Another alternative that we explore is what we call “testing for efficiency”. Rather than bound the test runs externally, testing for internal activity in a process is woven into the test itself. This turns out to be a more powerful and flexible method of testing processes for a variety of properties.
The main result of this paper is that the testing-efficiency preorders obtained from all the variations previously considered are coarser than that obtained by “testing for efficiency”. We prove appropriate alternate characterizations that are independent of any testing formalism. We also show that the existing methodologies (including [3]) or their equivalent variations can be simulated in the “testing for efficiency” framework.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Supported by project grant SR/OY/M-08/92 of the Department of Science and Technology, Govt. of India.
Preview
Unable to display preview. Download preview PDF.
References
S. Arun-Kumar and M. Hennessy. An efficiency preorder for processes. Acta Informatica, 29:737–760, 1992.
S. Arun-Kumar and V. Natarajan. Conformance: A precongruence close to bisimilarity. In STRICT, Berlin 1995, number 526 in Workshops in Computing Series, pages 55–68. Springer-Verlag, 1995.
R. de Nicola and M. Hennessy. Testing equivalence for processes. Theoretical Computer Science, 34:83–133, 1983.
M. Hennessy. Algebraic Theory of Processes. MIT Press, 1988.
R. Milner. Communication and Concurrency. Prentice-Hall International, 1989.
V. Natarajan and R. Cleaveland. An algebraic theory of process efficiency. In Logic in Computer Science '96. IEEE Computer Society Press, 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jain, K., Arun-Kumar, S. (1996). Testing processes for efficiency. In: Chandru, V., Vinay, V. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1996. Lecture Notes in Computer Science, vol 1180. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-62034-6_41
Download citation
DOI: https://doi.org/10.1007/3-540-62034-6_41
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62034-1
Online ISBN: 978-3-540-49631-1
eBook Packages: Springer Book Archive