论文部分内容阅读
结合边界值和等价类的方法对输入域的提取和输入点的选取作了详细分析。在考虑软件复杂性、缺陷后果严重性和信息不足等因素的基础上,提出了基于测试用例的软件可靠性模型,并结合EM算法和数理统计知识对该模型进行了相应的理论证明。实验表明,新模型具有较好的适用性。
基于EM算法的软件可靠性研究
【摘 要】
：
结合边界值和等价类的方法对输入域的提取和输入点的选取作了详细分析。在考虑软件复杂性、缺陷后果严重性和信息不足等因素的基础上,提出了基于测试用例的软件可靠性模型,并结合EM算法和数理统计知识对该模型进行了相应的理论证明。实验表明,新模型具有较好的适用性。
【机 构】
：
四川大学计算机学院,西北政法大学,西安建筑科技大学
【出 处】
：
计算机应用研究
【发表日期】
：
2008年01期
【基金项目】
：
四川省科技厅重点项目（05GG021-003-2）
其他文献
分析已有的IPv4与IPv6的socket接口和实现,设计了一种支持IPv4/IPv6双协议栈的通信模块。该模块利用类继承,为基于IPv4、IPv6双协议栈的软件开发提供了统一的底层通信功能编程接口。采用该模块,还可以方便地升级原有只支持IPv4通信的软件系统,使其支持IPv6协议。该模块已应用于NGI网络监测分析系统NetTurbo。
为了更好地保证普适计算环境中计算资源的安全性,减少人为的非正常破坏,提出了普适环境下应用的身份验证需求,即验证不仅要随时随地,而且可以随着用户的移动在异构设备和计算环境中移动,让移动中的用户能够体验到不间断的计算。提出了基于移动代理的普适计算中间件ValidateAgent,并结合情境感知技术,给出了验证模型、算法及原理。此研究对于普适计算在协同设计领域中的应用有重要意义。
根据粉笔字符背景复杂、断笔、残笔、手写字符粘连、重叠等特点,提出了一种复杂背景下粉笔数字字符自动提取方法。通过数字区域定位,获取局部图像并进行二值化;通过数学形态学处理,解决二值化结果中的断笔、残笔等问题;通过改进滴水算法,对粘连字符进行切分,获取单个字符。最后,以板坯号识别为例,开发了板坯号自动识别系统,并成功地应用在板坯的生产过程中,证明了其有效性。
通过分析现有基于内容的图像结构表示方法,存在鲁棒性不强和结构多样性易增加分类的复杂性并降低分类正确率的问题,研究了基于图割的二叉树和基于显著性的多叉树图像结构表示方法,并与基于区域相似性的二叉树和改进深度的多叉树表示进行比较。实验表明,基于图割和显著性的表示方法能有效提高结构树的语义性和分类性能。
为解决入侵检测系统存在检测率低、网络数据变化适应性弱的问题,选取正常数据记录通过聚类算法建立正常简档,然后依据正常简档对网络数据记录进行检测,并结合已检测出来的正常数据记录对正常简档进行更新。KDDCUP99数据的实验表明,该系统能够适应数据的变化趋势,在保持较低的误报率前提下获得了较好的检测率。
结合制图中点、线、面状要素文本放置的不同规则,模仿制图者对特定地物文本放置要求,提出了计算机辅助制图下线状地物文本自动标注方案。相比目前制图软件的文本标注功能,方案的实施可降低制图后的文本编辑工作量,提高制图工作效率。