随着计算机教育的不断发展,程序设计教学作为计算机基础科学教育的核心课程正在受到越来越多的重视。近些年来,国际大学生程序设计竞赛(ACM International Collegiate Programming Contest,简称ACM/ICPC)的普及激发了学生学习程序设计的极大兴趣,越来越多的高校学生投身于该项比赛中,许多学校也把ACM/ICPC的竞赛模式引入到日常教学中。在日常的教育教学中,程序设计题目往往被放到网络中供学生下载训练,而针对这些题目的解答代码则是通过基于网络环境的在线判题系统提交的。随着在线训练的普及,网络中有越来越多的程序设计题目可供训练,通过训练系统提交的用以解答对应题目的代码也越来越多。然而,这些题目并没有被很好地有效组织来用于程序设计教学。老师可能希望能够把这些题目组成一个个单元,每个单元里面都包含几个题目并且所有这些题目都使用到相同的知识概念。同时,老师也希望能够从已有的解题代码中获得解答对应题目所需要的知识和不同的解题方法,为更好地进行有针对性的教学提供指导并为个性化在线训练系统提供支持。为了获得解答某个题目的不同解题方法中的知识并将程序设计题目划分为不同的知识单元,本文结合国家自然科学基金项目“网络知识互联结构自主发育模型研究”,提出了一种基于形式概念分析的方法来获得主流解题知识和程序设计知识单元。首先,通过对同一题目的不同解题代码进行分析,获得解答题目所需要的主流解题知识；然后,利用获得的不同题目的主流知识集合作为题目的解题特征,构建形式背景,运用形式概念分析构建概念格,最后从概念格中挖掘出的知识单元。