专业介绍
专业名称: | 软件工程 |
专业介绍: |
本学科紧跟计算机科学与技术和软件工程的发展步伐,不断探索软件工程的新理论和新方法。主要研究如何用工程化方法构建和维护有效的、实用的和高质量的软件。本学科主要在基于群体智能算法的测试用例生成和约简、组合测试优化、软件测试数据挖掘、缺陷定位与修复、软件质量评估模型与方法等方面展开相关理论、工具的研究与应用;研究Linux内核、操作系统安全、面向服务的体系架构、服务虚拟化、服务组合、云存储等相关的理论技术与应用;在基于时序逻辑的形式化验证理论、可视化规约技术、自动代码修复技术、程序行为分析、面向目标代码的软件抄袭检测方法等方面开展理论、工具的研究与应用。本学科以原信息产业部重点实验室“软件工程实验室”、陕西省信息化与工业化融合创新研究中心、陕西省高性能计算研究中心等省部级科研平台为支撑,与中兴、华为、英特尔、IBM、谷歌等国内外知名企业建立了研究生校内联合实验室与校外实践基地,在通信专用软件的研究与开发、可信软件技术与应用、分布与并行计算、移动终端应用软件开发与测试技术、中间件技术与物联网应用软件开发等方面形成了稳定的研究方向和科研团队。 主要研究方向为:软件质量保证与测试,软件服务技术与应用,可信软件技术与应用等。
|