王工在与张工讨论该软件的测试计划时，就软件的测试环境产生了争执。张工认为所有的第三方测试工作都必须在目标机环境下完成，否则无法保证测试的有效性。王工认为开发工作进度很紧，而且开发工作需要频繁占用目标机环境，第三方测试在仿真环境下进行就可以了，没有必要非得在目标机环境下测试。请在200字以内对上述两人意见的正确性进行评价与分析，并简述你对本题目中的测试环境问题的建议。
阅读以下关于嵌入式软件测试方面的叙述，回答问题1至问题3。
【说明】
甲公司是一个专业的航空软件开发公司，当前正在为某用户开发某航空嵌入式实时软件，王工是该软件开发项目的负责人。应用户要求，甲公司委托乙公司对其开发的航空软件进行第三方测试。张工是乙公司中该测试项目的负责人。
选择学王工在与张工讨论该软件的测试计划时，就软件的测试环境产生了争执。张工认为所有的第三方测试工作都必须在目标机环境下完成，否则无法保证测试的有效性。王工认为开发工作进度很紧，而且开发工作需要频繁占用目标机环境，第三方测试在仿真环境下进行就可以了，没有必要非得在目标机环境下测试。请在200字以内对上述两人意见的正确性进行评价与分析，并简述你对本题目中的测试环境问题的建议。
由于该软件是质量要求很高的航空嵌入式实时软件，在甲乙双方就签订该软件第三方测试技术协议进行磋商时，甲方要求乙方的第三方测试结构覆盖率必须达到修正的条件判定覆盖（MC/DC）。请分别简述修正的条件判定覆盖MC/DC与条件判定覆盖（C/DC）对测试用例集的要求条件，下面给出了一个含有两个判定条件的例子，请说明两种覆盖测试用例集的设计方法。
例子：
IF A OR B THEN
…
ELSE
…
ENDIF
张工的项目组根据王工的项目组提供的软件需求文档和设计文档，严格按照协议要求进行了第三方测试，但是软件交付给用户使用后，仍然出了很多问题，用户对软件质量评价不高。王工认为张工项目组没有很好地进行软件第三方测试，张工觉得并无不妥之处，请对这一状况和原因进行分析。
