北京信息科技大学-软件工程研究中心
Software Engineering Research Center, Beijing Information Science & Technology University
My JSP 'ShowNew.jsp' starting page
科研方向

中心的主要研究方向为软件可视自动化工程技术、软件工程与信息技术标准化、软件建模与模型测试理论与方法、模型驱动软件开发与测试技术等。

(1)软件可视自动化工程技术:主要研究自然动作模式语言、领域特定语言、模式语言变换、模式挖掘与发现,模式匹配,模式扫描与分析、模式验证、语言驱动开发过程等领域的可视自动化理论、方法和支持工具与环境。

(2)软件工程与信息技术标准化:主要研究信息技术领域面向软件产业和国家信息化建设的标准体系、标准化方法和标准化应用。重点探索软件过程标准化的理论、方法、环境和工具,通过制定和实施相关的标准,对软件技术领域实际的或潜在的问题制定统一的工程、设计或技术规范,保障软件的开发质量。

(3)软件建模与模型测试理论与方法:主要研究软件建模语言与方法、模型驱动程序设计理论与方法、软件模型重构理论与方法、软件模式与构件重用方法、软件模型再工程方法、模型驱动软件开发方法;基于软件模型的测试基本理论方法,包括测试用例的设计与生成、单元测试、集成测试等方面的方法;

(4)模型驱动软件开发与测试技术:主要研究模型驱动软件工程过程、软件模型变换与代码生成技术、模型驱动正向、逆向和再工程技术、面向通用和专用领域模型驱动软件开发与测试的支撑工具与环境。