王某自大学毕业后，实际工作年限为13年，在甲公司的工作年限为3年，2009年4月1日，王某因患病开始在家中休息。根据《劳动合同法》的规定，下列表述中，正确的有（）。

A、王某享有的医疗期期间为6个月

B、自2009年4月1日至2010年3月31日，如果王某累计病休6个月，则医疗期满

C、在计算王某累计病休的时间时，病休期间的公休、假日和法定节日不包括在内

D、医疗期内遇合同期满，则合同必须续延至医疗期满，职工在此期间仍然享受医疗期内待遇

程序测试分为静态分析和动态测试。其中______是指不执行程序，而只是对程序文本进行检查，通过阅读和讨论，分析和发现程序中的错误。