检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于约束的主动规则终止性分析

计算机研究与发展 2006年第5期43卷 894-900页

作者：徐贵红张健中国科学院软件研究所计算机科学重点实验室中国科学院研究生院

终止性是主动规则所需的最重要的一个性质,但规则的终止性检查通常是不可判定的.已有的静态分析方法非常保守,SQL3标准也没有提供保证终止的机制,所以商业数据库限制规则级联触发的最大次数确保终止.由于规则可看成数据库状态转换器,而... 详细信息

终止性是主动规则所需的最重要的一个性质,但规则的终止性检查通常是不可判定的.已有的静态分析方法非常保守,SQL3标准也没有提供保证终止的机制,所以商业数据库限制规则级联触发的最大次数确保终止.由于规则可看成数据库状态转换器,而约束能够表示所有可能的数据库状态,基于约束表示的数据库状态及约束求解,模拟规则处理,可得到更精确的终止性结论.

关键词：主动规则终止性数据库状态约束约束求解

在线全文

学校读者我要写书评

暂无评论

数据库系统测试中测试用例的自动规范方法

计算机工程与设计 2009年第15期30卷 3577-3580页

作者：曾明洪玫王卓尹洪冷江四川大学计算机(软件)学院四川成都610065

数据库系统测试用例格式不规范,影响了测试用例的重用。为了解决这一问题,对依据数据库系统测试的特点进行了研究。提出了一个简单的测试用例格式规范,以及能自动规范已有测试用例的算法——用例行为跟踪算法。实现对数据库系统现有测... 详细信息

数据库系统测试用例格式不规范,影响了测试用例的重用。为了解决这一问题,对依据数据库系统测试的特点进行了研究。提出了一个简单的测试用例格式规范,以及能自动规范已有测试用例的算法——用例行为跟踪算法。实现对数据库系统现有测试用例的自动规范,为进一步的测试用例自动生成研究奠定了基础。最后以MySQL的测试框架为实例,验证该算法的可行性。

关键词：软件自动化测试数据库系统测试测试用例规范数据库状态测试用例自动生成

一种新型安全计算机数据库更新机制的设计和实现

在线全文

学校读者我要写书评

暂无评论

一种新型安全计算机数据库更新机制的设计和实现

作者：丁强浙江大学

学位级别：硕士

在航空航天、轨道交通、军事以及能源电力等领域对计算机系统具有很高的可靠性和安全性要求,安全计算机作为一种高安全性、高可靠性设备,正越来越多的被应用在这些领域。安全计算机是通过多系之间的数据表决来保证输入输出的安全性的,... 详细信息

在航空航天、轨道交通、军事以及能源电力等领域对计算机系统具有很高的可靠性和安全性要求,安全计算机作为一种高安全性、高可靠性设备,正越来越多的被应用在这些领域。安全计算机是通过多系之间的数据表决来保证输入输出的安全性的,这对于安全计算机内部的正常数据是没有任何问题的,但是当安全计算机在进行数据库的更新时,由于数据库的数据量非常的大,安全计算机是没办法对数据库数据进行直接表决的,在这个情况下必须采取其它办法来保证数据库更新时系统的安全性。传统的方法是安全计算机多系之间各自进行更新,但这种更新方法无法检测出各系之间数据库版本不一致或者数据库校验失败的情况。如果不直接对数据库进行表决,而是对数据库状态进行表决来代替,就既没有表决数据量过大的问题,也可以对多系之间的数据库版本进行实时比对。采用这种基于数据库状态表决的表决机制可确保安全计算机数据库在线更新的安全性。三取二安全计算机是安全计算机的一种,该安全计算机由三系组成,三系之间通过周期的同步和数据的表决联系起来,本文首先介绍了一种三取二安全计算机的硬件架构,然后对在该硬件架构之上的数据库更新功能进行了需求分析以及软件模块的概要设计和详细设计,之后介绍了数据库更新时所需要用到的协议。软件的设计完成以后需要对该更新机制进行安全性与可靠性的验证。这里使用马尔科夫的模型对该数据库更新机制进行建模和计算。最后在安全计算机的平台上对各种故障注入组合进行测试,统计并总结了测试结果,计算结果表明该数据库更新机制完全能达到安全性与可靠性的要求。论文最后对全文进行总结,并对后续的工作提出一些展望。

关键词：数据库数据库状态安全计算机数据库更新表决马尔科夫故障注入

基于数据依赖的数据库应用系统并行测试技术研究

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于数据依赖的数据库应用系统并行测试技术研究

作者：梁焰湖南大学

学位级别：硕士

软件测试是保证软件质量和可靠性的关键技术手段。近十几年来,随着软件开发技术的发展,软件系统规模的日益扩大,软件的复杂程度越来越高,软件测试变得越来越重要。目前,软件测试已成为研究热点之一,各种针对性的测试方法和技术不断出现... 详细信息

软件测试是保证软件质量和可靠性的关键技术手段。近十几年来,随着软件开发技术的发展,软件系统规模的日益扩大,软件的复杂程度越来越高,软件测试变得越来越重要。目前,软件测试已成为研究热点之一,各种针对性的测试方法和技术不断出现。其中,并行测试技术是把并行技术引入到测试领域中所形成的方法和技术,可以较好地完成同时测试多个被测对象。在计算机应用中约有80%是数据库系统的应用,因此对数据库应用系统的并行测试展开研究,提高测试效率显得尤为重要。数据库应用系统测试区别于传统软件测试的一个重要特征是数据库状态,它在测试用例的执行中扮演了非常重要的角色。测试的输出不仅受输入的影响,同时也受到数据库状态的影响,且测试过程可能改变数据库的状态,因此会导致基于输入/输出的测试评价不准确。当测试失败时,需要通过重置操作将数据库恢复到测试前的状态,然而这个操作非常费时,降低了测试效率。本文针对数据库应用系统测试基于数据状态的特点,通过分析面向对象建模过程中UML类图的各种依赖关系,并将之转化为有向数据依赖图,从而间接获取测试用例之间的依赖关系。在此基础上,本文给出了测试序列优化模型,提出了一种测试用例切片算法,将具有不良数据依赖关系的测试用例序列按照一定的准则进行切片重构,减少因测试失败导致的数据库重置次数。最后,本文在总结数据库应用系统并行测试已有研究成果的基础上,将测试用例切片算法应用到并行测试中,给出了一种基于数据依赖的全模式并行测试框架。算法分析和实验结果表明,该并行测试技术能有效减少数据库状态重置次数,提高测试效率。

关键词：软件测试并行测试数据依赖测试用例切片数据库状态

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

数据库应用系统测试用例序列优化研究

数据库应用系统测试用例序列优化研究

作者：陈涛湖南大学

学位级别：硕士

软件测试在软件的生命周期中扮演着重要的角色,是保证软件质量的重要技术措施,对于查找软件缺陷、保证软件产品质量,提高测试效益具有不可替代的作用。据不完全统计,在计算机应用中,约有80%是数据库系统的应用,数据库应用系统测试一个... 详细信息

软件测试在软件的生命周期中扮演着重要的角色,是保证软件质量的重要技术措施,对于查找软件缺陷、保证软件产品质量,提高测试效益具有不可替代的作用。据不完全统计,在计算机应用中,约有80%是数据库系统的应用,数据库应用系统测试一个典型的特征就是数据库的状态,它可能会随着测试用例的执行发生改变。数据库应用系统的测试用例大多会与数据库中的数据发生交互,从而改变数据库的状态,而数据库的状态被改变后很有可能对下一个测试用例的执行产生影响,导致测试失败,因此,测试用例之间是存在着依赖关系的。当数据库状态发生改变导致后面的测试用例无法继续执行时,需要通过重置操作将数据库恢复到之前的状态,然而这个操作时非常费时的,降低了测试效率。因此,如何解决因测试用例间的依赖关系导致的数据库重置是数据库应用系统测试面临的一个难题。为了解决上述问题,本文给出了一个基于数据库应用系统的测试用例序列优化的方法,具体工作如下:(1)以关系数据库表的操作为单元,对数据库操作间依赖关系产生的原因进行了分析和归纳,并给出一种依赖性识别算法,提取了数据库操作间的依赖关系,再将测试用例映射到具体表的具体操作,依据前面提取的数据库操作间的依赖关系间接地提取测试用例之间的依赖关系。(2)依据前面提取到的测试用例间依赖关系,给出一个测试用例序列优化算法,该算法基于图论的思想,将测试用例集及其依赖关系转化成有向图,通过将测试用例集划分为若干个测试用例切片的方法来打破有向图中可能存在的环路,通过该方法,测试用例间的依赖关系转变成了测试用例切片间的依赖关系,减少了顺序执行测试用例发生的冲突,从而减少了数据库重置的次数。最后,本文在上述的研究基础上,给出了一个基于数据库应用系统的测试用例序列优化框架。通过具体项目实例表明,该框架能够对测试用例序列进行排序优化,有效的避免测试用例之间的依赖关系,减少数据库重置的次数,提高测试效率。

关键词：软件测试数据库状态依赖关系数据库操作测试用例切片

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

双机热备份应用模式数据库解决方案

中国金融电脑 1998年第1期 21-,47页

作者：戎强建设银行江苏省苏州市分行科技处

双机热备份应用模式数据库解决方案建设银行江苏省苏州市分行科技处戎强近年来，随着经济改革的不断深入，银行的各项业务也有了长足发展，计算机应用水平得到迅速的提高。目前，开放平台加客户／服务器的双机热备份应用模式已经被我国... 详细信息

双机热备份应用模式数据库解决方案建设银行江苏省苏州市分行科技处戎强近年来，随着经济改革的不断深入，银行的各项业务也有了长足发展，计算机应用水平得到迅速的提高。目前，开放平台加客户／服务器的双机热备份应用模式已经被我国中小城市银行广泛采用。通常这种应用...

关键词：数据库双机热备份应用模式服务器系统解决方案建设银行应用系统客户/服务器数据备份数据库状态