A公司是一个专业航空软件开发公司，当前正在为某用户开发某航空-考网

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

查看答案纠错

答案：

本题解析：

一、试题分析这是一道关于嵌入式系统软件测试问题试题，主要涉及到第三方测试相关问题，以及测试用例设计。【问题1】对于一般商用软件测试，嵌入式软件测试有其自身特点和测试困难。在嵌入式开发中，开发环境被认为是主机平台，软件运行环境为目标机平台。如果所有测试都放在目标机上有很多不利因素，例如：（1）测试软件可能会造成与开发者争夺时间瓶颈，为了避免这个问题只有提供更多目标环境。（2）目标机环境可能还不可行。（3）比起主机平台环境，目标机环境通常是不精密和不方便。（4）提供给开发者目标环境和联合开发环境通常是很昂贵。（5）开发和测试工作可能会妨碍目标机环境已存在持续应用。一般情况下：（1）所有单元测试在主机环境上进行。（2）软件集成在主机平台上模拟目标机环境运行，当然在目标环境上重复测试也是必须。（3）所有系统测试和确认测试必须在目标机环境下执行。【问题2】第2个问题要求比较修正条件判定覆盖MC/DC与条件判定覆盖（C/DC），并根据给出例子分别设计测试用例。控制流测试根据程序内部逻辑结构设计测试用例，常用技术是逻辑覆盖，即使用测试数据运行被测程序，考察对程序逻辑覆盖程度。主要覆盖标准有语句覆盖、判定覆盖、条件覆盖、条件/判定覆盖、条件组合覆盖、修正条件/判定覆盖和路径覆盖等。（1）语句覆盖。语句覆盖是指选择足够多测试用例，使得运行这些测试用例时，被测程序每个语句至少执行一次。很显然，语句覆盖是一种很弱覆盖标准。（2）判定覆盖。判定覆盖也称为分支覆盖，它是指不仅每个语句至少执行一次，而且每个判定每种可能结果（分支）都至少执行一次。判定覆盖比语句覆盖强，但对程序逻辑覆盖程度仍然不高。（3）条件覆盖。条件覆盖是指不仅每个语句至少执行一次，而且使判定表达式中每个条件都取得各种可能结果。条件覆盖不一定包含判定覆盖，判定覆盖也不一定包含条件覆盖。（4）条件/判定覆盖。同时满足判定覆盖和条件覆盖逻辑覆盖称为判定/条件覆盖。它含义是，选取足够测试用例，使得判定表达式中每个条件所有可能结果至少出现一次，而且每个判定本身所有可能结果也至少出现一次。（5）条件组合覆盖。条件组合覆盖是指选取足够测试用例，使得每个判定表达式中条件结果所有可能组合至少出现一次。显然，满足条件组合覆盖测试用例，也一定满足判定/条件覆盖。因此，条件组合覆盖是上述5种覆盖标准中最强一种。然而，条件组合覆盖还不能保证程序中所有可能路径都至少遍历一次。（6）修正条件/判定覆盖。修正条件/判定覆盖需要足够测试用例来确定各个条件能够影响到包含判定结果。首先，每个程序模块入口和出口点都要考虑至少要被调用一次，每个程序判定到所有可能结果值要至少转换一次；其次，程序判定被分解为通过逻辑操作符（and和or）连接布尔条件，每个条件对于判定结果值是独立。（7）路径覆盖。路径覆盖是指选取足够测试用例，使得程序每条可能执行到路径都至少经过一次（如果程序中有环路，则要求每条环路路径至少经过一次）。路径覆盖实际上考虑了程序中各种判定结果所有可能组合，因此是一种较强覆盖标准。但路径覆盖并未考虑判定中条件结果组合，并不能代替条件覆盖和条件组合覆盖。【问题3】第3个问题意思是经过了第三方测试后，软件仍然有问题，要求考生回答原因是什么。要注意一句话：“张工项目组根据王工项目组提供软件需求文档和设计文档，严格按照协议要求进行了第三方测试”，这就说明不是测试本身问题。既然不是测试本身问题，那原因是什么呢？第一个可能原因是，王工提供文档有问题，或者设计本身有问题；第二个可能原因是，模拟测试环境与实际目标环境存在差异；第三个可能原因是，软件质量不是靠测试出来，而是形成于整个软件开发过程。二、参考答案【问题1】（1）张工和王工意见都不完全正确。为了节省对目标机环境争用，测试很多工作可以在仿真环境下进行；但是为了防止由于仿真环境与目标环境差异带来测试错误，最终测试程序必须在目标机环境上重新运行，以查看软件最终在目标环境下实际运行情况。（2）针对本题所述情况，为了提高开发与测试工作并行度，张工项目组可以先在仿真环境下开发和运行测试程序；待王工项目组代码开发工作完成后，再在目标机环境下完整地运行所有测试程序。【问题2】（1）对于C/DC，要求测试集满足如下条件：判定中每个条件真值与假值都至少取一次；同时判定真值与假值也要求至少取一次。（2）对MC/DC，要求测试集满足如下条件：首先应满足C/DC测试条件；判定中每个条件取值都必须独立地影响判定结果，即在其他条件取值不变前提下，仅改变这个条件值，而使判定结果改变。（3）两个判定例子C/DC测试集设计方法：满足C/DC要求测试用例集是｛TT，FF｝；说明：因为该测试用例集中，条件A与B分别取了T与F，判定 A OR B，也取了T值（当A=T，B=T时）和F值（当A=F，B=F时）。（4）两个判定例子MC/DC测试集设计方法：满足MC/DC要求测试用例集是｛FF，TF，FT｝说明：C/DC要求测试用例集是｛TT，FF｝无法满足MC/DC要求，条件A与B均没有独立地影响判定输出结果。【问题3】（1）软件测试作用是查找软件中存在问题，但是不能保证软件正确性。软件正确性需要软件研发全过程来保证。（2）从本题情况来看，问题根源很可能是王工或张工项目组开发或测试工作中某些点没有做好，主要原因包括：软件需求规格说明没有全面地反映用户要求；需求文档和设计文档质量不高；软件代码质量本身不高，可读性较差；测试用例没有100%覆盖需求；测试和开发人员责任心不够，开发过程控制不到位；软件开发无标准可循，测试人员难以理解。