搜索筛选:
搜索耗时0.0249秒,为你在为你在61,042,058篇论文里面共找到 5 篇相符的论文内容
发布年度:
[期刊论文] 作者：秦胜潮, 许智武, 明仲,,
来源：软件学报 年份：2017
自20世纪60年代以来，虽然有Floyd—Hoare逻辑的出现，但使用形式化工具对命令式程序的正确性和可靠性进行自动验证，一直被认为是极具挑战性、神圣不可及的工作．20世纪末，由于更多科......
[期刊论文] 作者：胡世超, 杨红丽, 秦胜潮, 王非, 刘渊,,
来源：计算机应用与软件 年份：2016
针对工业界实现的无线抄表路由协议WM2RP（Wireless Meter Reading Routing Protocol）,提出将CBMC有界模型检测工具运用到该协议实现的验证方法。WM2RP协议实现是嵌入式C程序,CB...
[期刊论文] 作者：杨红丽,姜皓,秦胜潮,张健,严俊,
来源：计算机应用与软件 年份：2016
随着移动互联网技术的迅速发展，Android手机以其强大的功能为人们的日常生活提供便捷的服务。然而Android手机的电池能源非常有限，应用耗电行为将直接影响其电池的使用寿命，因此......
[期刊论文] 作者：王非,杨红丽,秦胜潮,胡世超,刘渊,,
来源：计算机应用 年份：2015
从协议测试的角度出发研究了基于时间自动机模型的无线传感器网络数据收集协议测试用例生成方法,提出利用UPPAAL工具对数据收集协议建立时间自动机模型,进而利用UPPAAL Co Ver工具生成满足特定覆盖标准的测试路径集合的方法。为了便于生成实际测试用例,开发了辅......
[期刊论文] 作者：冯亚超,杨红丽,王非,武文佳,秦胜潮,,
来源：计算机科学 年份：2016
无线传感器网络（Wireless Sensor Networks，WSNs）广泛应用于各类数据收集系统，如居民区无线抄表（包括水表、电表和燃气表）系统。数据收集协议设计的正确性与合理性是影响网络正常运......
相关搜索：
