【摘 要】
：
由于面向对象程序具有多态性等复杂特性,在软件单元测试中仅凭静态分析难以判断指针和引用指向对象的具体类型,为了解决这一问题,对类的抽象内存模型进行研究,并提出类的操作语义模拟算法;在路径分析时,通过构建和更新抽象内存模型,从而对变量所属类的范围进行限定;对于单元测试,对基于输入域的随机测试进行优化,提出基于路径的随机测试方法,得到输入变量的类型集合;实验表明,类的抽象内存模型结合操作语义模拟算法能够
【机 构】
：
北京邮电大学网络与交换技术国家重点实验室
【基金项目】
：
国家自然科学基金项目（U1736110）；
论文部分内容阅读
由于面向对象程序具有多态性等复杂特性,在软件单元测试中仅凭静态分析难以判断指针和引用指向对象的具体类型,为了解决这一问题,对类的抽象内存模型进行研究,并提出类的操作语义模拟算法;在路径分析时,通过构建和更新抽象内存模型,从而对变量所属类的范围进行限定;对于单元测试,对基于输入域的随机测试进行优化,提出基于路径的随机测试方法,得到输入变量的类型集合;实验表明,类的抽象内存模型结合操作语义模拟算法能够有效提取出路径中类相关的约束,基于路径的随机测试方法比起基于输入域的随机测试方法能够明显提高测试效率。
其他文献
基于国家全面实施乡村振兴战略的大背景下,民宿行业具备可观的发展潜力。本文以平潭岛为例,获取携程网、去哪儿网、同程旅行网3个网站上的民宿评论数据,利用ROST Content Mining 6软件对其进行高频词提取并生成语义网络图,通过网络文本分析法研究游客的住宿体验,分析了游客的民宿住宿体验对于满足消费者多样化的住宿需求,进一步提升乡村民宿品质具有重要意义。笔者发现,游客对平潭岛民宿的体验较好,整
在过去的2021年,百货业交出了一份不错的成绩单——虽然行业依然面临多重挑战,但整体业绩转好,部分企业在商品经营和服务体验升级等方面不断取得新突破。中国百货商业协会（以下简称中百协）秘书长杨青松表示,接下来,百货业面临的最大挑战还是自己,如何抓住百货的本质,用心地去经营好人货场,是企业制胜的关键。2021年,百货业整体转好。
历史文化遗产是一座城市的灵魂,见证着城市变迁,维系着民族精神。保护好历史文化遗产,就是保持城市特色个性、传承中华文明、坚定文化自信。每个城市都有自己独特的风情画卷,而彩色城堡便是属于平潭的美丽画卷。青年漆艺艺术家一贤从丰富的传统文化中汲取养分,联系生活实际,用艺术的方式记录着古老而传统的石厝古屋,留下记忆深处的那份乡愁。
随着经济的快速发展和生活节奏的加快,零售业迅速发展起来。其中小型超市由于自身的发展规模等问题很难给员工提供足够的发展平台,因此如何有效激励员工,吸引和保留优秀员工是目前超市行业的一个重要问题。本文将吉家百货超市作为研究对象,发现存在激励形式比较单一、薪酬激励不够完善、员工缺少培训机会等问题,并针对其存在的激励问题提出相应的改进建议。
全媒体新闻报道思路创新决定了主流媒体的产品优势,本文从树立正确的传播观念、以权威性带动新媒体矩阵发展、构建新型采编模式、加强媒体内外合作提高服务性,以及统筹策划创作时代性作品几个方面,探讨了全媒体新闻报道的思考路径。
党和国家高度重视"数字中国"建设,《中华人民共和国国民经济和社会发展第十四个五年规划和2035年远景目标纲要》提出"要迎接数字时代,激活数据要素潜能,推进网络强国建设,加快建设数字经济、数字社会、数字政府,以数字化转型整体驱动生产方式、生活方式和治理方式变革"。在这一背景要求下,以城市超脑为代表的新一代信息基础设施在全面推进城市数字化转型的过程中,
2020年12月21日,国务院新闻办公室发布《新时代的中国能源发展》白皮书（以下简称白皮书）,同时举行新闻发布会,介绍和解读白皮书主要内容。白皮书集中介绍了构建清洁低碳、安全高效能源体系的主要举措和促进脱贫攻坚、改善民生用能的措施成效,旨在让国内外社会深入了解中国在推动能源绿色低碳转型方面付出的艰辛努力,以及为应对全球气候变化和促进能源可持续发展作出的积极贡献。
IBM Watson Knowledge Catalog是数据资产目录功能模块,可以实现数据治理与数字资产管理,帮助业务用户快速发现、管理分类,共享数据资产、数据集、分析模型及其与组织中其他成员的关系。IBM Watson Studio为数据科学家、开发人员和分析人员赋能,支持他们构建、运行和管理AI模型。
香港海岸近日出现罕见"蓝眼泪"奇观,场面奇幻绚丽,让人宛如置身仙境。据悉,"蓝眼泪"是一种夜光海藻现象,俗称海耀,也称夜光虫,为一种在海中生存的非寄生甲藻,能作生物发光。因其随着海浪浮动,又被称为"海上幽灵"或"海上鬼火"。随着海浪被冲上岸,离开海水的"蓝眼泪"最多只能够生存100秒,随着能量的消失,蓝眼泪的光芒失去,生命就此结束。据
"灯塔工厂"并不是企业转型的终点,而是一个从生产网络、端到端价值链、支持性职能等多方面持续改进的过程。对于中国制造业而言,应以"灯塔"为契机,打造更多的"灯塔工厂",建设"灯塔网络",打造"灯塔企业",赋能"灯塔行业",让"灯塔"经验帮助更多的产业实现转型升级,从而推进"灯塔工厂"的数字化转型继续走深做实。