群智软件理念在计算机程序设计课程中的应用探讨

摘 要：本文以理念发展的规律为启发，讨论了对群智软件理念的认识，进一步结合目前高校中计算机程序设计课程实施现状，分别从教师的教学活动以及学生的学习实践两个方面，探讨了群智软件理念如何以高校教育活动为载体，融入到具体的课程教学与学习过程中，以使得群智软件理念的内涵得到完善和拓展，并让这一理念体现出更具体的现实意义。

一种理念的出现和更新，对于事物的发展而言总会潜藏着一些不容忽视的转机，可以帮助人们从不同的视角去审视社会活动中出现的某些问题和困惑，并在参与人的潜意识中构建起更加完善的思维方式，进而从多个方面影响或帮助人们改善正在进行的一系列相关的实践活动。与软件领域相关的知识完善过程似乎也印证了理念所能够给实践活动带来深刻变化的这一发展规律。这些变化不论从工程实践和教育活动，还是从经济行为和政法体系等多个方面来看，都有着具体的体现。对于一名高校教育工作者而言，会更密切关注和思考的是，软件理念的变革将可能会给教育教学活动产生怎样的转变呢？现如今，随着群智软件理念的出现和不断被接受，越来越多的高校教育者认为，有必要探讨群智软件理念将如何对我们的高校计算机程序设计课程产生影响，以及探讨如何顺应这些影响以乐观积极的态度去把群智软件理念融入到具体的教育教学与学习实践应用中。
1 探识群智软件
大量软件系统的源码及其文档在互联网上早已经历了长期的积累和沉淀，伴随着计算机软件开放化和开源化的日益深化，逐渐形成了凝聚无数软件人智慧的软件成长大数据。如何利用这些大数据指导新软件的设计及实现，形成良性的软件系统新生态，已然成为软件人共同探讨的热题[1]。有部分观点认为，在程序代码设计中加入人工智能算法理念，便可以得到普遍认可和适用的群智软件系统。这样的观点突出了群智软件系统一部分应该具有的特征，就是利用人工智能的方法和思维，去挖掘出已有源程序中的设计智慧。但是光做到这一点，离我们理想中的群智软件系统还是有很大差距。
群智软件的编码设计应该可以从大量的代码自学习中找到与需求问题相匹配的最优程序片段或模块，并能够将这些片段或模块在明确的目标指数下进行恰当的融合，以适应复杂软件系统的设计、应用及演化需求[2]。为达成这一目标，就需要在群智软件设计中，通过代码搜索引擎，利用数据挖掘的技术，从开源开放的代码资源库中找到与搜索目标匹配度最高的代码片段，并将这些代码片段移植于适当的代码执行部件中，进行相应的验证，包括进行逻辑正确性验证、资源利用性能验证、非功能属性验证和环境交互能力验证等。对于规模较大的群智软件系统而言，还需要利用模型验证、形式化验证等技术对程序的执行过程和结