期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到6篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于通信多端口有限状态机的协议互操作性测试生成研究 被引量：13
1
作者 王之梁 吴建平 尹霞 《计算机学报》 EI CSCD 北大核心 2006年第11期1909-1919,共11页
协议测试是一种保证网络通信协议实现质量的重要技术,互操作性测试是一类常用的协议测试技术.文章提出了一种基于通信多端口有限状态机模型的协议互操作性测试生成方法.首先采用已有的基于可达性分析的方法生成集中式测试序列;然后采用... 协议测试是一种保证网络通信协议实现质量的重要技术,互操作性测试是一类常用的协议测试技术.文章提出了一种基于通信多端口有限状态机模型的协议互操作性测试生成方法.首先采用已有的基于可达性分析的方法生成集中式测试序列;然后采用单一错误模型对其进行系统的错误覆盖分析,为达到更高的错误覆盖度,进一步提出一种增强的测试生成算法;最后讨论了互操作性测试中的控制观察问题,选择适当的分布式测试架构,并进而生成分布式同步测试序列.实验结果表明:与原有方法相比,该方法可以有效地提高测试集的错误覆盖,并具备一定的可行性和有效性. 展开更多
关键词 协议测试 互操作性测试 有限状态机 错误覆盖 分布式测试架构
下载PDF
货币单位抽样审计方法一例
2
《中国审计信息与方法》 1995年第4期19-21,共3页
去年,我们在对某厂进行审计时,对部分项目实施了抽样审计方法,同时对该项目进行了详细审计。结果表明,二者的审计结论基本相符,我们认为,抽样审计有较高的实用价值。现把在某厂对固定资产进行抽样审计时采用的“货币单位抽样法”介绍如下。
关键词 货币单位抽样 审计方法 抽样审计 准确性 错误覆盖 专用设备 固定资产 抽样法 性误差 帐面价值
下载PDF
一种新型测试生成电路的设计
3
作者 李田泽 胡健 李增祥 《传感器世界》 2003年第11期24-27,共4页
使用d兼容为基础的宽压缩,设计了一种用于混合式机内自动测试的新型测试生成电路。这种测试电路具有每个时钟循环都对电路进行测试的特点,特别适合于自动计数的设计和自测结构。
关键词 测试生成电路 错误覆盖 实验时钟 时标测试 扫描测试
下载PDF
英国审计署审计的主要方法──抽样审计方法简介
4
作者 董惠民 陈青 《中国审计信息与方法》 1994年第1期42-44,共3页
英国审计署审计的主要方法──抽样审计方法简介董惠民，陈青英国审计署结合计算机进行抽样审计，这种审计方法在西方具有一定代表性，是一种科学先进的审计方法。一、抽样审计的种类所谓抽样审计，就是对帐目的一部分而不是全部进行审... 英国审计署审计的主要方法──抽样审计方法简介董惠民，陈青英国审计署结合计算机进行抽样审计，这种审计方法在西方具有一定代表性，是一种科学先进的审计方法。一、抽样审计的种类所谓抽样审计，就是对帐目的一部分而不是全部进行审计的一种方法。英国审计署审计中，根... 展开更多
关键词 抽样审计 审计署 方法简介 主要方法 抽样方法 置信水平 风险率 准确性 错误覆盖 概率抽样法
下载PDF
分布式系统中抵御错误注入攻击的优化设计 被引量：1
5
作者 文亮 江维 +3 位作者 潘雄 周可染 董琪 王峻龙 《计算机应用》 CSCD 北大核心 2016年第2期495-498,共4页
安全关键分布式系统面临恶意窃听和错误注入攻击的挑战。以往研究主要针对防止恶意窃听,即考虑提供保密性服务,而忽略了错误注入的安全威胁。针对上述问题,考虑为消息的加解密过程进行错误检测,并最大化系统的错误覆盖率,最小化系统的... 安全关键分布式系统面临恶意窃听和错误注入攻击的挑战。以往研究主要针对防止恶意窃听,即考虑提供保密性服务,而忽略了错误注入的安全威胁。针对上述问题,考虑为消息的加解密过程进行错误检测,并最大化系统的错误覆盖率,最小化系统的异构度。首先选取AES对消息进行加解密;然后基于错误检测码确定了五种不同的错误检测方案,并求出了对应的错误覆盖率及时间开销;最后在保证实时性的约束下,提出了一种基于模拟退火(SA)的启发式算法,该算法能最大化系统的错误覆盖率和最小化系统的异构度。实验结果表明,所提算法与贪心算法相比,目标函数值提高了18%以上,该算法具有一定有效性和健壮性。 展开更多
关键词 恶意窃听 错误注入攻击 保密性服务 错误覆盖率 模拟退火
下载PDF
基于改进FSM的RBAC测试集约简方法
6
作者 袁佳琳 高建华 《计算机工程》 CAS CSCD 2012年第17期42-45,48,共5页
使用完备的有限状态机生成一致性测试集虽然有效,但数量庞大。针对该问题,考虑一般系统访问控制的基本需求,提出6种探索式方法对有限状态机(FSM)进行约简,有效避免状态爆炸的现象发生,简化了生成的一致性测试集大小。对基于FSM生成树进... 使用完备的有限状态机生成一致性测试集虽然有效,但数量庞大。针对该问题,考虑一般系统访问控制的基本需求,提出6种探索式方法对有限状态机(FSM)进行约简,有效避免状态爆炸的现象发生,简化了生成的一致性测试集大小。对基于FSM生成树进行实验,结果表明,改进FSM对缩小基于角色的访问控制系统一致性测试集是有效的。 展开更多
关键词 有限状态机 权限控制 基于角色的访问控制 一致性测试集 试探法 错误覆盖率
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部