非函数依赖程序不变量动态检测技术研究

• 作者: 刘树锟 阳小华 陈继锋
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 程序不变量 非函数依赖 动态检测 软件质量 条件查询
• 年，卷（期）: 2008,（35）
• 所属期刊栏目: 数据库、信号与信息处理
• 页码范围: 158-162
• 页数: 5页
• 分类号: TP311
• 字数: 6740字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2008.35.048

摘要

讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型.在该模型中,针对非函数依赖程序不变量动态生成理论、方法和技术进行了阐述.基于数据库的理论提出了一种新的非函数依赖程序不变量动态检测技术,针对各种常见非函数依赖程序不变量类型建立了一系列检测方法.此不变量检测技术通过数据库中提供的SQL条件查询功能,灵活地检测各种常见类型的非函数依赖程序不变量,并且可以根据用户的实际需要随时指定新的程序不变量查询条件.该方法和Daikon等现有的程序不变量检测工具检测方法比较具有明显的特色和优势:第一,基于关系数据库技术,具有良好的可扩展性;第二,使用SQL条件查询功能实现非函数依赖程序不变量检测,检测方法具有很好的灵活性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	阳小华	南华大学计算机科学与技术学院	160	821	14.0	22.0
2	陈继锋	湖南涉外经济学院计算机科学与技术学部	16	28	3.0	4.0
4	刘树锟	湖南涉外经济学院计算机科学与技术学部	15	50	3.0	6.0