计算机编程领域自动证据检测的知识推断

A. Porfirio, Roberto Pereira, Eleandro Maschio
{"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)
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
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)
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Criança Protegida: um jogo para prevenir a violência sexual contra crianças Ensinando com jogos ou jogando com o ensino: a visão da comunidade brasileira de Informática na Educação sobre jogos no ensino de matemática Inferência de Conhecimento a Partir da Detecção Automática de Evidências no Domínio da Programação de Computadores Ensino de Algoritmos e Lógica de Programação para os Diferentes Cursos: Um Mapeamento Sistemático da Literatura Identificação do Estilo de Aprendizagem utilizando o Modelo LV como auxílio para personalização de Sistemas Tutores Inteligentes
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1