非函数依赖相关论文
迄今为止,计算机软件系统虽然仅仅只有短短的几十年历史,但是已经成为最广泛、最重要的应用系统之一。从而软件的质量成为人们目前......
不变量的检测是提高软件质量的一种有效方法。针对传统静态检测方法可能带来无效的不变量、缺失不变量等缺陷,文中提出一种以抽象......
讨论了程序不变量的内涵，研究并建立了程序不变量动态生成系统的理论模型。在该模型中，针对非函数依赖程序不变量动态生成理论、方法......
文章对函数依赖程序不变量和简单非函数依赖程序不变量动态生成理论、方法和技术进行了阐述,提出了一种新的简单非函数依赖程序不......
