教学课程资源库 更多>>

关键词： 国际领先水平   工艺控制器   开发   Central   实时操作系统   研发工作   软件测试   高速处理  

摘要： 中冶赛迪自主开发的核心工艺控制器（CCTS）研发工作取得重大进展。目前已完成样机制造,并通过碍件及软件测试。该设备性能水平国际领先,已开始在工程中应用。CCTS,即CISDI Central Technology control System,是一种基于实时操作系统的嵌入式高性能控制器,在多任务、多机架同步、高速处理、高速通信、大规模复杂计算方面具有普通PLC所不能达到的优越性能。

关键词： 软件测试   星载嵌入式软件   测试策划   蝴蝶模型  

摘要： 为降低星载嵌入式软件测试风险,提高软件的研制效率,给出了一种星载嵌入式软件测试策划方法,并利用该方法策划了基于蝴蝶模型的星载相机嵌入式软件的测试。首先,介绍了蝴蝶模型,针对星载嵌入式软件的特点,在蝴蝶模型测试过程的思想基础上,给出基于星载嵌入式软件的测试策划方法,并分析了方法的优点;然后,以某星载相机嵌入式软件为例,应用该方法对软件研制的整个过程进行了测试策划;最后,对测试结果进行了分析。实验结果表明,采用该方法进行星载嵌入式软件测试策划,能够发现和避免约80%的需求错误和缺陷、60%的设计错误和缺陷,从而降低软件测试风险,缩短软件研制的周期,提高星载嵌入式软件的可靠性。

关键词： 最优家族   种群规模   遗传算法   软件测试   测试用例   程序插装  

摘要： 为提高测试用例生成的质量和效率,提出一种基于最优家族遗传算法(OFGA)的软件测试用例自动生成新算法。基于OFGA的测试用例生成算法在执行过程中适当缩小搜索区域,从而在相对更小的区域内快速寻找最优解。因此,OFGA能比较快地加速算法的收敛,提高算法的效率,在测试用例的生成上具有较大的应用潜力。由实验结果可知,新算法比遗传算法(GA)在测试用例自动生成上耗时更少,效果更佳。

关键词： 可信软件   可信软件特征   软件分析   软件测试   验证  

摘要： 以软件可信性问题为主攻目标,首先阐述了可信软件的五大主要特征,给出了可信软件分析方法、测试方法和步骤,并总结了各个方法的缺点,重点对可信软件测试方法进行了分类总结和对比分析,同时给出了相应方法的测试工具;其次论述了可信软件的验证方法;最后进行了总结,并对今后可信软件分析和测试研究作出了展望。

关键词： 软件测试   功能测试规模   功能点分析   Mark   功能点法  

摘要： 提出一种基于功能点分析法的软件功能测试规模估算模型。该模型适用于黑盒功能测试,用于系统测试阶段或验收测试阶段工作量的估算,基本估算步骤包括估算软件规模、定义规模因子、计算测试规模,并在项目中进行实践应用。结果表明,该模型可以较好地估算软件功能测试规模,可用于测试计划的制定及实施。

关键词： 缺陷   评审   检查   软件测试  

摘要： 软件开发由于是人为的设计和开发过程，发生缺陷很难避免，传统软件工程做法是通过软件测试控制软件存在的缺陷。在本文中我们讨论通过实施有效的评审和检查以及软件测试活动，控制软件交付后，存在较少缺陷。

关键词： TEmb   软件测试   改进V模型   并行测试  

摘要： 在分析传统软件测试方法的基础上,针对传统的V模型在测试过程中各阶段相对独立的缺陷,提出改进回归测试和增强各测试阶段间并行性的方案;利用TEmb(Testing Embedded software)这种特定的嵌入式系统的结构化测试方法,将TEmb通用元素与改进V模型各阶段相结合,提出了一种较通用的嵌入式软件测试方法。

关键词： 软件测试过程模型   V模型   W模型   X模型   H模型   CMM-3  

摘要： 软件测试是保障软件质量的重要措施,而软件测试过程模型是软件测试的基础。首先对当前的测试模型进行了研究和分析,总结了各模型的优缺点,接着阐述CMM-3(Capability Maturity Model,能力成熟度模型,CMM-3,已定义级)的理论思想,最后提出了在CMM-3的软件开发模式下的软件测试过程模型。

关键词： 软件测试   面向服务架构   蜕变测试   蜕变关系  

摘要： 在面向服务软件的测试过程中,由于在服务发现之前不可知的交互对象和同一个服务可能会有不同实现,往往出现程序执行结果不能提前预知的Oracle问题。为了有效地解决面向服务软件测试中的Oracle问题,基于面向服务架构(SOA)的特点,提出将蜕变测试方法用于面向服务软件的单元测试和集成测试过程中,依据面向服务软件每个服务的自身性质构造蜕变关系,设计蜕变测试类执行测试用例并验证蜕变关系是否保持,如果蜕变关系被违反了,则发现和报告缺陷,从而有效地支持面向服务软件的测试。

关键词： Web服务   面向服务计算   服务组合   软件分析   软件测试   形式化验证  

摘要： 如何有效地保证Web服务及其组合的质量是面向服务计算的一个重要内容。面向服务计算倡导以服务及其组合为基础构造应用的开发模式,以提高应用系统的互操作能力、敏捷性及集成能力。介绍了软件分析、测试与验证和Web服务、面向服务计算的工作原理和方式,并概述了Web服务的分析、测试与验证。