transfer NuSMV View to tab view
test