论文部分内容阅读
软件验证技术是质量保证的重要手段,就其成就感和重要性来说,比确认测试有过之而无不及。测试小组通过软件审查和走查开展验证测试,开发验证"测试件",对各阶段文档形成通用审查单,使软件验证测试技术成为组织资产。它能够在开发早期发现缺陷,从而大大降低缺陷修复成本。
软件验证测试技术
【摘 要】
：
软件验证技术是质量保证的重要手段,就其成就感和重要性来说,比确认测试有过之而无不及。测试小组通过软件审查和走查开展验证测试,开发验证"测试件",对各阶段文档形成通用审
【机 构】
：
北方自动控制技术研究所
【出 处】
：
电脑开发与应用
【发表日期】
：
2010年01期
其他文献
为了分析语言想像所诱导的脑电信号的时间和频率特性,利用事件相关谱扰动(ERSP)对信号进行时频分析.首先,经ERSP确定能量波动的频率范围;然后,根据该频率范围计算信号的事件
基于发电企业拥有相似的外部环境和组织体系,文章从全面风险管理基本概念出发,通过介绍风险管理体系组织框架搭建、管理流程和工作流程将为实施全面风险管理提供应用和建议。
焦化产业是钢铁产业链中的重要一环。历经100多年的发展,现代焦化工业正承受优质炼焦煤资源日益紧缺和环保法规日益严格的双重压力。为促进大容积焦炉的发展,宝钢新建7米焦炉
旅游业的迅猛发展加速了本行业对涉外导游人才的需求,但当前涉外导游人才参差不齐,供不应求。在这种形式下,本文通过综述涉外导游人才现状,从校企合作模式的角度,应用SWOT的
<正>近日,我国科学家利用经颅磁刺激技术,对吸毒平均十多年的海洛因成瘾者进行研究,成功降低了患者机体对药物的渴求度,这是世界上首次把经颅磁刺激技术应用到海洛因成瘾者上
深空探测不仅是一项具有明确科学目标和包含众多科学问题的科学活动,同时也是一项具有深刻社会背景和社会需求的社会活动,它在本质上也是借助科学手段将地球上人与自然的矛盾
现代教育的根本目的是使学生成为独立、自主、有效的学习者。随着新课程改革的不断深入，英语教学越来越重视学习者的主体作用。自主学习方式得到广泛关注，培养学生的自主学习能
对于等式约束的非线性规划问题,一般的解决方法是在每次迭代中更新拉格朗日乘子且逐渐增大拉格朗日函数的惩罚因子,当罚因子充分大或充分接近局部最优解时,二阶充分条件是满
目的探讨微型营养评定法(MNA)在老年慢性阻塞性肺疾病(COPD)患者中的应用,分析其与BODE指数的相关性。方法选择2012年4月~10月南方医科大学珠江医院呼吸内科门诊稳定期COPD老