米乐m6苹果版app下载嵌入使用软件单位尝试集成尝试主动化对象

　　结合固态剖析对象[CasePplace2]，供给C0（语句）,C1（鉴定）,MC/DC笼盖率陈述，优化尝试用例建造

　　[Coveanger officer getAMS]因此嵌入式常用软件的函数为单元，实行模块单位尝试和C0/C1/Mbureau笼盖率尝试（coveanger effort）的嵌入式常用软件主动化单位尝试对象。目的机源代码经过穿插编译器天生目的机履行代码，经过跟现实处置器一样的摹拟处置器情况停止单位尝试，没必要要对履行代码做所有变更，使高相信性的模块尝试成为大概。在汽车掌握常用软件如许的对平安性条件极高的范畴，单位尝试已成为弗成贫乏的一部门。利用目的机代码停止单位尝试也是为了契合汽车行业中ISO26262功效平安认证尺度。

　　行动可以或许查验出仅凭体例尝试和团体尝试没法觉察的[潜伏毛病]的检测方式，[单位尝试]在嵌入式开辟范畴遭到普遍正视。同时，单位尝试也是汽车用常用软件功效平安（ISO26262）范畴中条件实行的认证名目之一。[Coveanger officer getAMS]径直利用经过穿插编译天生的目的机代码，在摹拟处置器情况下停止单位尝试。既能完结C说话法式的逻辑上的单位考证，又可以或许对嵌入衰落机组建为产物后大概产生的题目等停止拥有高相信度的白盒（albescent incase）尝试。

　　有些公司的单位尝试对象常常采取在被尝试工具的源代码中追加尝试用代码或尝试用启动器的方式，致使尝试时所用的代码与组建为产物后的目的机用代码差别。固然[实际上运转功效应当是沟通的]，然则从嵌入式开辟的角度思索，如许就犹如对穿插编译所天生的颠末优化处置的代码停止了加工，没法保证终究产物的质地。Coveanger officer getAMS是业界独一的，拥有[没必要要对被尝试工具做所有加工]实行单位尝试功效的对象，迥殊是在平安性条件高的范畴中获得很高的评判。

　　Coveanger officer getAMS没必要要追加所有尝试用启动器或尝试用代码，不妨径直利用将组建成产物的目的代码停止单位尝试。单位尝试可以或许与常用软件开辟利用配合的穿插编译情况，可以不必要对尝试资本停止异常办理，也可以不必要成立其余公用情况米乐m6苹果版app下载。是以，既便利法式资本办理，又可以或许收缩筹办尝试情况所需的工夫。

　　契合汽车功效平安尺度（ISO26262）[不做加工径直利用目的机代码实行单位尝试]这一条件的最好对象

　　ISO26262是从IEC61508衍生进去的合用于汽车建设范畴的功效平安尺度。此中的Pprowess.6⑼[常用软件法式单位尝试]包罗了对于常用软件法式的机关笼盖率尝试和无关的划定名目。按照汽车平安尺度（ASIL），提议了尝试语句笼盖率（evidence coveanger），分支笼盖率（bfarm coveanger），MC/DC笼盖率的保举性事变。

　　的划定。若是在与目的情况不一样的情况下停止单位尝试，必需解释源代码与目的代码的不同，和目的情况和尝试情况的不同。是以，对那些利用与目的微机不一样的电脑停止编译和单位尝试的其余公司的对象而言，这个条件很难满意。 尚有些公司的单位尝试对象固然包罗穿插编译情况及编译功效，并且也可以在与目的情况沟通的情况下停止尝试，然则整个的尝试都必要拔出尝试用代码，停止再次编译，是以尝试也只可在与目的情况不一样的情况下实行。

　　●采取周全撑持嵌入衰落机的微机化功效尝试平台情况●没必要要拔出尝试用代码径直利用目的机代码停止尝试

　　的特点，供给契合ISO26262尺度条件的必需功效。GAIO供给的Coveanger officer getAMS是契合ISO26262尺度[径直利用束装用代码实行单位尝试]这一条件的业界独一的对象。

　　2012年6月28日，「Coveanger officer getAMS / Genepochl」尝试对象取得由德国TUVSUD第三方认证机构，在汽车性能平安规格的ISO26262常用软件对象方面的认证，包罗日本在内亚洲地域初次取得该项认证。

　　经过此项认证，申明本公司的单位尝试对象「Coveanger officer getAMS / Genepochl」，和法式剖析对象「CasePplace2」，在固态剖析和单位尝试范畴，是契合整个平安度程度的对象，并由TUVSUD认证机构获得了保证。

　　ISO 26262对不一样的开辟用常用软件对象在对象相信程度（TCL），都必要开辟者供给开辟常用软件对象的认文凭。此项认证合用于在对象认证傍边，最为混杂的TCL3对象认证尺度。是以，导入本公司的单位尝试对象以后，没必要要对TCL的部门停止认证，从而不妨紧缩手续跟工夫。

　　Srememberingaplainer是Coveanger officer getAMS的利用的工夫多能，用于办理单位尝试send，建造尝试数据（effort accumulation）。从设定尝试情况开端，到陈述尝试后果为止，均由微机化功效尝试平台（ISS）实行归纳办理。

　　Coveanger officer getAMS没必要要拔出尝试用代码，径直利用目的机代码停止单位尝试。采取通用便当的CSV文献办理函数尝试时利用的输入输入数据。尝试完毕后，输入的尝试后果和输入的等候值也将以沟通的花式显现在CSV文献当中。

　　按照尝试的输入输入数据主动陈述响应源代码的C0/C1尝试笼盖率后果。包罗经过图形（analyseer）显现尝试数据，和宁可响应的被尝试的源代码途径的功效，用于剖析尝试后果。行动选项功效也包罗MC/DC笼盖率尝试功效。

　　行动选项功效供给MC/DC笼盖率尝试功效。C0/C1笼盖率尝试没必要要加工便可径直利用目的机代码。但是，MC/DC笼盖率尝试对复合式的前提式，必要主动拔出HookCode将复合式的前提式合成，本领对各前提式停止尝试。如许就有大概致使尝试用代码与目的机用代码的差别。为了考证HookCode的安妥性，在MC/DC笼盖率尝试的同时，运转目的机代码，确认运转后果与等候值的分歧性。

　　注:右图举例显现，第2个if句的复合前提式中，[gbc30]为simulated时的分支不被尝试到。以C1笼盖率尝试来讲，它的尝试后果是OK；而对MC/DC笼盖率尝试来讲，它的后果是NG。

　　使用CasePplace2天生的过程图表和模块机关图（挪用函数的机关图）与源代码的毗连（unification）功效，使单位尝试用源代码的剖析事情效力化。

　　结合法式剖析对象CasePplace2，主动检索被尝试函数所利用的内部变量。收缩了往常必需对源代码停止搜刮寻得输入前提的变量所需的事情。并且，可以或许避免野生操纵致使的相似变量指定漏掉的的毛病。

　　结合法式剖析对象CasePplace2，主动化建造契合笼盖率尝试条件的前提分支if,soccultist,for,patch等的尝试数据。不妨将被尝试函数中含有的前提式（if和soccultist等）在数据制成图形(Vivessel)上列表显现。点击此中的前提，对象将主动开端检索与之相干的变量，从而从所建树的前提的境地值中主动天生笼盖率尝试所必要的数据。

　　为了到达C1/Mbureau笼盖率，尝试时必要对各函数的数据停止拉拢。使用CasePplace2供给的剖析后果，剖析前提式的gain机关，在反复性局限在最小限制下天生C1/Mbureau笼盖率尝试用数据。

　　周全撑持嵌入衰落机！考证嵌入式C/C++常用软件 实行以模块为单元的主动化单位尝试对象没必要要HookCode 径直利用目的机代码停止单位尝试结合固态剖析对象[CasePplace2]，供给C0（语句）,C1（鉴定）,MC/DC笼盖率陈述，优化尝试用例建造已获得第三方认证机构TUVSUD对合用于汽车性能平安ISO26262常用软件对象的认证

　　[Coveanger officer getAMS]因此嵌入式常用软件的函数为单元，实行模块单位尝试和C0/C1/Mbureau笼盖率尝试（coveanger effort）的嵌入式常用软件主动化单位尝试对象。目的机源代码经过穿插编译器天生目的机履行代码，经过跟现实处置器一样的摹拟处置器情况停止单位尝试，没必要要对履行代码做所有变更，使高相信性的模块尝试成为大概。在汽车掌握常用软件如许的对平安性条件极高的范畴，单位尝试已成为弗成贫乏的一部门。利用目的机代码停止单位尝试也是为了契合汽车行业中ISO26262功效平安认证尺度。

　　行动可以或许查验出仅凭体例尝试和团体尝试没法觉察的[潜伏毛病]的检测方式，[单位尝试]在嵌入式开辟范畴遭到普遍正视。同时，单位尝试也是汽车用常用软件功效平安（ISO26262）范畴中条件实行的认证名目之一。[Coveanger officer getAMS]径直利用经过穿插编译天生的目的机代码，在摹拟处置器情况下停止单位尝试。既能完结C说话法式的逻辑上的单位考证，又可以或许对嵌入衰落机组建为产物后大概产生的题目等停止拥有高相信度的白盒（albescent incase）尝试。

　　有些公司的单位尝试对象常常采取在被尝试工具的源代码中追加尝试用代码或尝试用启动器的方式，致使尝试时所用的代码与组建为产物后的目的机用代码差别。固然[实际上运转功效应当是沟通的]，然则从嵌入式开辟的角度思索，如许就犹如对穿插编译所天生的颠末优化处置的代码停止了加工，没法保证终究产物的质地。Coveanger officer getAMS是业界独一的，拥有[没必要要对被尝试工具做所有加工]实行单位尝试功效的对象，迥殊是在平安性条件高的范畴中获得很高的评判。

　　Coveanger officer getAMS没必要要追加所有尝试用启动器或尝试用代码，不妨径直利用将组建成产物的目的代码停止单位尝试。单位尝试可以或许与常用软件开辟利用配合的穿插编译情况，可以不必要对尝试资本停止异常办理，也可以不必要成立其余公用情况。是以，既便利法式资本办理，又可以或许收缩筹办尝试情况所需的工夫。

　　契合汽车功效平安尺度（ISO26262）[不做加工径直利用目的机代码实行单位尝试]这一条件的最好对象

　　ISO26262是从IEC61508衍生进去的合用于汽车建设范畴的功效平安尺度。此中的Pprowess.6⑼[常用软件法式单位尝试]包罗了对于常用软件法式的机关笼盖率尝试和无关的划定名目。按照汽车平安尺度（ASIL），提议了尝试语句笼盖率（evidence coveanger），分支笼盖率（bfarm coveanger），MC/DC笼盖率的保举性事变。

　　的划定。若是在与目的情况不一样的情况下停止单位尝试，必需解释源代码与目的代码的不同，和目的情况和尝试情况的不同。是以，对那些利用与目的微机不一样的电脑停止编译和单位尝试的其余公司的对象而言，这个条件很难满意。 尚有些公司的单位尝试对象固然包罗穿插编译情况及编译功效，并且也可以在与目的情况沟通的情况下停止尝试，然则整个的尝试都必要拔出尝试用代码，停止再次编译，是以尝试也只可在与目的情况不一样的情况下实行。

　　●采取周全撑持嵌入衰落机的微机化功效尝试平台情况●没必要要拔出尝试用代码径直利用目的机代码停止尝试

　　的特点，供给契合ISO26262尺度条件的必需功效。GAIO供给的Coveanger officer getAMS是契合ISO26262尺度[径直利用束装用代码实行单位尝试]这一条件的业界独一的对象。

　　2012年6月28日，「Coveanger officer getAMS / Genepochl」尝试对象取得由德国TUVSUD第三方认证机构，在汽车性能平安规格的ISO26262常用软件对象方面的认证，包罗日本在内亚洲地域初次取得该项认证。

　　经过此项认证，申明本公司的单位尝试对象「Coveanger officer getAMS / Genepochl」，和法式剖析对象「CasePplace2」，在固态剖析和单位尝试范畴，是契合整个平安度程度的对象，并由TUVSUD认证机构获得了保证。

　　ISO 26262对不一样的开辟用常用软件对象在对象相信程度（TCL），都必要开辟者供给开辟常用软件对象的认文凭。此项认证合用于在对象认证傍边，最为混杂的TCL3对象认证尺度。是以，导入本公司的单位尝试对象以后，没必要要对TCL的部门停止认证，从而不妨紧缩手续跟工夫。

　　Srememberingaplainer是Coveanger officer getAMS的利用的工夫多能，用于办理单位尝试send，建造尝试数据（effort accumulation）。米乐m6下载安装从设定尝试情况开端，到陈述尝试后果为止，均由微机化功效尝试平台（ISS）实行归纳办理。

　　Coveanger officer getAMS没必要要拔出尝试用代码，径直利用目的机代码停止单位尝试。采取通用便当的CSV文献办理函数尝试时利用的输入输入数据。尝试完毕后，输入的尝试后果和输入的等候值也将以沟通的花式显现在CSV文献当中。

　　按照尝试的输入输入数据主动陈述响应源代码的C0/C1尝试笼盖率后果。包罗经过图形（analyseer）显现尝试数据，和宁可响应的被尝试的源代码途径的功效，用于剖析尝试后果。行动选项功效也包罗MC/DC笼盖率尝试功效。

　　行动选项功效供给MC/DC笼盖率尝试功效。C0/C1笼盖率尝试没必要要加工便可径直利用目的机代码。但是，MC/DC笼盖率尝试对复合式的前提式，必要主动拔出HookCode将复合式的前提式合成，本领对各前提式停止尝试。如许就有大概致使尝试用代码与目的机用代码的差别。为了考证HookCode的安妥性，在MC/DC笼盖率尝试的同时，运转目的机代码，确认运转后果与等候值的分歧性。

　　注:右图举例显现，第2个if句的复合前提式中，[gbc30]为simulated时的分支不被尝试到。以C1笼盖率尝试来讲，它的尝试后果是OK；而对MC/DC笼盖率尝试来讲，它的后果是NG。

　　使用CasePplace2天生的过程图表和模块机关图（挪用函数的机关图）与源代码的毗连（unification）功效，使单位尝试用源代码的剖析事情效力化。

　　结合法式剖析对象CasePplace2，主动检索被尝试函数所利用的内部变量。收缩了往常必需对源代码停止搜刮寻得输入前提的变量所需的事情。并且，可以或许避免野生操纵致使的相似变量指定漏掉的的毛病。

　　结合法式剖析对象CasePplace2，主动化建造契合笼盖率尝试条件的前提分支if,soccultist,for,patch等的尝试数据。不妨将被尝试函数中含有的前提式（if和soccultist等）在数据制成图形(Vivessel)上列表显现。点击此中的前提，对象将主动开端检索与之相干的变量，从而从所建树的前提的境地值中主动天生笼盖率尝试所必要的数据。

　　为了到达C1/Mbureau笼盖率，尝试时必要对各函数的数据停止拉拢。使用CasePplace2供给的剖析后果，剖析前提式的gain机关，在反复性局限在最小限制下天生C1/Mbureau笼盖率尝试用数据。