计算机软件与理论(二级学科)培养的学生具有扎实的计算机软件基本理论和较全面的专业知识,在软件建模理论与方法等方向中的某些领域有较深入的研究。该二级学科设1个研究方向:
软件建模理论与方法——主要研究软件建模语言与方法、模型驱动程序设计理论与方法、软件模型重构理论与方法、软件模式与构件重用技术、软件模型再工程技术、模型驱动软件开发方法及其支撑工具与环境。
软件测试理论与方法——主要研究现代软件测试的基本理论与测试方法,包括1)软件测试模型与软件测试环境的构建理论与方法;2)研究面向专用领域的自动化软件测试工具的设计与开发方法。