-
题名软件工程任务驱动教学模式的探索与构建
被引量：20
- 1
-
-
作者
杨志耘
刘建宾
-
机构
汕头大学
汕头大学
-
出处
《高等理科教育》
CSSCI
2005年第6期59-62,共4页
-
文摘
软件工程任务驱动教学模式是一种以软件开发任务来驱动软件工程教学的方法、过程和环境.近年来,我们将建构主义教学设计理论引入计算机本科软件专业课教学实际,在广东省优秀课程'软件工程'教学中推行任务驱动教学方法,通过编写出版新教材、研制配套课件和专题学习网站,构建软件工程任务驱动教学环境,取得良好效果.本文主要对软件工程任务驱动教学方法、教学过程和活动,以及环境构建方面的问题进行论述和总结.
-
关键词
任务驱动
教学模式
软件工程
教学方法
-
分类号
TP3-4
[自动化与计算机技术—计算机科学与技术]
-
-
题名基于流形鸽群优化的智能合约重入性漏洞检测方法研究
被引量：2
- 2
-
-
作者
刘方青
黄翰
向毅
郝志峰
-
机构
华南理工大学软件学院
汕头大学计算机学院
广东工业大学计算机学院
-
出处
《中国科学：技术科学》
EI
CSCD
北大核心
2023年第11期1922-1938,共17页
-
基金
国家自然科学基金项目(批准号:61772225,61876207)
广州科技项目(编号:201802010007)
广东省重点领域研发计划(编号:2018B010109003)资助。
-
文摘
重入性漏洞在智能合约中普遍存在,可能造成巨大的经济损失.现有的基于符号执行的静态分析工具通过预设的规则判断漏洞是否存在,然而预设规则不全面可能会导致重入性漏洞的误报.为了避免误报,本研究尝试从软件测试用例生成的动态分析角度解决这一难题.本文将该应用场景抽象为存在重入性循环路径的路径覆盖测试用例自动生成问题,通过生成并执行覆盖重入性循环路径的测试用例来检测重入性漏洞.以鸽群算法为代表的群体智能算法是求解测试用例生成这类黑盒优化问题的常用方法.鸽群算法在整个决策空间内围绕种群最优解邻域搜索,然而,问题的最优解可能并不在该邻域内,导致路径覆盖率较低.为了提升鸽群算法的路径覆盖率,本文将利用流形启发式算子改进鸽群算法,使其分配更多的算力搜索与优化目标相关的子空间,从而提升鸽群算法求解效率,覆盖重入性循环路径.实验结果显示,改进后的流形鸽群算法能够更加高效地生成覆盖重入性循环路径的测试用例,检测出被测合约的重入性漏洞.与Oyente,Securify和Smartcheck这三个智能合约测试工具相比,本文提出的方法能够有效避免重入性漏洞的误报,在实验的8个被测试智能合约中重入性漏洞识别准确率分别提升12.5%,12.5%和25%.
-
关键词
智能合约
重入性漏洞
鸽群算法
测试用例自动生成
路径覆盖
-
Keywords
smart contract
reentrancy vulnerability detection
pigeon-inspired optimization algorithm
automated test casegeneration
path coverage
-
分类号
TP3
[自动化与计算机技术—计算机科学与技术]
-
