|
关注：1
2013-05-23 12:21
求翻译：The technique of PLC using programmable language to control large scale integrated circuit has been widely used in industry [2]. Because of safety critical software can cause serious damage to life or property, verification of safety critical software has become an indispensable step required to assure software quality是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
The technique of PLC using programmable language to control large scale integrated circuit has been widely used in industry [2]. Because of safety critical software can cause serious damage to life or property, verification of safety critical software has become an indispensable step required to assure software quality
问题补充： |
|
2013-05-23 12:21:38
PLC在采用可编程语言来控制大规模集成电路的技术已广泛应用于工业[2]。
|
|
2013-05-23 12:23:18
该技术使用的PLC可编程语言来控制大规模集成电路已被广泛用于工业[2]。 由于安全关键软件可能会导致严重的损害到生命或财产、安全的核查关键的软件已成为一个不可或缺的步骤要求,保证软件质量。 本校验方法,PLC仍停留在模拟和测试。 但是,他们不能涵盖所有可能发生的情况,该项外观设计是否特殊型号的PLC以应付需求。
|
|
2013-05-23 12:24:58
PLC技术使用可编程序的语言控制大规模集成电路是用途广泛在产业 (2)。 由于安全重要软件可能造成对生活的严重损坏或物产，安全重要软件的证明成为了要求的不可缺少的步保证软件质量。 当前核实的方法为PLC通过模仿和测试仍然困住。 然而，他们是否不可能盖所有可能的案件，特别适应需要的PLC设计模型。 所以，检查技术的模型被介绍入PLC的领域。 给对PLC设计的理论分析变得重要。
|
|
2013-05-23 12:26:38
PLC 使用可编程语言来控制大规模集成电路技术已广泛应用于工业 [2]。由于安全关键软件可能会导致严重的破坏，对生命或财产的安全关键软件已成为不可或缺的步骤，保证软件质量所需的核查。目前的验证方法，为 PLC 仍坚持通过仿真和测试。然而，他们不能涵盖所有可能的情况下，尤其是是否 PLC 以满足需求的设计模型。因此，模型检测技术引入 PLC 的领域。给 PLC 的理论分析设计，变得重要。
|
|
2013-05-23 12:28:18
正在翻译，请等待...
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
