文件名称:
实时React系统中安全验证与合格测试的集成
开发工具:
文件大小: 374kb
下载次数: 0
上传时间: 2021-03-10
详细说明：在本文中，我们提出了一种可用于验证实时React系统中实现的方法。 与其他软件模型检查方法不同，我们的方法基于测试。 这种方法允许直接在真实代码上进行安全性验证，而不是从最终实现中提取模型。 验证这种模型是一项艰巨的工作，只能应用于实施的某些部分。 该方法是通过在实时系统中的安全验证和一致性测试之间建立连接来完成的。 我们首先证明一个定理，即在实时系统中，在启用输入的前提下，如果实现符合其规范并且该规范满足安全属性，则实现也满足该定理。 然后，基于前一个结论的对立性，我们提出了一个测试用例生成框架，该框架为生成可以用来检测实现中违反安全属性的测试用例奠定了基础。 此外，与其他实时测试生成方法相比，该测试生成框架还可以检测更多不合格缺陷。 该方法用火车门控制系统示出。
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
相关搜索:
