扩展有限状态机模型相关论文
自然语言描述的协议规范存在二义性问题，协议软件开发人员对同一协议规范理解的差异是导致其协议实现“百花齐放”的根本原因。协议......
地理信息系统及地理信息技术已在科学、商业、规划以及政府决策等多个领域得到广泛应用,成为人们生产和生活中的重要工具。尽管它......
提出了一种有效的可信密码模块符合性测试方法,给出了衡量指标,并按照该指标对测试进行了测试分层,利用可信密码模块(TCM)内部命令......
随着通信网络的普及和需求的复杂化,网络协议规模日趋复杂庞大,这对协议的实现和开发提出了新的挑战。通信网络分布性,异构性和实......
为对Web应用进行有效的测试,本文提出了一种面向Web应用服务器端敏感路径覆盖的客户端扩展有限状态机测试用例生成方法。针对Web应......
