有一段程序如下，请设计测试用例以满足语句覆盖要求。