Web应用测试模型研究

本文基于模型驱动测试的思想，提出一种Web应用测试模型WANM（Web Application Navigation Model），用于支持测试用例的设计与自动执行．基于WANM设计的测试用例的描述参照U2TP（UML2．0 Testing Profile）标准，使得测试建模、测试用例生成以及测试执行既紧密联系又相互独立，有助于提高测试的充分性与效室．     

模型驱动的EJB构件测试建模研究

基于对Web系统的特点研究，提出了一个全面测试Web系统的框架．并基于模型驱动的软件测试思想（MDT），重点研究了此框架中的中间业务逻辑层的测试建模方法：定义了一个平台相关的测试模型（硎）——EJB构件测试模型；并给出了对它的模型复原算法和模型一致性检测方法．该测试建模方法，从软件构件的层次，实现了EJB静态结构和动态行为的建模，并通过模型一致性检测实现EJB代码的潜在缺陷检查．这一测试模型将为测试用例和测试数据的生成提供有力的支持．     

本科生科技创新培养模式初探与分析

本科生科技创新能力培养是本科生培养的一个重要方面,在国家大力提倡科技创新的背景下,加强本科生科技创新具有重要的意义。本文结合北京航空航天大学的特点,基于作者近三年来的本科生科技创新培养实践,提出了一种便于操作和有效的科技创新培养模式。     

基于应用服务器的防汛指挥系统框架设计研究

在分析国内防汛指挥系统建设成果的基础上,以淮安防汛指挥系统设计为具体实例,针对地市级防汛指挥决策支持系统的业务逻辑分工和应用特点,提出一个基于应用服务器的地市级防汛指挥系统总体框架。     

地下工程通风效果数值模拟及热舒适性分析

选择某地下工程的指挥大厅为研究对象,建立物理模型,利用Fluent软件模拟地下指挥大厅在不同送风方案下的速度场、温度场分布.根据模拟结果,利用距地1.1 m高度处的速度不均匀系数、温度不均匀系数分析通风效果,并利用人体皮肤温度以及人体热感觉投票分析不同通风方案下的人体热舒适性,对比分析出最佳的通风方案,为大空间地下工程...     

中成药废液中CODs去除的方法研究

中药工业废水通常属于较难处理的高浓度有机污水之一,通常具有组成复杂,有机污染物种类多、浓度高、CODs值高且波动性大。累托石(REC)是一种硅酸盐粘土矿物。有机累托石本身就可以通过交换吸附除去水溶液中的重金属离子,改性以后的吸附能力会大大加强。本项目主要是在Fenton法对中成药废液进行处理的基础上,使用十八烷基三甲基溴化铵改进的累托石对模拟中药废水进行预处理,考察了CODs、色度的变化情况。     

基于多视角卡牌模型的需求缺陷检测

需求来源于不同利益相关方对现实系统的认识和期望。需求获取在整个软件产品的研发过程中至关重要,往往决定着软件产品的质量甚至成败。然而,由于各种复杂因素的影响,获取到的需求中往往存在不完整、不准确甚至冲突等缺陷。需求表达上的二义性、需求描述的不完整和不一致等是最常见的需求缺陷。文中提出一种基于多视角需求获取的卡牌模型和需求缺陷检测规则。在需求获取过程中,特别是在其初期,其能够发现来自各方需求信息中常见的不完整和不一致需求缺陷。最后,通过3组项目案例验证了方法的有效性。     

一种Web应用测试数据生成与组织架构

随着web应用的不断普及,web应用软件的测试越来越重要。本文针对web应用的测试数据生成和组织结构问题,提出了一种元模型驱动的数据池技术,并实现了一个测试数据生成与组织框架。该框架依据web页面上的输入域类型、输入变量的数据类型以及实例化约束条件,支持手工或自动产生测试数据。     

三维芯片制造成本分析

三维芯片由于其集成度高、功耗小、性能好等优点成为未来芯片制造的一种趋势,其制造成本问题成为该技术是否有应用前景的关键。分析了三维芯片的制造成本模型,并通过实验数据得到了三维芯片的成本最优划分方式;然后对多核处理器的二维芯片和三维芯片制造成本进行了对比,证明了在核数较大的情况下三维芯片制造成本的优势,说明三维芯片在未来芯片门数越来越多的情况下有很好的应用前景。     

基于供应商关系系数的航天型号供应商过程激励模型

航天型号供应商是一个庞大的网络体系,涉及到国民经济所有的生产部门和技术领域,对如此庞大复杂的供应商系统进行激励是航天型号管理的主要问题之一.在深入研究航天型号供应商激励难点与重点的基础上,本文提炼了航天型号复杂性、长期性与必要性的供应商激励特征.根据项目组与供应商的关系强度提出了航天型号供应商关系系数的概念及其数学模型,构建了基于供应商关系系数的航天型号供应商过程激励模型,并详细阐述了该激励模型的供应商管理功能.