运用点集拓扑学知识分析C语言在语法方面对变量不做边界长度检查存在的缺陷是一种新的方法。文章基于拓扑空间连续性对C语言字符串函数的缺陷进行分析,根据点集拓扑学定义证明了以字符数组存储的字符为元素所构成的集合在给定的子集族下是一个拓扑空间;将字符串函数抽象定义为一个映射,在代码没有缺陷的情况下证明该映射是一个连续映射,在不能够保证定义映射是连续映射的情况下说明代码是存在缺陷的。通过拓扑空间的连续性可以判断代码存在缺陷,从而促进编程人员改进代码,编写更好的编程语言。
科研之友
微信
新浪微博
Facebook
分享链接
