Mathematical Problems in Engineering
Volume 2015, Article ID 173012, 13 pages
http://dx.doi.org/10.1155/2015/173012
Quantitative Analysis of Software Approximate Correctness
School of Computer Science and Technology, Huaibei Normal University, Huaibei 235000, China
Received 6 November 2014; Accepted 14 June 2015
Academic Editor: Fabio Tramontana
Copyright © 2015 Yanfang Ma. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Abstract
Parameterized bisimulation provides an abstract description of software correctness. In real world situations, however, many software products are approximately correct. To characterize the approximate correctness, we generalize the parameterized bisimulation to numerical version and probabilistic setting. First, we propose the definition of the parameterized bisimulation index that expresses the degree to which a binary relation is parameterized bisimulation. Then, -parameterized bisimulation over environment and its substitutivity laws are presented. Finally, -parameterized probabilistic bisimulation is established to describe complicated software products with probabilistic phenomena.