TTCN3实践入门-咖啡机例子

kukumaru · 发表于 2009-3-24 18:06:39

TTCN-3是一门测试交互性系统的语言. 一个交互性系统接受外部环境的信息并能给予反馈. 为了测试一个交互性系统, 你需要提供外部环境的消息并且分析系统的反馈
这里是一个简单的例子,我们将制造并且测试一个咖啡机系统.咖啡机接受硬币作为输入消息,以给出咖啡作为响应.如果有50美分,就会给一份咖啡. 如果金额不足,比如只有三十美分,它就会等待余下的20美分,在此过程中,如果你投入50美分, 咖啡机就会给出一份咖啡,并且把上次的三十保留下来,继续等待20美分

我们把整个过程分为三步
首先,我们用TTCN-3建立一个模型, 比如我们写一个咖啡机的组件. 这个组件可以在真实的咖啡机可测试之前作为一个模拟的测试对象并且可以让我们用它作为测试对象来先运行我们的测试用例.我们也会提供一个简单的测试用例(测试买两杯咖啡)
然后我们会建立这个咖啡机. 因为仅仅是练习, 所以这里我们仅仅用C#来实现一个简单的模拟咖啡机. 在我们把这个咖啡机和TTCN3通信之前,我们需要明白两者之间的接口,因此我们写了一个C#程序来与这个咖啡机交互.
最后我们将来TTCN3的测试用例与咖啡机连接起来,实现两者的通信.这个过程可以让我们学习到如何把抽象测试对象适配到真实的SUT上的