机译:使用模型检查器对Web应用程序进行建模,验证和测试
The authors are with the Graduate School of Project Design,Miyagi University, Miyagi-ken, 981-3298 Japan;
The author is with the Research Institute of Electrical Communication/Graduate School of Information Sciences, TohokuUniversity, Sendai-shi, 980-8577 Japan;
The author is with the Sendai National College of Technology,Sendai-shi, 989-3128 Japan;
The authors are with the Graduate School of Project Design,Miyagi University, Miyagi-ken, 981-3298 Japan;
web application; modeling; testing; automata; model checking; spin;
机译:使用模型检查器对Web应用程序进行建模,验证和测试
机译:Web应用程序验证和测试的建模方法:最新技术
机译:Fepchecker:自动模型检查器,用于验证Web服务中安全协议的公平性和不可否认性
机译:使用领域特定的建模语言和NuSMV模型检查器的Web应用程序测试工具
机译:使用SPIN模型检查器对速度控制策略进行形式验证
机译:基于生理的药代动力学(PBPK)建模和模拟方法:已发布的模型应用和模型验证的系统评价
机译:通过自动化的国家在线测试和旋转模型检查器应用于RTEGGE模型来验证实时嵌入式软件