【并可以对测试软件系统】

并可以对测试软件系统

System Under Test

...道 Model-Based Testing，MBT)技术，它是一个轻量级的，形式化的验证软件系统的方法，并可以对测试软件系统(System Under Test，SUT)进行形式化的建模，设计出机器可读的模型；目前完全验证一致性的代价非常高，重量级的形式化方法往往难以被...

基于20个网页-相关网页

SUT

(Model-BasedTesting,MBT)技术,它是一个轻量级的,形式化的验证软件系统的方法,并可以对测试软件系统(SystemUnderTest,SUT)进行形式化的建模,设计出机器可读的模型;目前完全验证一致性的代价非常高,重量级的形式化方法往往难以被...

基于7个网页-相关网页

并可以对测试软件系统

And can test the software system

以上为机器翻译结果，长、整句建议使用人工翻译。

应用推荐

$firstVoiceSent

- 来自原声例句