检查控制武器系统的计算机程序,显示有54个“if”语句(其中23个带有“else”子句)、4个“switch”语句(分别带有5、7、4和8个“case”),以及17个“for”或“while”循环,它们具有参数化的循环边界。如何穷尽测试这样一个程序,以证明其安全?
分遗产税制的特点是()。
A.一次性地先征税,然后进行财产的分割继承,而不管这项财产的去向如何,税率设计依据遗产总额确定,而不考虑继承人的多少及其与被继承人的亲疏关系
B.税负高低往往取决于继承人与被继承人的亲疏关系,一般也按超额累进税率计征
C.先总额征税,以利源泉控制;再按继承人继承的份额征税,以体现合理负担
D.税源集中、充分,考虑因素较少,征收管理较易