...I)程度低等;(3)系统的边界定义不清,数据处理复杂,模型及其应用建立过程太复杂;(4)模型的代码验证(Code Verification)困难;(5)与GIS的集成度较低;(6)组件化程度不够;(7)缺乏统一的面向水问题以及水文模拟的水文数据模型,数据、参数文件繁...
基于12个网页-相关网页
目 前学术研究领域中已经提出了多种程序安全检查方法,如代码验证(Code Validation)、模型检查(ModelChecking)、进化测试(EvolutionaryTesting)等。
基于12个网页-相关网页
网页代码验证工具 Open Validator
微代码验证系统 [计] microcode verification system
消息验证代码 message authentication code ; viestintodennnusalgoritmi ; MAC, Message Authentication Code
验证代码 Verification code ; verify code ; Validation Code ; Message Authentication Code
交叉验证代码 matlab code of cross validation
消息身份验证代码 Message Authentication Code ; MAC ; message authentication code,
概念验证代码 proof-of-concept code
代码签入前验证 Pre-check-in validation
能标记潜在错误的代码验证系统。
用清单 23 中的代码验证文件启动。
Verify that the file starts with code as shown in Listing 23.
直到您使用代码验证了架构,您才能确实地知道它能工作。
It's not until you prove that architecture with code that you actually know that it will work.
Why it's failing to work properly.
因此验证可能会说,噢,代码没法运行。
应用推荐