论文部分内容阅读
本文分析了分布软件系统中的典型通信协议故障，研究了基于API Hook的分布式软件可靠性测试方法，提出了基于通信协议故障注入的应用软件可靠性测试方法，并设计并实现了工具原型，为基于故障注入的分布式软件可靠性测试提供技术手段。
面向通信协议故障的分布式软件可靠性测试技术研究
【摘 要】
：
本文分析了分布软件系统中的典型通信协议故障，研究了基于API Hook的分布式软件可靠性测试方法，提出了基于通信协议故障注入的应用软件可靠性测试方法，并设计并实现了工具原
【机 构】
：
北京系统工程研究所,北京市朝阳区9702信箱19号,100101
【出 处】
：
第十四届全国容错计算学术会议
【发表日期】
：
2011年期
其他文献
空指针引用是程序中存在的比较常见的问题，由于它在程序中比较隐蔽，用动态测试方法耗时又耗力且很难达到全面覆盖的效果。本文介绍了一种针对空指针引用故障的静态分析方法
会议
本文介绍了几种在软件单元测试中常用的基于数据流的测试充分性评价准则。这些准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测了多少
加快构建以国内大循环为主体、国内国际双循环相互促进的新发展格局是以习近平同志为核心的党中央根据我国发展阶段、环境、条件变化作出的重大战略决策,是新发展阶段下贯彻
本文在分析拐弯模型(Turn Model)的基础上，提出了一种确定性的最短路径无死锁路由算法。该算法针对2D-mesh结构中的奇偶列分别采取不同的路由算法，减少了单个通道的拥塞度，
小时延故障（故障大小小于一个系统时钟周期）很难被固定故障和跳变故障的测试集所检测。随着集成电路工艺尺寸不断缩小，电路规模不断增大，要得到很高的小时延故障覆盖率所需的
这是一个年轻的团队,平均年龄仅30岁,她们中有青年医疗骨干,有活跃在义诊志愿服务一线的志愿者,也有为这场战“疫”延迟婚期的准新娘.这是一个英雄的团队,她们“女本柔弱、为
期刊
普适计算使得信息的获取与处理变得更加方便，但同时也会因为恶意代码的随意扩散带来软件的安全隐患。本文对恶意代码检测进行了研究，提出了一种基于规则审查的代码检测方法
勘察设计收入一直按完工进度分期确认.新收入准则出台后,设计企业容易直接将勘察设计收入判断为属于时间段履约,忽略了五步法模型从控制权转移角度考虑收入确认时间问题.本文
A股市场近段时间有两大焦点,一个是贵州茅台(600519)因豪捐引发了小股东的起诉诉求,另一个则是沃森生物(300142)由于涉嫌贱卖即将生金蛋的子公司而被愤怒的小股东大骂.有意思
期刊
本文针对目前物联网在安全性和可靠性存在的问题，对物联网的可信机制进行了研究。通过引入EPC密钥和建立基于社会学信任协商模型的认证机制，给出复合物联网特点的安全体系