阅读以下关于嵌入式软件测试用例设计额叙述，回答问题1至问题3，将答案填入答题纸的对应栏内。

【说明】

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

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

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

1、语句覆盖

2、条件覆盖

3、判定覆盖（分支覆盖）

4、路径覆盖