{"title":"计算机编程领域自动证据检测的知识推断","authors":"A. Porfirio, Roberto Pereira, Eleandro Maschio","doi":"10.5753/CBIE.SBIE.2018.1553","DOIUrl":null,"url":null,"abstract":"During the computer programming learning process, the student’s progress is marked by new skills acquisition. The monitoring of this progress, from the teacher’s perspective, can be a complex task when performed from manual perceptions. The situation is even more complex when dealing with a large number of students simultaneously. One way of supporting this activity involves the use of student models, where abilities are mapped in order to facilitate the visualization of the concepts already acquired and the gaps to be completed. The use of this type of tool is beneficial, but it can still need a heavy workload when it requires the model manual feeding, especially because it is necessary to continuously update it. This paper proposes the use of automatic mechanisms, based in source codes analysis, followed by the evidences detection, as inputs for the student model. A set of experiments that demonstrate the viability of the method is presented. The test scenario is composed by a dynamic bayesian network student model and databases of source code in C language. Resumo. Durante o processo de aprendizado de programação de computadores, o progresso dos alunos é marcado pela aquisição de novas habilidades. O acompanhamento desse progresso, na perspectiva do professor, pode ser uma tarefa complexa quando realizada a partir de percepções manuais. A situação se agrava quando se trata do acompanhamento simultâneo de uma grande quantidade de alunos. Uma das formas de apoio a essa atividade envolve o uso de modelos do aprendiz, onde as habilidades do aluno são mapeadas a fim de facilitar a visualização tanto dos conceitos já adquiridos quanto das lacunas a serem preenchidas. O uso desse tipo de ferramenta é benéfico, porém ainda pode exigir uma grande carga de trabalho quando se trata da alimentação manual dos modelos, sobretudo devido à necessidade de atualização contı́nua. Este trabalho propõe o uso de mecanismos automáticos, baseados na análise de códigos-fonte seguida da detecção de evidências, como fonte de alimentação para o modelo do aprendiz. É apresentado um conjunto de experimentos que demonstram a viabilidade do método. Utiliza-se como cenário de testes um modelo de aprendiz baseado em uma rede bayesiana dinâmica e bases de dados de códigos-fonte em linguagem C. DOI: 10.5753/cbie.sbie.2018.1553 1553 Anais do XXIX Simpósio Brasileiro de Informática na Educação (SBIE 2018) VII Congresso Brasileiro de Informática na Educação (CBIE 2018)","PeriodicalId":231173,"journal":{"name":"Anais do XXIX Simpósio Brasileiro de Informática na Educação (SBIE 2018)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Inferência de Conhecimento a Partir da Detecção Automática de Evidências no Domínio da Programação de Computadores\",\"authors\":\"A. Porfirio, Roberto Pereira, Eleandro Maschio\",\"doi\":\"10.5753/CBIE.SBIE.2018.1553\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"During the computer programming learning process, the student’s progress is marked by new skills acquisition. The monitoring of this progress, from the teacher’s perspective, can be a complex task when performed from manual perceptions. The situation is even more complex when dealing with a large number of students simultaneously. One way of supporting this activity involves the use of student models, where abilities are mapped in order to facilitate the visualization of the concepts already acquired and the gaps to be completed. The use of this type of tool is beneficial, but it can still need a heavy workload when it requires the model manual feeding, especially because it is necessary to continuously update it. This paper proposes the use of automatic mechanisms, based in source codes analysis, followed by the evidences detection, as inputs for the student model. A set of experiments that demonstrate the viability of the method is presented. The test scenario is composed by a dynamic bayesian network student model and databases of source code in C language. Resumo. Durante o processo de aprendizado de programação de computadores, o progresso dos alunos é marcado pela aquisição de novas habilidades. O acompanhamento desse progresso, na perspectiva do professor, pode ser uma tarefa complexa quando realizada a partir de percepções manuais. A situação se agrava quando se trata do acompanhamento simultâneo de uma grande quantidade de alunos. Uma das formas de apoio a essa atividade envolve o uso de modelos do aprendiz, onde as habilidades do aluno são mapeadas a fim de facilitar a visualização tanto dos conceitos já adquiridos quanto das lacunas a serem preenchidas. O uso desse tipo de ferramenta é benéfico, porém ainda pode exigir uma grande carga de trabalho quando se trata da alimentação manual dos modelos, sobretudo devido à necessidade de atualização contı́nua. Este trabalho propõe o uso de mecanismos automáticos, baseados na análise de códigos-fonte seguida da detecção de evidências, como fonte de alimentação para o modelo do aprendiz. É apresentado um conjunto de experimentos que demonstram a viabilidade do método. Utiliza-se como cenário de testes um modelo de aprendiz baseado em uma rede bayesiana dinâmica e bases de dados de códigos-fonte em linguagem C. DOI: 10.5753/cbie.sbie.2018.1553 1553 Anais do XXIX Simpósio Brasileiro de Informática na Educação (SBIE 2018) VII Congresso Brasileiro de Informática na Educação (CBIE 2018)\",\"PeriodicalId\":231173,\"journal\":{\"name\":\"Anais do XXIX Simpósio Brasileiro de Informática na Educação (SBIE 2018)\",\"volume\":\"30 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-10-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Anais do XXIX Simpósio Brasileiro de Informática na Educação (SBIE 2018)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5753/CBIE.SBIE.2018.1553\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Anais do XXIX Simpósio Brasileiro de Informática na Educação (SBIE 2018)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5753/CBIE.SBIE.2018.1553","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3
摘要
在计算机编程学习过程中,学生的进步标志着新技能的获得。从教师的角度来看,监控这一进程可能是一项复杂的任务,当从手动感知执行时。当同时处理大量学生时,情况就更加复杂了。支持这一活动的一种方法是使用学生模型,在这种模型中,学生的能力被映射出来,以促进对已经获得的概念和有待完成的差距的可视化。使用这种类型的工具是有益的,但是当它需要模型手动馈送时,它仍然需要繁重的工作量,特别是因为需要不断更新它。本文提出使用基于源代码分析的自动机制,然后是证据检测,作为学生模型的输入。最后给出了一组实验,证明了该方法的可行性。该测试场景由动态贝叶斯网络学生模型和C语言编写的数据库源代码组成。Resumo。程序学习与发展的过程与发展的过程与发展的过程与发展的过程与发展的过程与发展的过程与发展的过程与发展的过程与发展的过程所以说,一个人要有进步,一个人要有进步,一个人要有进步,一个人要有进步,一个人要有进步,一个人要有进步。A situation。从形式上看,它涉及到从形式上看,它涉及到从形式上看,它涉及到从形式上看,它涉及到从形式上看,它涉及到从形式上看,它涉及到从形式上看,它涉及到从形式上看,它涉及到从形式上看,它涉及到从形式上看,它涉及到从形式上看,它涉及到从形式上看,它涉及到从形式上看,它涉及到从形式上看,它涉及到从形式上看,它涉及到从形式上看,它涉及到从形式上看,它涉及到。因此,如果你认为你的工作是为了使你的工作顺利进行,你的工作是为了使你的工作顺利进行,你的工作是为了使你的工作顺利进行,你的工作是为了使你的工作顺利进行,你的工作是为了实现你的工作。Este trabalho propõe o uso de mecismos automáticos, baseados na análise de códigos-fonte seguida da detectional ode evidências, como fonte de alimental o para o modelo do aprendiz。É在实验上的联合演示是可行的。Utiliza-se como cenário de testes um modelo de aprendiz baseado em uma rede bayesiana din mica e bases de dados de códigos-fonte em linguagem C. DOI: 10.5753/ CBIE . SBIE .2018.1553 1553 Anais do XXIX Simpósio Brasileiro de Informática na educa (SBIE 2018)第七届巴西会议Informática na educa (CBIE 2018)
Inferência de Conhecimento a Partir da Detecção Automática de Evidências no Domínio da Programação de Computadores
During the computer programming learning process, the student’s progress is marked by new skills acquisition. The monitoring of this progress, from the teacher’s perspective, can be a complex task when performed from manual perceptions. The situation is even more complex when dealing with a large number of students simultaneously. One way of supporting this activity involves the use of student models, where abilities are mapped in order to facilitate the visualization of the concepts already acquired and the gaps to be completed. The use of this type of tool is beneficial, but it can still need a heavy workload when it requires the model manual feeding, especially because it is necessary to continuously update it. This paper proposes the use of automatic mechanisms, based in source codes analysis, followed by the evidences detection, as inputs for the student model. A set of experiments that demonstrate the viability of the method is presented. The test scenario is composed by a dynamic bayesian network student model and databases of source code in C language. Resumo. Durante o processo de aprendizado de programação de computadores, o progresso dos alunos é marcado pela aquisição de novas habilidades. O acompanhamento desse progresso, na perspectiva do professor, pode ser uma tarefa complexa quando realizada a partir de percepções manuais. A situação se agrava quando se trata do acompanhamento simultâneo de uma grande quantidade de alunos. Uma das formas de apoio a essa atividade envolve o uso de modelos do aprendiz, onde as habilidades do aluno são mapeadas a fim de facilitar a visualização tanto dos conceitos já adquiridos quanto das lacunas a serem preenchidas. O uso desse tipo de ferramenta é benéfico, porém ainda pode exigir uma grande carga de trabalho quando se trata da alimentação manual dos modelos, sobretudo devido à necessidade de atualização contı́nua. Este trabalho propõe o uso de mecanismos automáticos, baseados na análise de códigos-fonte seguida da detecção de evidências, como fonte de alimentação para o modelo do aprendiz. É apresentado um conjunto de experimentos que demonstram a viabilidade do método. Utiliza-se como cenário de testes um modelo de aprendiz baseado em uma rede bayesiana dinâmica e bases de dados de códigos-fonte em linguagem C. DOI: 10.5753/cbie.sbie.2018.1553 1553 Anais do XXIX Simpósio Brasileiro de Informática na Educação (SBIE 2018) VII Congresso Brasileiro de Informática na Educação (CBIE 2018)