【摘 要】
：
统一建模语言（UML）无法精确描述系统模型,只能从某一层面描述系统信息,从而导致基于UML模型的多态测试不完备。为此,提出一种带OCL约束的多态路径测试线索生成方法。通过在类图
论文部分内容阅读
统一建模语言（UML）无法精确描述系统模型,只能从某一层面描述系统信息,从而导致基于UML模型的多态测试不完备。为此,提出一种带OCL约束的多态路径测试线索生成方法。通过在类图中加入OCL约束信息,考虑类图中多态性对测试的影响,结合UML类图、状态图及协作图,设计并构造OCL约束下包含多态和状态信息的消息间受限控制流图（MRCFG）,应用唯一MRCFG路径覆盖准则生成测试线索。通过建立原型工具自动生成包含多态信息的测试线索,从而证明该方法提高了测试的自动化程度,并且生成的多态测试线索更完备。
其他文献
<正>目前教育培训工作中存在哪些问题和不足?如何制订和落实更加符合实际的教育培训工作措施和办法?西安市国家税务局为此开展了专题问卷调查活动。这次问卷调查从被调查对象
近年来关于功能性的讨论主要应用于织物的研制,但也有功能性和纺丝油剂之间的联系,这些结合涉及不同的方向。这意味着可以在最终产品上看到纺丝油剂的功能,例如众所周知的纺
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
卫星通信的地面接收阵列天线在信号处理的过程中，若数字下变频时没有进行载波同步，则此时多普勒频移仍存在于系统中。根据阵列信号处理模型，对采用FrostLMS自适应滤波算法的卫星
随着安全芯片应用范围的不断扩大和应用环境的日趋复杂，需要通过穿透性测试验证芯片的安全性，同时有必要对测试进行评估。为此，提出一种基于攻击树模型的安全芯片穿透性测试评估
考虑程序中分支冲突和异常处理结构对控制流信息的影响，提出一种改进的程序可达基路径生成方法。分析不可达路径产生的原因及其判定方法，构建异常控制流图。在此基础上计算相关
针对军事网格应用及工作流的特点,提出一种基于网格工作流分割的调度算法。采用基于有向无环图的工作流建模方法,对网格工作流的相关概念进行形式化定义。在确定基本工作流之
［1］Otsuka K. Shape Memory Alloys. New York: Gordon and Breach Science Publishers,1986［2］Liang C, Rogers C A. Design of shape memory alloy springs with applications
通过分析已有虚拟计算环境的现状、特点及适用范围，针对聚合异构分散计算资源的需求，提出一种基于框架技术的虚拟计算环境实现方法，包括计算平台的总体框架和服务组件，以及各个组
针对计算机网络上的病毒传播问题,提出一种二部无标度网络,其节点分为客户机和服务器两类.在二部无标度网络上应用易感-感染-易感（SIS）传播模型,采用率方程的方法研究二部无标