|
关注：1
2013-05-23 12:21
求翻译：2）模型自动抽取模块，系统对录入服务、客户socket程序进行词法分析，并从中抽取出socket函数调用序列，然后调用模型生成器建立Promela模型；是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
2）模型自动抽取模块，系统对录入服务、客户socket程序进行词法分析，并从中抽取出socket函数调用序列，然后调用模型生成器建立Promela模型；
问题补充： |
|
2013-05-23 12:21:38
2) model for automatic extraction module, the system entry services, the client socket program for lexical analysis, and extract out of the socket function call sequence, and then call the model to generate to establish promela model;
|
|
2013-05-23 12:23:18
2) Automatic Model extraction module, the system in the Service, Customer socket is a lexical analysis, and to extract serial socket function calls, and then call a model builder Promela model.
|
|
2013-05-23 12:24:58
Inputs the C language
|
|
2013-05-23 12:26:38
2) model extraction module, the system entry services, client socket program performing lexical analysis, and pull out the socket function call sequences, and then calls the Model Builder Promela models;
|
|
2013-05-23 12:28:18
entry C language;
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
