一种面向故障的软件测试新方法

面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的检测是非常有效的.从方法学上讲,面向故障的测试方法标志着一个测试理论的成熟,在测试方法学中具有里程碑的意义.面向故障测试方法有2个问题需要解决:①软件的故障模型,②面向该模型的自动测试方法,此文重点论述软件的故障模型问题.     

前言

全世界大约有700万个软件工程师,每年大约开发100万个软件项目,并以每年10％以上的速度在递增,在所有这些项目中只有9％的项目是成功的,也就是说,只有大约9万个软件项目能在规定的进度、质量和经费下完成任务。软件不成功的原因很多,在安全第一的软件中,软件的质量问题是导致项目失败的重要原因之一,而高的软件缺陷密度是软件质量     

数据驱动自动化测试方法研究

介绍了一种数据驱动方法,用以实现自动化测试.通过对测试数据的产生及选取、控制数据调度的研究发现,不仅应用更灵活的数据驱动方法,对程序进行更深、更广的测试,而且无需编写脚本,只需填写测试表,即可完成全面的自动化测试.这样,即使非技术人员也能够开发测试数据,完成数据驱动自动化测试.     

切实加强预备役部队基层建设

当前,世界军事变革正如火如荼地全面展开并走向深入,这既给我国的国防和军队建设包括预备役部队建设提出了严峻挑战,也提供了发展的机遇。摆在我们面前的任务,就是要认真落实中央的指示和全军预备役部队工作会议精神,全面加强预备役部队建设,不断开创预备役部队基层建设新局面。     

激情让我走出退缩的堡垒

如果你只把工作当做一件差事,或者只把目光停留在工作本身,那么即使是从事你最喜欢的工作,你依然无法持久地保持对工作的热情。但如果你把工作当做一项事业来看待,情况就会完全不同。     

把党员形象树起来——北海舰队某勤务船大队学习贯彻党章教育活动基本做法

今年以来,大队党委着眼加强党的先进性建设,增强广大党员的党章意识,以“强核心、固堡垒、当先锋”为主题,扎实开展了“党的知识学起来,党的歌声唱起来;党的组织强起来,党员素质硬起来;党的纪律严起来,党员权利用起来;党员牌子挂起来,党员形象树起来”等系列活动,充分发挥了党支部的战斗堡垒作用和全体党员的先锋模范作用,促进了大队战备训练和各项使命任务的圆满完成。一、党的歌曲唱起来,党的知识学起来,在浓厚的氛围中加深党章的学习理解。(一)大抓专题学习。大队在党员队伍中深入开展“学党章、知党章、明党章”专题学习活动,引导党员干…     

邓小平空军建设思想与空军的发展

人民空军与新中国一起诞生,即将走过５０年的光辉历程。作为我们党第一代领导集体核心、军队统帅的毛泽东同志,不但亲自创建了这支军队,而且以他伟大的思想指引着空军茁壮成长,作出了不可磨灭的贡献。邓小平同志在我们党创建和发展空军的长期实践中,在对空军的地位和作用的深刻认识和分析中,在对空军建设实践经验尤其是新时期实践经验的理论升华中,特别是在我们党确立了邓小平同志在第二代中央领导集体中的核心地位后,逐渐形成和发展起来的邓小平空军建设思想,是邓小平新时期军队建设思想的重要组成部分,是对毛泽东军事思想及其空…     

如何估计软件的MTBF

软件剩余初始故障个数No、平均无故障时间MTBF、故障暴露率λ和软件运行的成功率θ等是衡量软件可靠性的重要参数.其中对高可靠性软件(包括军用软件等)MTBF是最重要的.传统的MTBF计算方法有2种一是计算发生故障的平均时间间隔二是通过软件可靠性模型进行估计.前者代价较大,后者不太准确.本文从软件的失败率入手研究软件的MTBF,这是一个比较贴近实际的方法.     

要切实抓住后勤工作的关键

近年来,安徽总队依据《纲要》、《条例》,在抓好后勤基础设施建设的同时,狠抓后勤规范化管理,部队全面建,整体上,各项工作协调发展,综合益明显增强,促进了执勤、“处突”等各项任务的圆满完成。今年1月13日至15日,武警总部在合肥召开“武警部队后勤规范化管理研讨会”,推广了他们的经验和做法。武警部队后勤部王俊杰副部长在会议总结中说,安徽总队的经验,是依据标准和条例建设部队的经验,是全面建、整体上的经验,是实在、管用的经验;安徽总队的现场有看头、有学头;安徽总队的经验值得借鉴,值得推广。本期我们集中版面,除摘要刊发武警部队吴双战司令员在研讨会上的重要讲话和刘世民部长的重要发言以及会议典型经验外,还进一步组织挖掘了安徽总队后勤其它业务部门和不同类型单位后勤规范化管理的做法和经验,一并推荐给大家学习研究,以推动武警部队后勤规范化管理工作扎扎实实向纵深发展。