论文部分内容阅读
基于构件的开发模式使大型软件系统的开发提高了效率,增强了可靠性,但同时也给测试带来了诸多困难。本文从构件使用者的角度出发,提出了一种基于结构模式的测试方法,在借鉴ADL的基础上详细描述了这种方法的形式化表示,并给出了工具的设计方案。
基于结构模式的构件系统测试方法
【摘 要】
：
基于构件的开发模式使大型软件系统的开发提高了效率,增强了可靠性,但同时也给测试带来了诸多困难。本文从构件使用者的角度出发,提出了一种基于结构模式的测试方法,在借鉴ADL的基础上详细描述了这种方法的形式化表示,并给出了工具的设计方案。
【机 构】
：
南开大学信息学院机器智能所
【出 处】
：
计算机科学
【发表日期】
：
2005年11期
【基金项目】
：
天津市科技攻关项目
其他文献
本文用测度论的观点,证明柔性逻辑中命题连接词的运算模型是连续可变性的算子族,它受广义相关系数h的控制,并给出了h的物理意义和计算公式,最后,用实例说明了柔性逻辑的方法
当前的模态或非模态逻辑系统的概念都是狭义的,它们关心的主要是一些重言式或永真式.而对人来说,事实真或假的知识同样是非常重要的,但这样的知识却超出了它们的定义范围.当
本文首先介绍了我们提出的基于时空的路由算法思想,然后用UML(Unified Modeling Language)对基于该算法的仿真系统(Satellite Network Simulation based on Space Time,STSNS
在本文中,我们提出了利用面向对象的技术表示语义和常识的方法.将知网[3]中的义原(即最小的语义单位)表示为类,同时将概念之间、属性之间的语义关系转换为类之间关系以及类的
网格计算技术将资源有效整合,从而提供统一且灵活的资源共享,但目前主要应用于科学研究,不适于民用和商业应用.通过研究网格计算的重要内容--数据库共享技术,本文提出了数据
独立成分分析(ICA)是近几年发展起来用于解决盲源信号分离(Blind Source Separation)的一种基于信号高阶统计特性的分析方法.本文提出了一种基于向量间内积运算的解决独立成
已有的QoS组播路由算法都假设已知网络全局的精确状态,而且QoS约束都以确定性界限来表达.然而在实际的网络环境中,网络节点根本无法获得网络全局的精确状态,而且QoS约束完全
分析了对等计算的基本概念,对当前对等计算中流行的查找和路由协议进行了概括性的分析.提出了一个基于团体的分布式路由协议(CSDR),并讨论了该协议的基本概念.对CSDR中的可靠
本文提出一种Vague决策表的知识获取方法.首先根据样本对于决策者需求的适合程度构造Vague值之间的一个序关系,将Vague决策表转化为二元决策表,然后利用粗糙集理论进行分析并
Internet已成为数字内容递送的重要场所.建立Internet环境下数字内容知识产权相关的控制管理机制,对促进数字内容市场的发展具有重要的意义.本文的主要工作是从模型角度分析