• 构件软件黑盒测试研究及应用

    构件软件黑盒测试研究及应用

    论文摘要随着构件和构件软件技术的发展,构件软件测试的研究也日益受到关注。测试用例是软件测试的核心,测试用例的选择与生成也是构件软件测试的一个难点,有效的测试用例生成不仅可以提高...
  • 基于UML活动图模型的测试用例自动生成方法研究

    基于UML活动图模型的测试用例自动生成方法研究

    论文摘要软件测试是软件开发过程的重要组成部分,是软件质量保证的重要手段。测试用例是软件测试最核心的内容之一,测试用例的数量和质量很大程度上决定了软件质量的好坏。近年来,基于统一...
  • 工作流技术在电力用户工程管理中的研究与应用

    工作流技术在电力用户工程管理中的研究与应用

    论文摘要电力用户工程是一个动态、复杂、多变、异常频发的系统工程。工作流是计算机支持的业务过程自动化执行。本文研究了工作流领域相关的思想、方法、理论、技术和产品,在对WfMC的相...
  • 基于活动图驱动的软件需求分析方法及应用

    基于活动图驱动的软件需求分析方法及应用

    论文摘要各大政府部门、大型企业,一般都具备自己的信息技术部门。当本机构选择了由开发商承建定制MIS系统的时候,该机构的信息技术部门通常需要承担起沟通本机构业务专家和开发商技术专...
  • 基于SPIN的UML活动图验证

    基于SPIN的UML活动图验证

    论文摘要随着计算机技术的飞速发展,软件系统的广泛应用,软件系统间的可移植性、协同工作能力和可维护性问题日益突出,以模型为软件开发关键的模型驱动架构MDA方法是解决这些问题而产生...
  • 基于UML活动图生成测试用例方法的研究

    基于UML活动图生成测试用例方法的研究

    论文摘要软件测试是保证软件质量、提高软件可靠性的关键工作,测试用例是软件测试的核心。随着面向对象技术的成熟和广泛使用,基于统一建模语言UML的测试用例生成方法已成为研究的热点。...
  • 基于UML的电大自开课网络考试系统

    基于UML的电大自开课网络考试系统

    论文摘要信息高速公路迅速发展的今天,网络技术的应用越来越广泛。如何利用Internet和校园网开展远程教育正受到人们的普遍关注。纵观国内外远程教育的发展趋势,实现网络化考试势在...
  • 基于UML的分销管理系统的分析与设计

    基于UML的分销管理系统的分析与设计

    论文摘要电子商务时代,企业组织形式,生产与业务流程以及与供应商、客户、合作者及消费者的交互方式都发生了巨大的变化。企业实施ERP已经成为企业实施信息化管理的重要手段和方式,ER...
  • 规约和切片技术在组件测试用例生成中的研究

    规约和切片技术在组件测试用例生成中的研究

    论文摘要随着组件技术在软件开发中日益广泛的应用,对组件系统质量的要求也不断提高。因此保证组件系统可靠性的软件测试技术,也面临着不断革新的需要。由于组件自身的一些特点,使得一些传...
  • 基于UML2.0动态视图的Web服务模型测试方法及其应用

    基于UML2.0动态视图的Web服务模型测试方法及其应用

    论文摘要如何保证并不断提高软件质量是软件工程研究的一个核心问题。软件测试能够有效地发现软件中隐藏的缺陷,是保证软件质量的重要方法。Web服务是分布式计算领域的新兴技术,具有良好...
  • 软件体系结构形式描述研究

    软件体系结构形式描述研究

    论文题目:软件体系结构形式描述研究论文类型:博士论文论文专业:计算机软件与理论作者:朱雪阳导师:唐稚松关键词:软件体系结构,体系结构描述语言,双重描述框架,系统,活动图,状态图...