基于CSM面向对象程序测试用例的自动生成

为了保证程序测试的质量和降低测试费用 ,基于规格的测试方法越来越受到重视。在利用有限状态机描述面向对象程序基础上给出了状态覆盖测试算法 ,同时引入动态域归约原理实现测试用例的自动生成     

基于CSM面向对象程序测试用例的自动生成

为了保证程序测试的质量和降低测试费用,基于规格的测试方法越来越受到重视,在利用有限状态机描述面向对象程序基础上给出了状态覆盖测试算法,同时引入动态域归约原理实现测试用例的自动生成。     

面向对象软件测试的技术研究

面向对象软件测试是面向对象软件开发的重要一环,是保证软件质量、提高软件可靠性的关键。针对面向对象软件具有的特征,分析了面向对象开发模型和测试层次划分,给出了一个面向对象的测试模型,并详细讨论了面向对象软件测试的测试方法和解决方案。     

面向对象软件测试研究

今天,面向对象软件已经成为软件行业的主流,人们已经习惯于使用面向对象的软件开发工具设计开发面向对象软件并使之硕果累累.但是好的软件系统离不开严密的软件测试体系,在面向对象软件空前繁荣的今天如何对其进行有效的测试已经成为软件界的一个热门话题.测试面向对象软件可以使用传统过程软件的测试方法,但是面向对象软件系统在某些方面尤其是在单元测试方面提出了一些新的挑战,其测试策略值得深入探讨.本文从面向对象软件的自身特点出发,在传统的过程软件测试的基础上探讨如何有效地对面向对象软件进行测试.     

程序可疑模式发现方法研究

由于面向对象程序的动态执行特征,传统测试方法不能很好地描述和分析对象状态,这就影响了对面向对象程序进行故障定位的准确性.针对此问题,基于模式的概念和序列模式的方法,提出采用对象生存期行为模型来刻画对象行为特征,并基于此模型来定义程序行为模式;然后,基于程序行为模式设计了程序可疑模式的发现框架,包括数据准备过程、模式提取...     

面向对象软件测试探讨

面向对象软件测试是面向对象软件开发的不可缺少的一环，是保证软件质量，提高软件可靠性的关键。但目前的研究现状与面向对象的分析，设计技术以及程序设计语言的琛上比尚显薄弱，本文在分析面向对象程序设计语言对软件测试影响的基础上，讨论了面向对象软件测试的测试策略及测试技术。     

面向对象软件的测试

以软件工程中面向对象软件开发模式为参考,分别在面向对象分析,面向对象设计,面向对象编程的三个阶段中,依据各阶段的地位、作用、实现目标,具体阐述测试目的和应注意的测试点。依照传统的三个测试步骤:单元测试、集成测试、系统测试、借鉴传统测试方法有用的部分,提出有效的对面向对象软件进行测试的方法。结合传统的测试技术,针对面向对象技术新特性在测试中所引发的问题,提出一种测试模型。该模型简便、实用性强。     

基于有限状态机的一致性测试模型

基于有限状态机测试方法是进行协议一致性测试、图形用户界面测试和面向对象测试的重要方法之一。首先给出了用于有限状态机一致性测试的定义和性质，接着讨论了基于有限状态机一致性测试的概念和步骤，最后提出了基于有限状态机及扩展的有限状态机的一致性测试模型。     

基于V模型的自动化工具测试方法

软件测试是改善软件质量和正确性的重要方法.针对目前面向对象软件开发测试方法的不成熟和测试过程不清晰的问题,基于V模型对面向对象软件测试过程和测试方法的本质剖析,借助自动化辅助测试工具对V模型的支撑,提出了一种改善面向对象软件测试过程的测试方法.     

用面向对象的方法设计化工仿真培训系统

对面向过程与面向对象的程序设计方法进行了比较,并做了分析讨论．从面向对象的基本概念出发分析化工仿真培训系统的软件设计方法．     

面向对象技术在工程数据库中的应用

通过面向对象技术在工程数据库中的应用,对面向对象分析、面向对象设计和面向对象 编程方法和技巧进行了探讨,阐明面向对象对加快工程数据库的建立,提高工程数据库 性能具有重要作用．     

基于对象的软件重用技术研究

提高软件开发的效率对软件工程具有重要意义。面向对象的程序设计方法以可重用性为中心,构造独立具体工作的可重用软部件,这些软部件经夭当 的整合即可构成新的目标系统,从而大大提高软件开的效率。     

面向对象软件测试的研究

面向对象软件测试是面向对象软件开发的重要阶段,类测试是面向对象软件测试的关键.本文在分析了面向对象软件技术对软件测试技术的影响基础上,研究了面向对象软件的类测试技术.     

一种面向对象的信息系统安全评估方法

安全评估是进行信息系统安全风险管理的重要途径,但安全评估目前缺乏有效的方法及工具. 通过利用面向对象的技术,建立了安全评估对象模型,提出了关联检测和依赖检测的概念,并开发了相应的工具. 应用结果表明,利用面向对象技术可以有效提高信息系统安全评估效率,同时关联检测和依赖检测也改进了穿透测试的效果.     

面向对象方法在结构有限元分析软件中的应用

系统归纳了面向对象有限元的基本理论和实现方法,比较了传统有限元实现方法与现代面向对象有限元方法的优缺点.运用C＋＋语言,以单元类为例,描述了面向对象有限元程序的实现过程.最后,利用该程序进行了工程实例计算分析,验证了面向对象有限元方法的准确性.     

PowerPoint上机操作测试自动评价的研究和设计

根据命国高校计算机等级考试（广西考区）一级考试大纲，对PowerPoint的教学和测评要求，归纳出PowerPoint上机操作需考察的知识点．在研究PowerPoint对象模型架构的幕础上，蓖点研究实脱自动洲评的PowelPoint评价对象发具常用属性疗法。在VC＋＋2008开发平台下，完成fPowerPointE机操...     

冗余多体系统优化目标函数的研究

基于控制论的观点，对冗余多体系统进行分析，提出以正交补矩阵表示冗余多体系统的运动学通解。在此基础上，总结了已有的冗余多体系统优化目标函数，使其表达方便，意义明确。本文还首次分析研究“自然动力学解”的局部和全局型优化目标函数，进一步丰富和发展了冗余多体系统的理论，揭示了冗余与非冗余多体系统的内在联系，并使运用一般多体系统动力学程序求解冗余多体系统的动力学成为可能。     

面向对象的有限元程序设计

按照面向对象的程序设计方法 ,遵循有限元分析的本质 ,采用 C 语言 ,建立了有关描述有限元模型的类 ,用链表方式实现结点、单元和材料的数据存放、用多态性实现单元的自由链接 ,方便的实现了单元增减等用传统语言无法实现的功能。据此编制了有限元分析的数值计算程序 ,并给出了一个实例     

计算机绘制出三视图图线整理和投影关系的检查

针对同一物体用计算机绘制出的三视图图线组合具有多样性和可能存在的各视图间投影关系的错误，本文作者提出一种唯一性识别图线和检查图形实体投影关系的算法，并在此基础上编制出了能在Auto CAD图形系统中使用的实用软件。