testcase Hello_World{p.send("Hello World!");alt{[]p.receive("Hello Song!");{setverdict(pass)};[else]{setverdict(fail)};}}

testcase Hello_World{p.send("Hello World!");alt{[]p.receive("Hello Song!");{setverdict(pass)};[else]{setverdict(fail)};}}
testcase Hello_World
{
p.send("Hello World!");
alt
{
[]p.receive("Hello Song!");
{setverdict(pass)};
[else]
{setverdict(fail)};
}
}

testcase Hello_World{p.send("Hello World!");alt{[]p.receive("Hello Song!");{setverdict(pass)};[else]{setverdict(fail)};}}
这是一段编程语言,没有全部翻译的必要,但可以进行逐行说明：
testcase Hello_World //测试事件 Hello_World （定义程序对象名）
{ //花括弧表示程序主题开始
p.send("Hello World!"); //向名为p的对象输出Hello World!
alt //条件切换
{
[]p.receive("Hello Song!");//如果p对象收到Hello Song
{setverdict(pass)}; //setverdict对象参数为通过
[else] //否则
{setverdict(fail)}; //setverdict对象参数为失败
}
}