北京航空航天大学计算机学院软件工程研究所
- 作品数:330 被引量:1,691H指数:18
- 相关作者:王守信赫建营高晖樊志强车向东更多>>
- 相关机构:内蒙古农业大学计算机与信息工程学院河北师范大学数学与信息科学学院计算机系河北师范大学数学与信息科学学院更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划中国航空科学基金更多>>
- 相关领域:自动化与计算机技术经济管理文化科学自然科学总论更多>>
- 软件设计阶段的用例切片的合成研究
- 1引言在面向对象(OO)的软件开发方法中,系统构成的基本元素是类,设计的主要任务是找出所涉及的全部类并分配相关的行为。由于系统的各关注点行为在逻辑关系上存在着耦合性,所以在抽象出类时不同的关注点将会涉及共同的类,因此形成...
- 田绪明罗燕京
- 基于动态分析构件接口交互约束建模
- 第三方构件的接口规约通常缺少接口行为语义信息。行为语义信息体现为构件接口方法调用的约束信息,包括这些方法调用的顺序、方法参数值的约束和方法返回值的约束。基于动态分析技术,本文提出一个通过交互追踪提取构件接口交互约束的方法...
- 高静兰雨晴金茂忠郭树行李红娟赵同
- 文献传递
- 基于测试集复用的TTCN-3性能测试
- TTCN-3作为标准化的测试语言,已经广泛应用于多种协议的一致性测试,存在很多可用的功能测试集和适配器。如果对其加以复用以进行性能测试,将提高测试开发的效率。构造了性能测试系统框架,提供了TTCN-3性能测试用例的执行环...
- 邱硕吴际金茂忠
- 关键词:测试用例复用
- 文献传递
- 可视化语言文法形式化描述综述被引量:12
- 2005年
- 可视化是人机交互的主要形式,可视化语言是计算机科学中一个重要研究领域,文法为可视化语言提供了一种有价值的形式化描述方法。本文基于可视化语言的特征,介绍了可视化语言文法形式化描述体系的基本理论,分析了几种典型形式模型,并探讨了当前的主要研究内容和面临的挑战。
- 许红霞张莉
- 关键词:可视化语言文法形式化描述方法计算机科学人机交互
- EJB性能改进研究与实践被引量:10
- 2006年
- EJB是J2EE的核心技术之一,EJB的性能直接影响到J2EE应用的性能。本文研究了优化EJB的具体策略和方法。并结合一个实际的应用来实践如何通过改进EJB的性能来提升整个系统的性能。
- 刘恒
- 关键词:EJBJ2EE
- 增值式企业移动解决方案开发方法研究与实现被引量:1
- 2009年
- 企业对移动解决方案有需求,但是企业原有信息管理系统的存在是实施方案的一大顾虑。针对该现状,提出增值式企业移动解决方案的思想,即在企业原有信息管理系统的基础上附加移动解决方案,既保持原有系统功能,又实现移动运营。进一步通过对增值式企业移动解决方案特征的分析,设计并实现了一个能够自动生成此类方案代码的辅助开发工具。该工具提高了增值式企业移动解决方案的开发效率、降低了对开发人员的技术要求,并在实际应用中获得验证。
- 苑志敏徐红
- 关键词:企业信息管理系统移动计算代码自动生成
- 关于过程改进框架及其关键因素的探讨被引量:10
- 2002年
- 文章在介绍能力成熟度模型(CMM)的产生背景和世界各国CMM评估情况的基础上,根据对CMM研究的体会与实践的经验,提出了以集成的能力成熟度模型(CMMI)为基础、以个体软件过程(PSP)和群组软件过程(TSP)为支持的过程改进框架,并提出了实现过程改进的五个关键因素。这个框架和这些关键因素可以作为组织实现过程改进的一般指南。
- 吴超英
- 关键词:能力成熟度模型个体软件过程软件工程软件开发
- 多模型整合是解决新一代信息化工程过程改进的关键问题
- 近年来,随着信息化应用的进一步深化,出现了云计算、物联网、移动互联网、大数据、智慧城市为特征的新一代信息技术。智慧城市和智能油田都将会逐步采用这些新技术。软件是新一代信息技术的灵魂。信息安全是新一代信息化工程共同要解决的...
- 周伯生
- 关键词:信息化应用软件开发信息安全智慧城市
- 显式并行资源计算结构及其编译优化
- 2005年
- 提出并分析了一种新的基于超长指令字(VLIW)思想的微处理器模型,该模型提供了体系结构可见的处理器内部结果寄存器和数据通路,允许优化编译器进行直接的控制和调度,并依赖编译器保证操作之间的依赖关系,以简化硬件设计并获得更高的时钟频率。基于该目标模型,构造了一个完整的优化编译和模拟环境,提出、分析并实现了相应的软件旁路优化以及集成式的资源分配与指令调度算法。
- 朱凯佳
- 关键词:超长指令字编译器
- 软件构件.产品质量.第2部分:质量度量
- 软件构件 产品质量 第2部分:质量度量
- 关键词:产品质量
- 文献传递