咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >利用动态切片方法评价C语言程序 收藏

利用动态切片方法评价C语言程序

Using Dynamic Slice Method To Assess C-language Program

作     者:阎萍 YAN Ping

作者机构:赣南师范大学数学与计算机科学学院江西赣州341000 

出 版 物:《电脑知识与技术》 (Computer Knowledge and Technology)

年 卷 期:2017年第13卷第11期

页      面:278-281页

学科分类:08[工学] 0812[工学-计算机科学与技术(可授工学、理学学位)] 081202[工学-计算机软件与理论] 

基  金:2015年赣南师范学院教学改革研究课题资助(项目编号:60) 

主  题:C语言 动态切片 执行点 执行历史 

摘      要:针对C语言程序的评价问题,给出了执行点和执行历史相关概念的描述,讨论了执行点之间的关系,给出了关于单变量和执行点的动态切片的定义,在此基础上,给出了关于输入输出变量集和执行历史的动态切片的计算公式以及相应的程序评分方法,并通过一个实例给出了计算过程。

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分