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

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

前言

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

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

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

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

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

激情让我走出退缩的堡垒

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

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

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

兵团团场中小学教师队伍现状调查与分析

兵团团场教师队伍结构性矛盾突出、教师编制紧张、城乡（团）收入差距较大、教师流失较严重。要通过优化教师结构、创新教师补充机制、提高教师待遇、提升教师素质,稳定团场教师队伍,促进兵团义务教育均衡发展。     

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

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

萨姆导弹家族大检阅

从20世纪50年代诞生起,历经50多年的风风雨雨,萨姆导弹的身影不断出现在世界各地的局部战争和武装冲突中。不论是在海湾战争还是科索沃战场都有过不同凡响的战绩,在现代防空作战史上留下了一个个传奇故事。 萨姆-1——悄然初问世 SA-1导弹是苏联于1948年开始研制的一种全天候中程中高空地对空导弹,主要用于国土防空。该型导弹配属一部制导雷达,可同时跟踪30个目标,并对导弹实施制导。该型导弹全长12米,弹径为700毫米,最大马赫数3,最大射程为32公里。