程序不变量论文
随机测试用例的自动化生成和约简
论文摘要软件作为计算机的灵魂,在国民经济和社会生活等各方面都起着举足轻重的作用。软件质量问题直接影响各行业的正常运作,软件错误轻则给用户带来不便,重则造成巨大经济损失甚至人员伤...逻辑表达式型似然不变量的分析与检测
论文摘要迄今为止,计算机软件系统虽然仅仅只有短短的几十年历史,但是已经成为最广泛、最重要的应用系统之一。从而软件的质量成为人们目前广泛关注、高度重视的热点问题之一。众所周知,基...基于数据库的简单非函数依赖程序不变量动态检测
论文摘要迄今为止,计算机软件系统虽然仅仅只有短短的几十年历史,但是已经成为最广泛、最重要的应用系统之一。从而软件的质量成为人们目前广泛关注、高度重视的热点问题之一。基于合约的程...