An Invitation to Friendly Testing

(整期优先)网络出版时间:1998-06-16
/ 1
Wepresentanewtestingsemantics,calledfriendlytesting,whosemainpropertyisthattheinducedpreorderbetweenprocessesContaininfrisconsistentwiththeconformancerelation,andsowehave,forinstance,a+bContaininfraContaininfra+b.ThenewtheoryisstronglybasedonDeNicola&Hennessy'sworkontesting.Friendlytestsaredefinedexactlyasintheirwork,exceptthatinternalactionsarenotallowed.However,inordertoobtainthedesirednotionoffriendlytestingthisrestrictionisnotenoughandwealsohavetorelaxtheconditionstopassatest.ThusweobtainanewtestingsemanticsandanewpreorderbetweenprocesseswhichisstrictlyweakerthantherelationContaininmust.Moreover,wepresentanaltrnativecharacterizationofournewtestingsemanticsbydefiningamodificationofacceptancesets.