软件测试分析

现在人们已经逐渐认识到所谓的软件危机实际上仅是一种状况，那就是软件中有错误，正是这些错误导致了软件开发在成本、进度和质量上的失控。有错误是软件的属性，而且是无法改变的，因为软件是由人来完成的，所有由人做的工作都不会是完美无缺的。问题在于如何去避免错误的产生和消除已经产生的错误，使程序中的错误密度达到尽可能低的程度。     

热烈祝贺软件测试联合实验室正式成立

2005年12月28日由公安部交通管理科学研究所、中国惠普有限公司和英特尔（中国）有限公司共同合作成立的软件测试联合实验室，在公安部交通管理科学研究所正式揭幕并投入运行。     

高速公路车道收费软件测试概述

针对费显点亮工程中车道收费系统优化升级的工作内容,重点讨论实验室环境与生产环境相结合的车道收费软件测试方法及重点关注内容.通过模拟ETC和MTC车辆各种通行情景,重复查缺补漏,分析缺陷原因.结合实车通行测试,分析核验测试数据,归纳解析测试问题,改进车道收费软件开发过程以及提高软件质量.     

计算机联锁软件测试方法研究

描述了计算机联锁软件的基本结构、主要完成功能和联锁软件测试的重要性,采用白盒法和黑盒法来完成对计算机联锁软件的结构测试和功能测试,并给出结构测试实例和黑盒测试框图;采用故障树分析法来完成对计算机联锁软件的安全性测试,并给出了具体实例.     

铁路信号系统软件测试建模方法

针对铁路信号系统软件测试模型不能系统地描述测试需求的问题,提出风险时间状态机建模方法. 首先,分析铁路信号系统软件测试建模的特点,并提出建模需求;然后,以有限状态机理论为研究基础,在有限状态机的变迁和状态中分别扩展出时钟和风险等级元素,提出风险时间状态机建模方法,满足功能逻辑、时间约束和风险等级3个方面的建模需求,采用Z规格说明语言给出风险时间状态机的形式化定义和格局转移机制;最后,以计算机联锁系统中的道岔转换功能为例,建立风险时间状态机测试模型,并与时间自动机建模方法进行了对比,结果表明,建模方法上,所建立风险时间状态机比时间自动机节省62%的变迁数,描述能力更强,能够满足铁路信号系统软件测试的建模需求.      

基于JUnit框架的软件测试

介绍了一个对Java程序进行软件测试的标准框架JUnit,及JUnit框架的2个扩展:JUnitPerf和Cactus。通过JUnit以及它的扩展,实现了Java程序测试的自动化,从而降低开发费用,最终使软件质量得到提高。     

基于UML的微机联锁软件测试系统分析

基于UML的微机联锁软件自动测试系统对软件开发全过程的软件质量保证实施具有非常重要的现实意义。针对影响微机联锁软件可靠性与安全性的因素,建立微机联锁软件自动化测试的UML模型、测试流程图以及测试框架,给出微机联锁软件自动测试平台的硬件体系结构及微机联锁软件测试平台。并通过实例进行测试分析,结果表明该方法是有效的。     

基于教务系统的自动化软件测试研究

软件测试已成为软件质量保障的重要手段,自动化测试工具的出现也使得人工测试不可能完成的任务成为可能。如何根据测试理论设计测试用例,利用自动化测试工具完成系统的测试并发现其中存在的问题是本文的主要研究目的。     

软件测试中基路径获取方法的研究

软件测试是软件质量保证的重要手段,基路径测试是结构测试的一种重要方法.主要分析生成线性独立路径集合时,前后判定节点使用变量存在数据依赖关系的情况.借鉴程序切片技术中的转化理论,对数据控制依赖的判定节点在控制流图中进行修改;对一般的基路径获取步骤进行改进,可避免选择的路径不可达,提高基路径获取速率.实例表明它是有效的.     

游戏化教学策略在软件测试课程体系中的应用

游戏化教学以情境带入学习,能够很好的激发学习动机、提高创新能力、促进学生形成良好的情感态度。本文首先分析国内外研究现状,然后,针对高职院校计算机教学中的问题,将游戏化教学模式应用到软件测试课程中,通过挑战和竞争使学生在练级和升级中潜移默化的学习、练习,最后有效的提升知识的综合应用能力。     

AFC系统应用软件中采用成熟模块的探讨

AFC系统作为票务运营管理系统,其应用软件的功能是否完善,直接影响到票务收益的安全及售检票终端设备操作的方便性.本文对AFC系统的核心业务进行分析,比较了采用成熟模块实现某些功能的利弊,并提出在AFC系统中采用成熟模块的一些想法和建议.     

杂说我国姓氏

姓氏是表明家族的字.姓和氏本有分别,姓起于女系,氏起于男系.后来说姓氏,专指姓. 姓氏,姓与氏的合称.<左传·隐公八年>:"天子建德,因生以赐姓,胙之土而命之氏."<通志·氏族略序>:"三代之前,姓氏分为二,男子称氏,妇人称姓.氏所以别贵贱,贵者有氏,贱者有名无氏……姓所以别婚姻,故有同姓、异姓、庶姓之别;氏同姓不同,婚姻可通,姓同氏不同者,婚姻不可通.三代之后,姓氏合而为一,皆可以别婚姻,而以地望明贵贱."顾炎武<日知录>卷二十三"氏族":"姓氏之称,自太史公始混而为一."     

知网的话题更新与跟踪算法研究

话题跟踪是一项面向新闻报道信息流进行已知话题跟踪的信息处理技术,本文在现有的向量空间描述文档的基础上,实现了一个基于话题更新的话题跟踪算法,提出了基于知网的近义动词分析的跟踪算法及基于知网的近义动词分析和话题更新的话题跟踪算法．实验表明话题更新和同义词近义词的消除提高了话题跟踪算法的性能．     

电子文件归档工作

电子文件的产生,不仅意味着一种新型载体档案的诞生,而且也标志着人类记录信息、传达信息、留存信息的方式发生了变革.目前,在中山市公共汽车公司,公交智能化已纳入企业的发展规划,办公自动化在财务、报税、人事工资、票务、营运调度、营运统计、库存物资、车辆档案、保养计划、汽车配件销售、稽查等方面广泛应用电脑化管理.随着办公自动化程度的不断提高,必须高度重视并规范电子文件归档管理,保障电子文件和电子档案的安全保管和开发利用,以便更好地为企业的生产管理服务,这也是企业档案管理一个崭新的课题.     

汽车失火与防火

汽车失火不仅会将车辆烧毁,还会危及人身安全,尤其是客运车辆。     

神行太空话说大气层

随着长征二号F运载火箭地动山摇的轰鸣,我国神舟六号载人飞船于2005年10月12日9时准时发射升空.9时09分,火箭一二级成功分离,此时,火箭已经飞过了平流层和中间层,正在接近大气层边缘.     

浅论公交票价的优化

当前,我国城市公共交通企业的生产要素价格大部分或全部实行市场调节价,而城市公共交通的票价则实行政府定价,近年来车辆设备、燃料、轮胎、配件等价格大幅度上涨,但目前大部分城市公交还是执行以前政府制定的公交低票价政策,因此产生公交企业与消费之间的不等价交换,造成了公交企业一定程度的亏损.这种经营情况既给国家造成了严重的经济负担,也使公交企业缺乏生存空间和可持续发展的动力.因此,有必要通过改变目前普遍存在的客票价格与价值严重背离的情况,发挥运价在市场中的作用,按商品经济的原则管理公交企业,使企业面向市场.     

哥本哈根话交通

哥本哈根是丹麦王国的首都.丹麦位于北海与波罗的海之间,面积为四万多平方公里,国家虽小,但人均国民收入却排在世界第三位,比美国、日本和德国都要高,属于世界最富的国家之一.     

车长车短

何谓"老爷车":所谓"老爷车",是指出厂至少要20年以上的汽车."老爷车"按出厂的时间早晚,又分为不同的级别,资历老的"老爷车"是指1907年以前生产的汽车.     

说说公交车

公交车,是最能告诉你什么是公平的地方。公交车之挤,凡搭过公交的都有体验,公交车上的座位是有限的,它们检验着坐车人的幸运指数。始发站上车,或许会有座,中途挤上,也许正好旁边坐着的人下车,于是,你也小小地幸运一次。公交车从不会根据社会角色的不同去分配座位。有人说了,我得给老人孩子或孕妇让座,哦,对,这也是应该的,那么,在你出让一个座位的同时,你可以获得一点小小的尊重和自我的满足感。