Towards a formalization of viewpoints testing