论文部分内容阅读
软件操作剖面的建立是进行软件可靠性测试的基础。介绍了使用UML技术建立软件操作剖面的方法,并结合具体应用实例说明了使用该技术构建软件操作剖面的过程。
UML技术在软件可靠性测试中的应用
【摘 要】
：
软件操作剖面的建立是进行软件可靠性测试的基础。介绍了使用UML技术建立软件操作剖面的方法,并结合具体应用实例说明了使用该技术构建软件操作剖面的过程。
【机 构】
：
中国工程物理研究院结构力学研究所,中国工程物理研究院激光聚变研究中心
【出 处】
：
计算机应用与软件
【发表日期】
：
2008年07期
其他文献
目前主流的主体通信语言FIPA ACL对于形成团队协作求解存在通信原语支持不充分的问题。首先指出基于全责提议通信原语的FIPA ACL不能充分支持团队协作的原因,进而明确区分全责提议与联合提议,引入语义成分扩展定义了联合提议。通过以联合提议原语形成的团队性质定理之验证,从理论上使团队在以联合提议形式进行联合意图交流时,团队主体间的协作能力得到改进。
软件自动化测试正成为计算机应用研究的热点,ATS自动化测试系统采用了J2EE设计技术的一种新思路,能够保证测试系统跨平台和分布式控制,是一种具有开放性和灵活性的自动化测试解决方案。首先简要介绍了J2EE设计的理论和在此理论基础上设计的ATS的强大功能,然后详细阐述了ATS的设计架构,最后实现并分析了ATS的基本应用。
DcR3/TR6是最近发现的可溶性TNFR超家族成员,在归类上属于第三类,其配体具有多样性.它可竞争性地与FasL、LIGHT及TL1A结合,在肿瘤免疫、移植免疫、自身免疫及抗感染免疫中都
数据经常分布在不同的地方,需要的机器资源也随着数据量的增长按比例增长,但数据的增长往往快于机器资源和机器学习上的改进。描述了元学习的基本过程和几种组合元分类器的度量尺度。元学习能够改进可观测性和精度,但同时过度强大的元学习技术也会导致冗余,低效甚至不精确的元分类器层次。分析这些方法的局限性并且提出了基于相异性的裁剪算法,证实了元学习和相关的裁剪方法的组合能取得相似的甚至更好的表现。
Infiniband体系架构(IBA)是一种新兴的互联技术,它主要用于处理节点和输入输出节点之间的互联,从而形成一个系统级的网络。为了改进通信子系统的性能,IBA提供了很多特性,其中之一就是远程直接内存访问(Romote Direct Memory Access,RD-MA)。但是在标准的IBA实现中,对于控制报文和小报文使用发送接收操作来进行。本文提出了一种改进的RDMA实现,使得RDMA能够应
介绍了无线传感器反应网络中单个反应节点选择算法的特点,并提出一种基于线性规划方案的最优选择算法MCT。最后就MCT算法的两种情形进行了仿真分析。
隐马尔可夫模型(Hidden Markov Model,HMM)被广泛地应用于信号处理和模式识别中。当将其应用于聚类时,HMM的训练是一个非常重要的问题。特别是对数据不均衡的数据集,传统的模型训练方法存在使某些类为空类,类中数据偏少等缺点。针对这一特殊问题,提出了基于频率敏感的聚类方法PIFS-HMM,其目的在于提高模型训练的有效性,使聚类结果均衡。实验结果证实了提出方法的有效性。
目的 总结头颈外科的特点和救治经验.方法 43例头颈部重大外伤病例,分析其伤情特点及救治过程,总结救治经验.结果 头颈部外伤具有复合伤、呼吸障碍、大出血三大特点.头颈部外
随着信息技术在经济社会各领域的广泛应用,IC卡在交通、通信、购物消费、缴纳水电气费、娱乐等社会公共领域得到了推广应用。推进城市一卡通的建设,对于合理配置社会资源,使城市居民便捷地获得各种社会公共服务,全面提升城市公共管理和服务水平,打造服务型政府,培育和发展重庆市IC卡产业,建设长江上游信息中心具有重要的推动作用。如此复杂的系统需要科学规划、科学设计,用合理的投资产生尽可能大的效益。