用模型检验产生安全性质的测试

摘要： 安全关键系统必须满足规定的安全性质. 测试生成通常独立于给定性质,“先验证再测试”的方法不能保证安全性质被测试. 为此,该文提出了一种基于输入-输出标记迁移系统的安全性质测试方法. 用输出变异建立被测实现的输出-完全模型,通过发现危险迹产生测试用例. 给出了基于图结构覆盖的安全性质测试准则,提出了形式化测试准则的方法. 使用模型检验器NuSMV检验输出-完全模型可产生既满足结构覆盖又与安全性质相关的测试用例.     

Z规格说明的测试用例自动生成

软件测试是软件质量保证的重要手段,测试用例的生成是软件测试的关键和难点.文中应用范畴划分测试方法产生测试框架,并引入线性规划模型,通过构造线性规划模型来实例化测试框架,并且较好地解决了测试框架是否可行的判断问题.同时结合票据计算的例子,探讨了从Z规格说明推导出测试用例的过程、方法和技术.     

基于Petri网的虚拟仪器软件评测研究

评测虚拟仪器的软件是研发虚拟仪器的重要工作内容,直接关系到虚拟仪器功能、性能、测量精度等的稳定性、可靠性、可信度.现有的基于UML构件测试模型等多种评测方法各有优缺点.该文探讨基于Petri网模型的虚拟仪器的软件评测方法,该方法根据例用组合虚拟仪器中功能模块之间的关系建立相应的Petri网模型,然后依据Petri网模型生成测试用例,辨识在测试用例作用下相关功能模块输出的结果是否符合要求.试验结果表明,该方法具有评测结果可信度高,测试用例生成方便,测试用例选择判据充分性好,可应用于设计通用组合虚拟仪器软件评测系统.     

基于UML Statecharts面向对象软件的测试框架

直接从含有层次和并发结构的UML statecharts图产生面向对象软件类的测试用例是比较困难的,文中提出了基于UML statecharts图的测试框架:先利用现有的UML工具画出UML statecharts图,并产生XMI(XML metadatainterchange)格式的规格说明文件;然后根据UML statecharts的形式化语义,层次和并发结构被展平,将UML statecharts图的规格说明XML文件转换成FREE(flattened regular expression)模型的规格说明信息;最后根据FREE模型的规格说明信息,按照不同的充分性测试准则,分别产生测试用例集.同时提出了由FREE模型根据全ZOT路径覆盖准则产生有限迁移序列的算法,并且还实现了这个测试框架.     

基于遗传算法的多路径测试数据自动生成

遗传算法作为现在启发式搜索算法的理论和实验基础,在测试数据生成方面显示出较大的优越性。由于适应度函数设计是应用遗传算法进行测试数据生成的效率的关键,因此本文综合考虑现有适应度设计的因素,设计出一种新的基于遗传算法的多路径算法。该方法是首先设计一种衡量两条路径相似度的算法,然后在此基础上设计了一个针对多路径的算法。通过与现有方法的生成效率进行比较发现:对于基于遗传算法的测试数据生成问题,该方法的测试生成效率有较大提高。     

高效率多维离散分布随机数生成算法

多维离散随机数在进行计算机仿真中具有重要作用,一般计算机高级语言通常只能给出一维离散随机数,无法满足计算机仿真和实验的需要,如何生成多维离散随机数的研究未见报道,因此提出如何通过均匀分布随机数获得服从任意多维离散概率分布随机数生成的理论和方法,较好的解决了这一问题.     

基于GUI的测试用例设计与案例分析

<正>对于GUI(图形用户界面)软件测试,即使能通过一定的覆盖准则使测试集中到GUI的某个部分,但是由于测试用例状态空间巨大,要为所有这些选定的部分产生测试用例也不太现实。如何产生大小合适的GUI测试用例集,使测试用例能尽可能覆盖所有GUI对象的不同情况,是当前人们普遍关注的一个问题。本文,笔者结     

利用迭代矩阵寻找网络中的关键主机

网络中的关键主机对网络的整体安全性有重大影响,但目前缺少有效方法在网络中寻找关键主机. 该文对网络关键主机进行定义和分类,提出一种关键主机的寻找方法. 将主机攻击图生成算法与迭代矩阵相结合,计算网络中各主机的相关安全属性并排序,使网络安全管理员能方便而有效地找出网络中的3 类关键主机及对应的关 键临界条件,从而采取相应措施保护关键主机. 实验表明该方法可用于网络安全性分析,对提升网络整体安全性有重要意义.     

基于粗集的ID3算法研究

决策树是数据挖掘任务中分类的常用方法,ID3算法是经典的决策树生成算法,它的核心是通过计算各个属性的信息熵来确定最好的分枝结点.给出一种用粗集的方法计算信息熵,应用ID3算法来生成决策树.     

基于FPGA的高速任意分布伪随机数发生器

舍选法是广泛应用的基于均匀分布产生任意分布随机数序列的方法. 文中针对舍选法接受效率低的缺点提出一种改进方案,将舍选法中本该舍弃的样本通过映射转换成可接受的样本,提高了接受效率. 根据改进的舍选法设计了一种任意分布的伪随机数发生器,利用线性反馈移位寄存器产生均匀分布随机数序列,在此基础上运用改进舍选法产生任意分布随机数,并在现场可编程门阵列（field programmable gate array,FPGA）上实现. 对不同分布的实验结果表明,该设计具有输出效率高、通用性强的优点.