【摘 要】
：
任务关键软件的正确性是信息安全的重要组成部分,并且oracle问题经常制约到此类软件的测试.蜕变测试(MT)能够有效解决此类问题,但现有方法大多需要人为参与,且没有充分考虑程
【机 构】
：
中国信息安全测评中心北京100085
【出 处】
：
第十二届全国软件与应用学术会议(NASAC2012)
论文部分内容阅读
任务关键软件的正确性是信息安全的重要组成部分,并且oracle问题经常制约到此类软件的测试.蜕变测试(MT)能够有效解决此类问题,但现有方法大多需要人为参与,且没有充分考虑程序结构的信息.本文在蜕变关系全路径对覆盖准则(APPCEM)的基础上,结合程序路径分析技术、遗传算法(GA)和蜕变测试,提出了一种自动化的测试方法.实验结果表明使用该方法能够有效地发现程序中的错误.
其他文献
46岁的郝记海出生在石家庄市休门村,1977年他顶替父亲进入石家庄国棉五厂成了一名挡车工。1997年,郝记海下岗了。半年后,妻子所在的工厂也宣布破产。面对双方年老体衰的父母
为提升有源电力滤波器(APF)对补偿电流的跟踪性能,改善APF系统谐波动态补偿效果,本文提出在αβ两相静止坐标下使用并联比例谐振(PR)控制器的控制方法,以实现LCL型APF对指定
关于钱泽滨先生的盆景作品《榆》及其配文《力求以形传神——榆树桩景的创作经过与体会》(本刊97年第1期)和沈福加、曾宪烨两位先生就《榆》的争鸣文章(均发表于本刊今年第7
为克服现有的储能电感器结构复杂、磁通损耗较大、磁压分布不均匀等缺点,本文提出一种用于双向开关电源的“E王E”形耦合电感结构.本结构通过增加磁路气隙的数量,使磁路的磁
传统的有源电力滤波器(APF)实现谐波补偿功能时采用较多的是基于负载电流检测的方法,且使用PI控制器.由于PI控制器无法实现对交流量的无静差跟踪,所以补偿效果有限,而且检测
立秋后,天气逐渐转凉,许多花木又进入生长旺盛时期。莳养好盆花,除应注意继续浇水、松土、除草外,其中更重要的“及时追肥”,以满足它们又一次生长的需要。全面追施肥料对以
燃料电池单相逆变系统的直流侧存在两倍于输出频率的低频电流纹波,该纹波电流会导致燃料电池使用效率降低,使用寿命缩短,甚至还会影响逆变器系统的安全稳定运行.本文针对燃料
柑桔潜叶(虫甲)近几年在我地发生危害严重,笔者对其发生进行了观察和防治。 该虫幼虫潜食叶肉,产生迂回曲折的虫道,内有一条由粪便形成的黑线,受害叶片不卷曲,受害重的叶片
数据缓存是提升动态Web应用性能的重要手段,传统数据缓存方案主要进行数据查询缓存,通常需要开发人员对应用程序进行大量修改并负责缓存失效维护,导致缓存方案的部署成本和维
黄花梨系浙江农业大学用“黄蜜”与“三花梨”杂交育成的砂梨新品种,具有投产期早、丰产稳产、适应性广、抗逆性强等优点。宣汉县胡家区科协与巴蜀名优果树研究所合作,于199