Articles

On real reward testing

Expand
  • MOE-MS Key Laboratory for Intelligent Computing and Intelligent Systems, Shanghai Jiaotong University, Shanghai 200240, China

Online published: 2025-06-27

Abstract

We extend the traditional nonnegative reward testing with negative rewards. In this new testing framework, may preorder and must preorder are the inverse of each other. More surprisingly, it turns out that the real reward must testing is no more powerful than the nonnegative reward testing, at least for finite processes. In order to prove that result, we exploit an important property of failure simulation about the inclusion of the testing outcomes between two related processes. © Shanghai Jiaotong University and Springer-Verlag Berlin Heidelberg 2011.

Cite this article

Yang W.-Z.; Deng Y.-X. . On real reward testing[J]. Journal of Shanghai Jiaotong University(Science), 2011 , 16(4) : 479 -484 . DOI: 10.1007/s12204-011-1176-6

Outlines

/