在两种基本测试方法中，______测试的原则之一是保证所测模块中每一个独立路径至少要执行一次。

在“窗体视图”显示该窗体时，要求在单击命令按钮后标签上显示的文字颜色变为红色，以下能实现该操作的语句是