期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于模糊测试生成多样化的数据库隔离级别测试案例
被引量：
4
1
作者
卢皙钰
刘维
+2 位作者
翁思扬
李可强
张蓉
《华东师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2023年第5期51-64,共14页
在现代信息系统中,数据库管理系统扮演着至关重要的角色.隔离级别测试对数据库管理系统而言具有重要意义,它确保并发操作的隔离性和数据的一致性,从而防止数据损坏和安全风险的发生,并为用户提供可靠的数据访问保障.模糊测试是一种广泛...
在现代信息系统中,数据库管理系统扮演着至关重要的角色.隔离级别测试对数据库管理系统而言具有重要意义,它确保并发操作的隔离性和数据的一致性,从而防止数据损坏和安全风险的发生,并为用户提供可靠的数据访问保障.模糊测试是一种广泛应用于软件和系统测试的方法,通过搜索测试空间并生成多样化的测试案例,探索系统的边界条件、异常情况和潜在问题,以发现可能的漏洞.本文介绍了针对数据库隔离级别进行模糊测试的工具SilverBlade,旨在提升生成测试案例的多样性,深入探索隔离级别测试空间.为了有效搜索庞大的测试空间,设计了结构化的测试输入结构,将测试空间拆分成并发事务组合和并发事务执行交互模式两个子空间进行搜索.为了更全面地测试隔离级别核心实现测试空间,还设计了基于深度和广度的自适应搜索方式,用于有效变异测试案例.实验结果表明, SilverBlade能够生成多样性的测试案例,并能够在流行的数据库管理系统PostgreSQL中更广泛地覆盖数据库隔离级别核心实现代码.与对比工具相比, SilverBlade在提高隔离级别关键区域的测试覆盖率方面表现更佳.
展开更多
关键词
模糊测试
多样性测试案例
隔离级别
并发事务
数据库管理系统
在线阅读
下载PDF
职称材料
基于隔离域的事务工作流并发控制
被引量：
3
2
作者
郝丽波
李建华
《计算机工程与设计》
CSCD
北大核心
2008年第1期199-202,共4页
事务工作流系统中存在多个流程的多个实例同时并发执行的情况,所以多个活动同时访问共享资源时出现访问冲突。为保证流程的正确执行和提高活动的并发度,基于事务的隔离性特征,提出了隔离域的概念和相关属性,并在建模阶段采用业务流程和...
事务工作流系统中存在多个流程的多个实例同时并发执行的情况,所以多个活动同时访问共享资源时出现访问冲突。为保证流程的正确执行和提高活动的并发度,基于事务的隔离性特征,提出了隔离域的概念和相关属性,并在建模阶段采用业务流程和事务需求分开定制的方式,通过设置隔离域的隔离属性来控制各流程实例并发活动的执行,并且给出了基于隔离域的并发控制算法,从而有效地提高了流程和活动的并发度,并避免丢失修改等现象的发生。
展开更多
关键词
事务工作流
并发
隔离
隔离
域
隔离级别
在线阅读
下载PDF
职称材料
分布式数据库多级一致性统一建模理论研究
被引量：
4
3
作者
水治禹
卢卫
+3 位作者
赵展浩
何粤阳
张孝
杜小勇
《软件学报》
EI
CSCD
北大核心
2023年第5期2392-2412,共21页
分布式数据库系统出现了支持多协调器和多副本存储的新架构,这给事务调度的正确性带来了新的挑战,包括缺少中心协调器带来的新数据异常以及多副本机制带来的读取数据一致性等问题.基于事务隔离级别和分布式系统一致性协议的定义,为多协...
分布式数据库系统出现了支持多协调器和多副本存储的新架构,这给事务调度的正确性带来了新的挑战,包括缺少中心协调器带来的新数据异常以及多副本机制带来的读取数据一致性等问题.基于事务隔离级别和分布式系统一致性协议的定义,为多协调器多副本分布式数据库的事务多级一致性构建了一个混合依赖图模型.该形式化模型为事务的正确调度提供具有鲁棒性的评价标准,可以方便地对数据库事务调度情况进行动态或静态分析检验.
展开更多
关键词
分布式数据库
一致性
隔离级别
混合依赖图
在线阅读
下载PDF
职称材料
题名
基于模糊测试生成多样化的数据库隔离级别测试案例
被引量：
4
1
作者
卢皙钰
刘维
翁思扬
李可强
张蓉
机构
华东师范大学数据科学与工程学院
工业和信息化部电子第五研究所
出处
《华东师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2023年第5期51-64,共14页
基金
国家自然科学基金(62072179)
基础软硬件性能与可靠性测评工业和信息化部重点实验室开放课题
面向OLTP数据库的功能测试合作项目。
文摘
在现代信息系统中,数据库管理系统扮演着至关重要的角色.隔离级别测试对数据库管理系统而言具有重要意义,它确保并发操作的隔离性和数据的一致性,从而防止数据损坏和安全风险的发生,并为用户提供可靠的数据访问保障.模糊测试是一种广泛应用于软件和系统测试的方法,通过搜索测试空间并生成多样化的测试案例,探索系统的边界条件、异常情况和潜在问题,以发现可能的漏洞.本文介绍了针对数据库隔离级别进行模糊测试的工具SilverBlade,旨在提升生成测试案例的多样性,深入探索隔离级别测试空间.为了有效搜索庞大的测试空间,设计了结构化的测试输入结构,将测试空间拆分成并发事务组合和并发事务执行交互模式两个子空间进行搜索.为了更全面地测试隔离级别核心实现测试空间,还设计了基于深度和广度的自适应搜索方式,用于有效变异测试案例.实验结果表明, SilverBlade能够生成多样性的测试案例,并能够在流行的数据库管理系统PostgreSQL中更广泛地覆盖数据库隔离级别核心实现代码.与对比工具相比, SilverBlade在提高隔离级别关键区域的测试覆盖率方面表现更佳.
关键词
模糊测试
多样性测试案例
隔离级别
并发事务
数据库管理系统
Keywords
fuzzy testing
diversity test cases
isolation level
concurrent transaction
database management system
分类号
TP392 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于隔离域的事务工作流并发控制
被引量：
3
2
作者
郝丽波
李建华
机构
中南大学信息科学与工程学院
出处
《计算机工程与设计》
CSCD
北大核心
2008年第1期199-202,共4页
文摘
事务工作流系统中存在多个流程的多个实例同时并发执行的情况,所以多个活动同时访问共享资源时出现访问冲突。为保证流程的正确执行和提高活动的并发度,基于事务的隔离性特征,提出了隔离域的概念和相关属性,并在建模阶段采用业务流程和事务需求分开定制的方式,通过设置隔离域的隔离属性来控制各流程实例并发活动的执行,并且给出了基于隔离域的并发控制算法,从而有效地提高了流程和活动的并发度,并避免丢失修改等现象的发生。
关键词
事务工作流
并发
隔离
隔离
域
隔离级别
Keywords
transactional workflow
concurrency
isolation
isolation spheres
isolation level
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
分布式数据库多级一致性统一建模理论研究
被引量：
4
3
作者
水治禹
卢卫
赵展浩
何粤阳
张孝
杜小勇
机构
数据工程与知识工程教育部重点实验室(中国人民大学)
中国人民大学信息学院
出处
《软件学报》
EI
CSCD
北大核心
2023年第5期2392-2412,共21页
基金
国家自然科学基金(61972403,61732014)
中央高校基本科研业务费专项资金(20XNLG22)
中国人民大学-腾讯联合实验室联合项目基金。
文摘
分布式数据库系统出现了支持多协调器和多副本存储的新架构,这给事务调度的正确性带来了新的挑战,包括缺少中心协调器带来的新数据异常以及多副本机制带来的读取数据一致性等问题.基于事务隔离级别和分布式系统一致性协议的定义,为多协调器多副本分布式数据库的事务多级一致性构建了一个混合依赖图模型.该形式化模型为事务的正确调度提供具有鲁棒性的评价标准,可以方便地对数据库事务调度情况进行动态或静态分析检验.
关键词
分布式数据库
一致性
隔离级别
混合依赖图
Keywords
distributed database
consistency
isolation levels
hybrid dependency graph
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于模糊测试生成多样化的数据库隔离级别测试案例
卢皙钰
刘维
翁思扬
李可强
张蓉
《华东师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2023
4
在线阅读
下载PDF
职称材料
2
基于隔离域的事务工作流并发控制
郝丽波
李建华
《计算机工程与设计》
CSCD
北大核心
2008
3
在线阅读
下载PDF
职称材料
3
分布式数据库多级一致性统一建模理论研究
水治禹
卢卫
赵展浩
何粤阳
张孝
杜小勇
《软件学报》
EI
CSCD
北大核心
2023
4
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
