基于模型的嵌入式软件测试

针对嵌入式软件开发中的问题,在嵌入式软件测试中应用基于模型的软件测试策略,可以极大的降低开发成本,保证软件质量.阐述了该测试策略,着重讨论和分析了基于UML模型的嵌入式软件测试技术,并介绍了UML模型指导嵌入式软件测试在实际开发环境中的应用.     

UML活动图在组件系统测试用例生成中的应用研究

近年来，基于UML的测试成为组件系统测试的研究热点。为了从UML活动图模型中自动生成组件系统的测试用例，本文采用灰盒测试方法，给出了活动图的形式化描述。分析了活动图并发特征所引起的测试场景集数量爆炸问题，提出增加约束条件的解决方法，减少了测试场景集数量。提出了一种基于活动图的组件系统测试场景与测试用例生成方法，使自动化生成测试用例可行性有一定的提高。     

基于COM原理的UML模型信息提取技术

提出了一种提取UML模型信息的方法.UML是一种优秀的建模语言,使用UML可以为软件模型的建立带来很多方便.同时,为了验证模型的一致性,有必要将模型信息提取出来,通过一些成熟的算法进行测试.因此,研究如何从UML图中提取相应的模型信息有其现实意义.利用Rose提供的基于COM技术的REI,实现了从UML文档中自动提取用于软件测试的模型信息.     

基于UML的软件测试用例自动生成技术研究

测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用，基于UML模型的测试用例自动生成技术日益受到关注。本文提出了通过对UML Sequence Diagram进行形式化分析产生测试场景的技术，定义了相应的测试覆盖准则，分析了测试数据的生成。并探讨了将测试工具和建模工具相结合的具体实现方法。     

基于UML建模的软件测试技术初探

在研究了UML建模各种模型特点和内容的基础上,分析了各类模型与各阶段测试的关系,从而指导测试个案完整、便捷的生成。最后介绍了基于UML的软件自动测试技术。     

某型导发架内外场通用测试系统研究

在对某型导发架的测试资源进行详尽分析的基础上,充分利用LXI总线的技术优势,按照通用化、模块化的设计原J,J构建了某型导发架内外场通用测试系统的软、硬件平台,并基于UML语言描述了其软件模型.最后对多台设备间的定时与同步、TPS的软件测试技术等关键技术进行了研究分析.实践证明,该系统能够显著降低成本及系统复杂性,增强配置灵活性,具有更高的性价比和通用性.     

基于UML的软件测试自动化研究

测试自动化是提高软件测试效率的重要途径。随着UML的广泛应用，基于UML模型的测试逐渐成为面向对象软件测试的研究热点。在总结研究现状的基础上，详细论述了基于UML模型的软件测试用例自动生成、自动执行以及结果自动比较的过程，对其中的主要问题进行了理论分析，并提出了实现方法。     

一种基于Web软件集成测试的建模方法

本文给出了一种Web软件集成测试的建模方法。该方法通过分析Web应用程序体系结构,对Web应用划分,用分层的有限状态机对Web应用进行行为建模,通过采用基于有限状态机的导航模型来指导测试人员进行Web集成测试;采用UML扩展的模型对Web应用组件间的交互建模,通过建立基于UML的组件依赖模型并提供相应的测试用例生成规则来提取Web应用的测试用例。     

基于云计算组件模型的测试方法和技术研究

在分析云计算技术特点基础上,基于云计算组件模型研究了云计算产品的测试方法和技术,并在联通云计算综合管理云平台的测试中进行应用,取得了较好的效果。     

基于UML模型的场景测试技术

UML代表着软件建模的发展趋势,对基于UML模型的测试技术研究具有现实意义。本文采用基于UML模型的场景测试技术生成测试用例。     

浅谈反映人体测量学来源的人体比例理论

人体测量学并不是现代社会的产物。有着很长发展历史的人体比例理论中就包含了现代人体测量学的基本内容,尽管其还不够系统完整,但至少说明了在艺术创作中诞生的人体比例理论对现代人体测量学的影响。并随着时间的推移而不断的完善发展,为现代人体测量学的系统提出奠定了坚实的基础。     

FLASH教学中声音导入问题的浅析

目的:解决在FLASH中导入声音的问题.方法:对FLASH不支持的声音格式采取音频压缩的方法.结果:可成功将压缩后的声音文件导入到FLASH中.结论:在FLASH中使用声音可以使FLASH动画具有良好的动画效果.     

金属切削过程中的稳定性分析

本文对于金属切削这一生产过程中所出现的不稳定问题,利用频率特性法中的奈氏判据,对其进行分析,从而找出消除自激振荡和达到切削过程绝对稳定的条件     

Convergence,the university of the future and the future of the university

 The paper questions the ability of current university systems to respond appropriately to the complex demands of an Information Economy. It argues that new relationships between creative subjects and technology require new thinking about the nature and purpose of universities per se. In particular, attention is drawn to the growing involvement of the private sector in higher education. It is argued that it may not be appropriate to think of the `university of the future' in terms of current public sector and quasi public sector institutions, but rather in terms of an emporium, based on an international trade in educational services, and with the `University' as we now understand it occupying the functions of licensing, quality assurance and cultural custodianship. Accepted: 25 June 2002     

VMware的技术与应用探析

虚拟化技术是当今服务器技术的一个主流方向,也是一项在计算机领域具有革命性意义的技术.作为x86架构体系下虚拟化技术的领军者-VMware,在技术上有其独到之处.研究VMware的技术与应用,对探知其优秀的技术特点,了解其成熟的产品体系有着现实意义.     

Modelling the dynamics of the tilt-casting process and the effect of the mould design on the casting quality

All titanium alloys are highly reactive in the molten condition and so are usually melted in a water-cooled copper crucible to avoid contamination using processes such as Induction Skull Melting (ISM). These provide only limited superheat which, coupled with the surface turbulence inherent in most conventional mould filling processes, results in entrainment defects such as bubbles in the castings. To overcome these problems, a novel tilt-casting process has been developed in which the mould is attached directly to the ISM crucible holding the melt and the two are then rotated together to achieve a tranquil transfer of the metal into the mould. From the modelling point of view, this process involves complex three-phase flow, heat transfer and solidification. In this paper, the development of a numerical model of the tilt-casting process is presented featuring several novel algorithm developments introduced into a general CFD package (PHYSICA) to model the complex dynamic interaction of the liquid metal and melting atmosphere. These developments relate to the front tracking and heat transfer representations and to a casting-specific adaptation of the turbulence model to account for an advancing solid front. Calculations have been performed for a 0.4 m long turbine blade cast in a titanium aluminide alloy using different mould designs. It is shown that the feeder/basin configuration has a crucial influence on the casting quality. The computational results are validated against actual castings and are used to support an experimental programme. Although fluid flow and heat transfer are inseparable in a casting, the emphasis in this paper will be on the fluid dynamics of mould filling and its influence on cast quality rather than heat transfer and solidification which has been reported elsewhere.     

符号在品牌传播中的研究及其运用

从品牌战略管理的高度出发,阐述了品牌传播符号语意的重要作用、常用方法以及要注意的问题,并以哈雷摩托为例进行了分析。     

集成编、译码器在水位检测中的应用

本文将水的导电特性与集成编、译码技术结合讨论了集成编、译码器MC145026、MC145028在水位数字化检测领域中的应用原理。对该系统的结构、特点和工作原理作了较详细的介绍。