面向C程序的测试用例自动生成实现

软件测试工具很难达到通用的目标,大多数该类工具都是具体针对某一种或几种程序语言的.对于目前我军常用的程序编写语言开发相应的软件自动测试工具是十分必要的.介绍了一个面向C程序的测试用例自动生成系统,重点阐述了其系统结构的构成以及所采用的一个新的搜索寻优算法.该算法有效地改善了前有算法的一些缺陷,显示出不错的效果.     

面向对象软件测试的策略

简要介绍了面向对象中的类、继承、封装等机制给软件测试带来的影响,分析了面向对象测试的特殊性,最后探讨了面向对象软件测试的层次和各层测试中采取的策略。     

多媒体网络环境下的英语教学初探

网络与多媒体计算机辅助语言教学是当前国内外现代外语教育的一个重要组成部分,已成为外语教师改革教学方法、改进教学手段、提高教学质量的重要途径。应充分利用多媒体网络技术推进边防英语教学改革,对多媒体网络技术环境下的边防英语教学方法进行深入探讨。     

双瑞之道——解读七二五所"翻番又翻番"

在新世纪的第一个五年里,中船重工七二五所实现了“翻番又翻番”,全所年营销收入从2000年的2.48亿元递增为2005年的近11亿元;据预测,在“十一五”规划期间,该所科技经济仍将保持强势增长,将再次创造五年翻两番的辉煌业绩。七二五所五年实现“翻番又翻番”,为全国国防科技工业和省、市的国有经济发展树立了新的标杆,更有价值的是对国有经济发展的深刻启迪。七二五所强势发展的深层动因,在于其可以被称之为“双瑞之道”的优秀文化,尤其是进入新世纪的七二五所人,在运筹和经营管理层面,把“双瑞之道”演绎得精彩纷呈。优秀文化——事业成长的基…     

高三化学复习中应处理好的几个问题

高三化学总复习的特点是它具有较强的针对性和紧迫的时效性,要求复习者在全面中有重点,在规范中讲策略,在强化中讲效益。为此,本人结合自己的教学实践谈谈化学总复习中应重点抓好的几个问题,和同行们探讨。一、发挥课本解读的两大作用———基础作用和示范作用课本是知识与方法     

英语专业视听说教学的不足之处及改进策略

视听说课程是英语专业的技能课程之一。它要求较高的教学设备才能实现其教学目的。本文结合自身教学实践,分析了传统视听说教学的缺憾,提出了改进教学的策略。     

党员辞职后，执意不转组织关系怎么处理？

实例:李某原系某中学老师,2003年5月辞职后,到一家杂志社工作。李某辞职后,只办理了人事档案转移手续,党员组织关系却一直未转移。原学校党支部曾多次电话与他联系,要求他早日将党员组织关系转到现工作单位党组织,但他却执意不来学校办理,在一年多时间里,未交纳党费,未参加党的     

一类典型多态关联系统的可靠性定性性质

定义了一种典型的多态关联系统逻辑结构，该类系统在工程实践中有一定的应用范围。由于这类系统的结构比较特殊，因此有比较优良的定性性质，而可靠性分析中，最小路集求解是定性分析最主要的研究内容之一。针对这种结构的系统，研究了相应的最小路集求解方法，这种方法的运算量远小于一般系统最小路集求解方法的运算量。     

多态关联系统结构特性分析

可靠性分析中，系统的结构函数有两方面的作用，一方面是结合部件可靠度求得系统的可靠度，另一方面是由结构函数分析系统的结构特性。本文通过构造结构函数的差分运算，从系统的结构稳定性、状态吸收能力和结构重要度三个方面对后者进行了讨论。     

发挥物资部门优势 增强物资保障能力

针对市场经济环境下军队物资部门面临的困难,本文提出要通过发挥军队物资部门的优势来增强物资保障能力,并提出了具体措施;调整组织结构,实施统筹供应,建立统分结合的物资保障体系;搞活物资工作,实行保供与经营并重,建立以物资供应协调中心为主体的军民双向流通的物资辅助保障体系;增强服务意识,提高服务水平,实施面向市场、面向用户的物资筹供策略;加强资金管理,提高资金使用效益,采取各种行之有效的风险回避策略,确保资产的保值增值;加强人力资源建设,营造人才成长的环境和条件;加强军队物资流通设施设备的现代化建设,提高物资保障的机械化、自动化和信息化程度。