【摘 要】
：
程序分析在软件测试和软件维护方面均有着重要作用。为实现软件程序的自动分析,基于有限自动机理论,提出一种实现软件静态信息识别的程序分析技术,根据程序设计语言的语法规
论文部分内容阅读
程序分析在软件测试和软件维护方面均有着重要作用。为实现软件程序的自动分析,基于有限自动机理论,提出一种实现软件静态信息识别的程序分析技术,根据程序设计语言的语法规则对程序语句进行了分类,针对每类语句设计了对应的识别自动机,在此基础上设计并实现了一个程序分析原型系统。系统应用结果表明,利用这一技术可以有效的提取出程序的控制流和数据流信息,能够为软件质量的定量分析和软件维护工作奠定良好基础。
其他文献
老字号传承与创新的问题可以重新表述为一个更具人类学味道的命题,即文化遗产的资源转化,特别是非物质的文化资源如何成为文化资本而不是标本。这种转化在集中反映中国文化独
曹魏时期兴起的士族地主禀承了东汉世家大族的特性,以大土地所有制、宗族势力、文化优势为基础形成强大的政治势力,并形成“家族本位”的政治原则,在经济上以小农为主要兼并
目的 探讨血浆叶酸、同型半胱氨酸(Hcy)水平及亚甲基四氢叶酸还原酶(MTHFR)基因突变与静脉血栓栓塞症(VTE)的关系及MTHFR基因突变对血浆叶酸、Hcy水平的影响。方法 采用病例
<正> 治疗方药:生山药15克,玄参12克,白术10克,生鸡内金8克,牛蒡子6克(以上为5岁以上小儿用量,5岁以下酌减)。水煎分4次1日服完.服药期间忌寒凉油腻饮食。若伤于喂养或肉食者
随着计算机和网络的普及,老年人的信息素养不断提高。近年来,我国老年网民的数量稳步增长,老年用户逐渐从边缘人群过渡成为有极具增长空间的潜力群体。本文通过链接分析法和
由于我国不符合美国、欧盟等发达国家的市场经济标准,2001年达成的《中国入世议定书》中规定了长达15年的非市场经济待遇期。根据《中国入世议定书》第15条的规定,WTO成员须
细胞色素P450酶系广泛分布于各种生物中,它们通常由一组基因超家族编码并含有血红素,能够催化一系列化学反应,具有多种生物学功能。特别是原核生物P450酶在催化内源性和外源
监测资料整编分析是水库大坝安全管理的重要内容,该业务涉及的数据多、范围广、专业性强,目前主要采用人工方法。但随着大坝安全监测数据采集自动化的快速发展和大坝安全的重
本文观查了玉米单倍性胚性细胞无性系在继代培养十年中的分化再生能力,测定了十年后染色体的倍性,并用t测验和相关系数进行统计分析,结果表明,继代培养十年后,供试的二个单倍
免疫蛋白质组学是蛋白质组学一个相对新颖的概念,该方法在鉴定特异性抗原或抗体方面具有敏感、快速,且节省试剂的优点。近年来,对不同幽门螺杆菌菌株及幽门螺杆菌感染所致的