-
题名极小化不可行量函数的Flow Shop变异问题
- 1
-
-
作者
赵传立
张庆灵
唐恒永
-
机构
东北大学理学院
沈阳师范学院数学系
-
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2002年第9期90-93,共4页
-
基金
辽宁省科委自然科研基金资助课题 (9910 70 0 1)
辽宁省教育厅科研基金资助课题 (2 0 2 62 2 5 0 99112 15 5 8)
-
文摘
讨论一类Flowshop的变异问题。在这类变异问题中 ,给定一个截止工期 ,该工期比Flowshop最优调度中的最大完工时间小。讨论的问题是在全部工件的完工时间不超过截止工期的限制下 ,极小化不可行量函数。这类问题与矩阵函数因子分解有着密切联系。基于对问题的分析 ,证明了这一问题等价于单机调度中极小化类似的延迟量函数。推广了已有的结论。
-
关键词
极小化不可行量函数
变异问题
调度问题
FLOW
SHOP
-
Keywords
Scheduling problem
Flow shop
Single machine
-
分类号
O223
[理学—运筹学与控制论]
-
-
题名基于分支函数线性逼近的测试数据自动生成算法
- 2
-
-
作者
胡宇舟
王雷
顾学道
-
机构
天津大学管理学院
清华大学计算机科学与技术博士后流动站
深圳市现代计算机有限有公司博士后科研工作站
-
出处
《计算机应用》
CSCD
北大核心
2008年第B06期250-253,256,共5页
-
文摘
软件测试是保证软件可靠性的一个重要手段。面向路径测试是软件测试中一种重要方法。提出了一种分支函数线性逼近的测试数据自动生成算法。结合赵瑞莲给出的谓词切片算法和程序DUC表达方式以及本文提出的算法,给出了一个基于程序执行的路径测试及测试数据自动生成新算法。由于算法采用DUC表达式,不仅可以从源端判断子路径是否可行,而且有效地降低了不可行路径对算法性能的影响。另外,与现有文献中单纯利用分支函数极小化方法的算法相比,新算法由于有机结合了分支函数线性逼近和极小化方法的长处,因此减少了测试用例的数量,提高了测试效率。
-
关键词
路径测试
测试数据自动生成
谓词切片
线性逼近
分支函数极小化
-
Keywords
path oriented testing
automated test data generation
predicate slice
linear approximation
minimization of branch function
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于选择性冗余的测试数据自动生成算法
被引量：3
- 3
-
-
作者
李军义
李仁发
孙家广
-
机构
湖南大学计算机与通信学院
清华大学软件学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2009年第8期1371-1377,共7页
-
基金
湖南大学校基金项目(20070510)~~
-
文摘
基于选择性冗余思想,提出了一种测试数据自动生成算法.算法首先利用分支函数线性逼近和极小化方法,找出程序中所有可行路径,同时对部分可行路径自动生成适合的初始测试数据集;当利用分支函数线性逼近和极小化方法无法得到正确的测试数据时,基于使得测试数据集最小的原理和选择性冗余思想,针对未被初始测试数据集覆盖的谓词和子路径进行测试数据的增补.由于新算法结合谓词切片和DUC表达式,可以从源端判断子路径是否可行,因此能有效地降低不可行路径对算法性能的影响.算法分析和实验结果表明,该算法有效地减少了测试数据数量,提高了测试性能.
-
关键词
软件测试
测试数据自动生成
选择性冗余
线性逼近
分支函数极小化
-
Keywords
software test
automated test data generation
selective redundancy
linear approximation minimization of branch function
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名测试数据自动生成技术研究
被引量：3
- 4
-
-
作者
伦立军
丁雪梅
李英梅
-
机构
哈尔滨师范大学计算机科学系
-
出处
《计算机工程与应用》
CSCD
北大核心
2006年第16期118-120,共3页
-
基金
黑龙江省教育厅科技项目(编号:10541098)
-
文摘
软件测试分为静态分析、路径选择、测试数据生成和动态分析四个阶段,而测试数据的自动生成是软件测试的关键技术之一。文章通过对被测试程序的分析,提出了生成测试数据的平衡力法,对任意的输入变量,判断变量移动范围及进行谓词中变量的函数极小化,得到测试数据,并给出了具体实现方法。
-
关键词
软件测试
测试数据
平衡力法
函数极小化
-
Keywords
software testing, test data, balance force method, function minimization
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名改进的差分演化算法在测试数据生成中的应用
被引量：3
- 5
-
-
作者
黄小城
王希武
常东升
何刚
-
机构
军械工程学院计算机工程系
中国人民解放军
利民机械厂军代室
-
出处
《计算机应用》
CSCD
北大核心
2009年第6期1722-1724,1754,共4页
-
文摘
针对现有的测试数据生成方法存在的算法复杂、参数设置不易等问题,提出一种基于改进的差分演化算法的软件测试数据自动生成方法。该方法对差分演化算法的操作算子进行改进,解决了差分演化算法生成离散型测试数据的问题。通过具体实验,验证了该方法的可行性和有效性。
-
关键词
软件测试
测试数据生成
差分演化
函数极小化
-
Keywords
software testing
test data generation
Differential Evolution （DE）
function minimization
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于微分进化算法的软件测试数据自动生成
- 6
-
-
作者
黄小城
王希武
米二强
常东升
-
机构
军械工程学院计算机工程系
[
-
出处
《四川兵工学报》
CAS
2009年第3期50-53,共4页
-
文摘
介绍了微分进化算法,并结合函数极小化策略提出了基于微分进化算法的软件测试数据自动生成的方法,进行了实例验证.
-
关键词
软件测试
测试数据
微分进化算法
函数极小化
-
分类号
TP306.2
[自动化与计算机技术—计算机系统结构]
-
