论文部分内容阅读
概述了软件可靠性研究的必要性,从软件开发过程管理、质量保证标准、测试技术、可靠性评估与预测以及形式化规范和验证等5个方面给出了软件质量问题的解决办法,并对所研究的成果做了介绍.最后指出了在统计测试、形式化方法方面有待进一步研究的问题.
软件质量保证技术研究综述
【摘 要】
：
概述了软件可靠性研究的必要性,从软件开发过程管理、质量保证标准、测试技术、可靠性评估与预测以及形式化规范和验证等5个方面给出了软件质量问题的解决办法,并对所研究的
【机 构】
：
海军工程大学管理工程系
【出 处】
：
海军工程大学学报
【发表日期】
：
2002年4期
【基金项目】
：
国家重点实验室基金，国家自然科学基金，国家高技术研究发展计划(863计划)
其他文献
讨论非线性边值问题的一种高精度计算模型.利用积分值将边值问题转化为形式初值问题，构造了一类四阶精度的计算格式，证明了收敛性.通过算例表明该方法收敛速度高，计算量小.
<正> 一、引言 当前世界经济发展的一个大趋势是经济全球化,各国间经济相互依赖程度在日益加深,使得资源配置在全球范围内得以进行,提高了资源配置的效率。这不仅在金融、资
以某大型钟表机芯为研究对象,通过三维软件UG建模,然后使用ANSYS Workbench对其进行模态分析,求解1阶~10阶固有频率和模态变形振型云图,获取整个机芯的固有振动特性,借此对机
《辞源》第三版注释吐蕃:“音转为土伯特”,并明确标音“吐bō”。文章分析“土伯特”一词的起源和语用演变,明确“土伯特”是清初汉臣根据蒙、满语言对西藏称呼所写音译词,
对LED芯片图片中的关键信息进行完整高效地提取是视觉检测系统的关键,提出一种改进的分水岭算法对LED芯片图像进行分割提取。使用形态学重构对预处理之后的图像进行操作,分别
梵汉对音资料对于中古音研究来说,是非常重要而有意义的。因此,对于研究汉语上古音到中古音的发展演变来说,了解和熟悉梵汉对音,弄清楚它的原理、一般规则和应须注意的事项,
在介绍了限时图形系统概念模型的基础上，指出限时渲染也是限时图形系统的一个基本特征，并从软、硬件两个方面对当今国内外采用的一些典型的提高实时图形渲染性能的技术和方法进
讨论了模糊逻辑方法应用于技术状态综合评估的问题,提出了基于贴近度概念的技术状态综合评估方法;介绍了专家系统开发时,基准状态集的建立、基准状态中特征参数的选择、特征
根据纳维-斯托克斯方程,分析风沙流的特征和风沙运动的基本规律,推导出流体相控制方程。采用离散单元法和硬球模型对单颗沙粒碰撞规律进行分析。微观上通过建立风沙运动颗粒
利用SolidWorks软件建立了全自动深压纹机机架的三维模型,运用ANSYS Workbench有限元软件对深压纹机机架进行了有限元分析,得出最大应力出现在机架操作面板窗口的左上角处,其