论文部分内容阅读
针对当前讨论比较广泛的软件自动化测试问题,将马尔可夫链数学模型引入到火控系统软件测试中,阐明了具有概率统计特性的自动化软件测试原理.提出了利用神经网络算法统计状态转移概率的思路,并且从概率统计角度对软件错误位置的确定、测试终止条件的判断等进行了分析,同时提出与健壮性测试结合的建议,优化了设计.
基于马尔可夫链模型的火控系统软件测试研究
【摘 要】
：
针对当前讨论比较广泛的软件自动化测试问题,将马尔可夫链数学模型引入到火控系统软件测试中,阐明了具有概率统计特性的自动化软件测试原理.提出了利用神经网络算法统计状态
【机 构】
：
北京机电工程研究所,
【出 处】
：
战术导弹技术
【发表日期】
：
2010年04期
其他文献
<正>一九三四年十月,红军为了北上抗日,突破了敌人的包围,离开江西革命根据地,开始了历史性的长征.长征路上,每天天上有几十架飞机侦察轰炸,一地上有几十万匪军围追堵截,路上
期刊
儿童炎症性肠病(IBD)的发病率和患病率均有上升趋势。腹痛是IBD一重要临床症状,有一定的临床特点。IBD的腹痛发病机制极其复杂,有多种致病因素及机制的参与。临床上须针对IBD
金融结构是金融工具结构、金融机构结构、金融市场结构的总和。分析金融结构变动的基本趋势及其内在机理，能够为我国金融结构的调整和优化提供依据。本文在简述戈德史密斯金融
介绍了高功率微波武器的概念、特性,主要分析了电磁脉冲对导弹雷达系统威胁,表明在电磁脉冲弹的威力半径之内,雷达系统不能够进行正常的工作,为雷达系统电磁加固提供有力的理
动画人才的课程体系关系到动画人才培养的规格;而动画教学中的专业基础课程设置直接影响到动画人才培养的质量。文章从当前动画教学的实际出发,阐释了动画专业美术基础课程模
<正>体育教学的主要锻炼形式和内容是身体动作,教师要对学生有一个全面、详细的了解,为学生制定明确的学习目标与锻炼方向。体育游戏是体育教学过程中经常采取的一种主要的活
对某引进HFW钢管生产线采用的色玛图尔固态高频电源的工作原理、水冷系统、智能化控制系统以及速度一功率闭环控制系统进行了介绍，总结了色玛图尔固态高频电源在HFW钢管生产线
<正>《小石潭记》是一篇精美的游记散文.作者是世称散宋文八大家之一的柳宗元.柳宗元(公元七七三年一八一九年),李子厚,唐代河东(今山西省永济县)人.他曾经因为参加当时政治