民事法律行为生效的有效要件包括实质要件和形式要件。下列属于民事法律行为的形式的有()

A、口头形式

B、书面形式

C、推定形式

D、沉默形式

阅读以下关于嵌入式软件测试用例设计的叙述。

[说明]

某程序段的流程如图3-1所示，x、y是两个变量，K、J表示一段程序执行体，表3-1所示为本题可供选择的四组测试用例组。

在程序测试用例设计中，有语句覆盖、条件覆盖、判定覆盖（分支覆盖）和路径覆盖等。其中（）是最强的覆盖准则。

请把以下4个选项中正确的选项序号填入上述空白处。