论文部分内容阅读
在分析了软件可靠性测试充分性准则研究的重要意义的基础上 ,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系 ,提出了其在软件可靠性测试中的一种实现方法 ,是借鉴已有的软件测试充分性方面的理论 ,对软件可靠性测试充分性问题进行的初步探索 .
软件可靠性测试充分性问题的理论研究
【摘 要】
：
在分析了软件可靠性测试充分性准则研究的重要意义的基础上 ,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系 ,提出
【机 构】
：
北京航空航天大学
【出 处】
：
北京航空航天大学学报
【发表日期】
：
2003年04期
其他文献
患者女，14岁。发热、乏力、食欲减退5天，呕吐1次，无头痛．尿黄1天，抽搐、神志不清．烦躁不安4小时．于1994年3月24日入院。体检：T36℃(腋)，P83次，RL8次，BPl3／9kPa．躁动不安，体检不合作，皮肤巩膜
利用弹性动力学理论对半无限长弹性细长梁进行了分析,得出在弹性细长梁上激励出大振幅弯曲行波振动的条件,对以此为基础研制的直线超声行波马达的定子进行了振动特性分析,着
污染减排涉及到技术、经济、管理等一系列要素和环境、经济、企业等不同部门,是一项系统工程,要实现减排目标,必须结合国情和地方实际,实施源头控制、末端治理、监督管理等三
以循环经济3R原则的理念，剖析了苏州高新区静脉产业存在的问题。深入分析了苏州高新区静脉产业发展循环经济的对策。为其按循环经济的规律运行作了有益的探索，也为其循环经济的
提出了一种基于用户效用函数的网络流量模型,把网络拥塞控制问题转化为求解网络流量模型的最优化问题,并且给出了求最优解的对偶梯度投影算法.算法的核心思想是:源选择传输速
医疗设备科的任务主要是为了医疗、科研、教学工作提供最恰当的技术装备，使医疗、科研建立在良好的物质基础上。管理的目的就是为了有效的供应，一切为了临床病人服务。而当前实
对湘江衡阳段构建模糊综合评价模型,结果表明松柏断面呈重金属污染且污染最为严重,枣子坪和站门前断面氮磷污染严重。运用单因子评价指数法计算出主要污染指标9年的污染指数,
提出了基于COM(Component Object Model)的可互换虚拟仪器驱动器的模型,分析了其实现互换的方法,并提出了在该模型下的仪器仿真驱动方案,最后将该模型的驱动器和现有VPP(VXI
为认识超塑扩散连接机理,研究了γ-TiAl基合金表层激光快速熔凝组织在连续加热过程中的相转变规律及硬度变化.结果表明,在以10℃/min连续加热时,γ-TiAl激光表面快速熔凝组织
针对并行机群系统的进程迁移问题,提出了一种新的基于消息转发的类异步并行迁移算法,该算法使用消息驱赶、消息转发、缓存优先匹配等多种机制,避免了一般类异步迁移算法集中