论文部分内容阅读
软件故障模型的建立可以为有效地进行软件测试提供依据。文章在分析大量软件的基础上,提出了用有工程背景的故障模型来指导软件测试工作。基于故障模型的软件测试以某种类型的软件故障的检测为目标,有利于减少软件测试的盲目性,并能提高软件测试的效率。
基于软件故障模型的软件测试研究
【摘 要】
：
软件故障模型的建立可以为有效地进行软件测试提供依据。文章在分析大量软件的基础上,提出了用有工程背景的故障模型来指导软件测试工作。基于故障模型的软件测试以某种类型
【机 构】
：
中国民航信息网络股份有限公司
【出 处】
：
中国高新技术企业
【发表日期】
：
2009年23期
其他文献
证券行业存在着大量的标签信息,帮助投资者进行股票的标签分类、板块划分。如何挖掘证券的标签信息,对于帮助投资者更快、更准地了解证券市场、板块、股票的情况,具有重要意
GPU具备强大的数据并行处理与浮点计算能力,因而被越来越广泛地应用于数值模拟和科学计算等领域。提高GPU上程序开发效率以及程序的性能就显得尤为重要,线程放置策略是其中重
系统介绍抽取内插,尤其是整数倍抽取内插处理的理论,并基于数学推导和建模分别介绍优化后可适用于工程实现的滤波器结构。同时,从系统设计的角度出发,分别给出适用于电子战信
今年全国农业综合开发力度进一步加大，中央财政共安排98．55亿元资金用于农业综合开发，比去年增加了8亿元。今年农业综合开发将突出重点，加大对粮食主产区的扶持力度，安排用于粮食
利用点的三角形化构建一个3维地面模型,设计了一个基于三角形折叠的LOD算法,该算法不需任何计算即可达到快速实现模型的渐进式还原,大大提高了3维显示速度,最后调用OpenGL函数有效地显示3维地形模型。
2005年春节来临之际，新疆兵团农四师六十五团开展了“谈过去、讲现在、展未来”为主题的金婚座谈会，使53对已70高龄的第一代军垦老人第一次感受到团场冬季里暖融融的亲情。
从生产率角度,运用1992-2012年各乡镇农业生产投入及产出数据,发现安塞县生态型农业发展中存在的问题,并提出相应对策建议。得出的主要结论：安塞县农业全要素生产率近几年有下
通过GPS拟合高程在航测外业像控点联测中的试验,对在深山峡谷地区GPS高程拟合的应用和精度做了初步探讨。
采用了土壤污染指数法和GIS技术对乌鲁木齐市北郊六十户乡农田土壤Cd污染以及空间变异性进行分析。结果显示:六十户乡有60.01%的样点农田土壤Cd污染指数Pi>1,星火村、三宫梁村、六十户村农田土壤Cd含量超标严重。星火村(Cv=30.46%)、八段村(Cv=79.47%)、哈新村(Cv=52.15%)和六十户村(Cv=58.63%)土壤Cd的空间变异为中等;三宫梁村(Cv=1.50%)为弱变异;
为了提高抢险应急调度的响应能力,需要进行路径优化规划设计,提出基于粒子群算法的抢险应急调度最短路径寻优规划算法。采用粒子群寻优方法进行抢险应急调度区域的环境信息采