-
公开(公告)号：CN104461617A
公开(公告)日：2015-03-25
申请号：CN201410681907.9
申请日：2014-11-24
Applicant: 北京信息控制研究所
Abstract: 本发明公开了一种实时操作系统VxWorks的剪裁方法，包括：一、组件级剪裁，利用操作系统工具，对操作系统不需要的组件进行剪裁；二、文件级剪裁，梳理Makefile文件，将不需要保留的文件及未被编译的文件进行剪裁；三、函数级剪裁，分析每个函数的调用与被调用关系，将未被调用的函数进行剪裁；四、语句级剪裁，通过代码走查和分析，将不需要的代码进行剪裁。本发明能够解决操作系统剪裁不完全，有冗余代码产生的问题，同时还能提高系统的安全性和可靠性。
-
公开(公告)号：CN103593287B
公开(公告)日：2016-08-17
申请号：CN201310524293.9
申请日：2013-10-30
Applicant: 北京信息控制研究所
Abstract: 本发明公开了一种基于遗传算法的数据流测试用例自动生成方法。目前基于遗传算法的数据流测试用例自动生成技术中，遗传算法的交叉、变异点随机选取在个体基因中的任意位置，产生优良基因的同时也存在破坏已有优良基因的可能；子代种群的个体最大适应度值无论是否大于父代的个体最大适应度值，都向下继续遗传，延长了迭代过程。本发明在计算适应度函数时找到不满足目标路径的具体分支，利用该分支的结构信息约束遗传算法交叉、变异操作的范围，同时通过比较子代与父代种群中个体的最大适应度值，抛弃那些低于父代适应度值的子代，从而确保了优良基因的传递，降低了迭代次数，提高了计算效率。
-
公开(公告)号：CN103593287A
公开(公告)日：2014-02-19
申请号：CN201310524293.9
申请日：2013-10-30
Applicant: 北京信息控制研究所
Abstract: 本发明公开了一种基于遗传算法的数据流测试用例自动生成方法。目前基于遗传算法的数据流测试用例自动生成技术中，遗传算法的交叉、变异点随机选取在个体基因中的任意位置，产生优良基因的同时也存在破坏已有优良基因的可能；子代种群的个体最大适应度值无论是否大于父代的个体最大适应度值，都向下继续遗传，延长了迭代过程。本发明在计算适应度函数时找到不满足目标路径的具体分支，利用该分支的结构信息约束遗传算法交叉、变异操作的范围，同时通过比较子代与父代种群中个体的最大适应度值，抛弃那些低于父代适应度值的子代，从而确保了优良基因的传递，降低了迭代次数，提高了计算效率。
-
-
Search Results
3
records
(took 0.02 seconds)
