论文部分内容阅读
由于软件产品的复杂性,开发出来的软件会存在缺陷。在无法获取软件源代码前提下,要检测出缺陷,就必须对软件进行动态分析,建立软件行为模型。因此本文采用一种基于频率的序列简化算法来简化系统调用序列来提高模型生成效率,并通过实验验证：在确保模型精确性的同时,能大幅缩减软件模型生成时间。
基于系统调用的软件行为模型研究
【摘 要】
：
由于软件产品的复杂性,开发出来的软件会存在缺陷。在无法获取软件源代码前提下,要检测出缺陷,就必须对软件进行动态分析,建立软件行为模型。因此本文采用一种基于频率的序列
【机 构】
：
中国电子科技集团公司电子科学研究院
【出 处】
：
电子技术与软件工程
【发表日期】
：
2016年12期
其他文献
目的探讨合并内踝后丘骨折的Pilon骨折的内固定方法及疗效。方法46例合并内踝后丘的Pilon骨折病人采用胫骨远端前外侧锁定加压钢板+空心螺钉内固定治疗。结果46例均获随访8-1
近期，国务院发布了《关于金融支持经济结构调整和转型升级的指导意见》，提到“进一步发展消费金融，促进消费升级”。另悉，目前银监会正修订消费金融公司试点办法，将扩大消费金融试
近日，人民银行、财政部，教育郎联合发出《关于全面推行普通高中学生资助卡 加强普通高中国家助学金发放临管工作的通知》（以下简称《通知》），决定往全国推广普通高中学生资助K（以下
自1999年发行第一张借记卡以来，中信银行借记卡业务发展迅猛。截至2013年9月底，借记卡累计发卡量达3665万张，借记卡持卡客户2778万人。无论是针对女性客群的香卡、针对中老年客
从信用卡元年至今，信用卡业务在国内已走过10年的发展历程。经历了最初的“跑马圈地”，发卡银行已不再单纯地追求发卡规模，而是更加注重精耕细作，从卡量中要质量，从规模中求效益，并
山东润鲁工程咨询有限公司成立于2014年9月,隶属水发集团,系省管国有独资企业,拥有水利工程施工监理甲级、机电及金属结构设备制造监理乙级、水土保持工程施工监理丙级、山东
随着阵列二极管在电子设备的应用越来越广泛,相应的测试需求、测试效率和测试可靠性要求越来越高。文章介绍了一种基于STS8103A半导体测试仪的阵列二极管连续自动测试装置,阐述了自动测试装置的工作原理,控制电路、测试转换电路、测试夹具的设计思路,以及测试装置的试验验证情况。该装置实现了阵列二极管的批量自动测试,大大提高了测试效率和测试可靠性。
11月18日早上,北京在2020年第一场冬雨的浸润中,显出阵阵寒凉。朝阳门街道活动中心3楼,社会心理服务中心的几名工作人员正在担心:雨雪霏霏,道路湿滑,上午的亲子活动能否如期
杭州的城市管理公共服务平台上线运行已近2年,本文分析了平台的运营成效,并结合互联网发展趋势和平台实际,对今后可能的商业化移动应用运营模式进行一些探索和讨论。
近日，河南省居民健康卡项目在郑州正式启动。当天，有8家银行与河南省卫生厅签约参与健康卡的发放，这意味着，在不久的将来，河南省70007万新农合参保农民将可以方便地持用居民健康卡