...道 Model-Based Testing,MBT)技术,它是一个轻量级的,形式化的验证软件系统的方法,并可以对测试软件系统(System Under Test,SUT)进行形式化的建模,设计出机器可读的模型;目前完全验证一致性的代价非常高,重量级的形式化方法往往难以被...
基于24个网页-相关网页
(Model-BasedTesting,MBT)技术,它是一个轻量级的,形式化的验证软件系统的方法,并可以对测试软件系统(SystemUnderTest,SUT)进行形式化的建模,设计出机器可读的模型;目前完全验证一致性的代价非常高,重量级的形式化方法往往难以被...
基于8个网页-相关网页
心理测试软件系统 Psychology Test Software
以对测试软件系统 System Under Test ; SUT
并可以对测试软件系统 System Under Test ; SUT
测试软硬件系统信息 FinalWire AIDA
软件测试系统 software test system
自动测试设备系统软件 ATE system software
软件测试管理系统 Software test manager system
本文在自行设计测试装置的基础上,开发基于组态王技术的瞬态热流法测试软件系统。
A test software system for determining thermal diffusivity based on Kingview and transient heat flow method was devel - oped.
最后通过一个应用的实例测试了呼叫测试软件系统的性能和检测效率,进而分析了该软件存在的问题,提出了改进的方向。
At last, we test the performance and detection efficiency of the Call-tester software system by an example. And then, we analyze the existing problems in the software system and their solutions.
您可以轻松调整基于模型的测试,而不是测试潜在的模型,它们会分别测试实际的系统和软件实施情况。
The model-based tests can be adjusted easily so that, rather than testing the underlying model, they test the real system and software implementations, respectively.
应用推荐