...道 Model-Based Testing,MBT)技术,它是一个轻量级的,形式化的验证软件系统的方法,并可以对测试软件系统(System Under Test,SUT)进行形式化的建模,设计出机器可读的模型;目前完全验证一致性的代价非常高,重量级的形式化方法往往难以被...
基于20个网页-相关网页
(Model-BasedTesting,MBT)技术,它是一个轻量级的,形式化的验证软件系统的方法,并可以对测试软件系统(SystemUnderTest,SUT)进行形式化的建模,设计出机器可读的模型;目前完全验证一致性的代价非常高,重量级的形式化方法往往难以被...
基于7个网页-相关网页
并可以对测试软件系统 System Under Test ; SUT
仿真结果可为本课题中高层应用软件提供可靠的测试环境,在系统正式投运前还可以对在校学生或者调度员进行培训,帮助学员熟悉电网结构和安全运行方式。
Our work can provide the reliable environment for testing system, train dispatcher and students before running in real place and help student familiar with pool structure and operation way.
该描述模型可以对并行自动测试系统的软件体系结构进行全面的分析,有利于指导系统的实际开发。
The software architecture of parallel auto test system can analyze roundly through the description model. And it is benefit for guiding t...
以ZEMAX软件进行了系统仿真,为元件选型提供了技术保障理论分析与系统仿真结果表明,该方案可以对远场短中进行测试。
ZEMAX is used to simulate the system, providing the guides for elements selection. Theoretical analysis and system simulation show that it is feasible to measure far and short p…
应用推荐