中断优先级改变对函数静态调用关系影响研究

针对中断优先级的改变会对系统的运行产生非预期的执行逻辑,研究了由此所产生的函数之间调用关系的不确定性,提出一种结合中断优先级改变的嵌入式系统静态测试方法。以中断优先级状态机描述中断优先级改变行为,在不包含中断处理函数的函数静态调用路径基础上,应用迭代方程得到中断优先级序列,将此序列叠加到函数静态调用路径中。实验表明,结合中断优先级的函数静态测试方法,保证了嵌入式系统测试的完整性,提高了测试覆盖率。

能源计量与水平衡测试

在用水单位中,水作为一种主要的原料和载体,在每个用水单元内都存在水量的平衡关系,通过对用水单元的实际测试,确定其各用水参数的量值,根据其平衡关系分析用水合理程度,称之为水平衡测试。

服务低碳发展的碳计量典型场景及路径

中国在温室气体控排减排及核查治理、能源绿色转型、产业低碳升级、生态环境管控、技术与管理创新等过程中,还存在碳计量的实施手段受限、难于获得可靠与完整的碳数据以及碳数据指导减污降碳的运用不足等问题。为此,简述了碳达峰、碳中和的特征内涵,调研了国内外“双碳”的研究进展。在梳理了碳计量内涵与中国碳计量短板的基础上,分析了碳计量支撑碳控排减排的典型需求场景,提出了服务低碳发展的碳计量路径,为健全和完善碳计量工作体系提供了思路建议,以期更科学、高效地做好中国碳计量工作,助力“双碳”战略的实施。(参30)

做好水平衡测试 创建“节水型”高校

云南省计量测试技术研究院应云南农业大学的委托,于2014年对其校园开展了水平衡测试工作。通过测试,全面勘察了学校的供水管网分布,各用水单元用水现状。依据专业测试机构现场测定的真实信息,有的放矢地指导学校采取相应措施，挖掘节水潜力，提高合理用水水平,进而达到创建“节水型”高校的目的。一、水平衡测试1.水平衡测试的概念水平衡测试是指对用水单元和用水系统的水量进行系统测试、统计、分析得出水量平衡关系的过程。

基于函数调用路径的软件实现与设计一致性验证

软件系统开发完成后,验证其是否完成了软件设计说明书的所有功能并且与设计算法一致,是软件测试的一项重要工作.通过人工遍历分析源代码来完成实现与设计的一致性验证是复杂费力的,并且需要测试人员具备丰富的编程经验和较强的算法分析能力.论文提出了一种基于函数调用路径的软件实现自动验证方法.从设计文档和源代码两个方面出发,分别分析其函数调用关系,提取函数调用路径,生成功能簇模型.其中文档方面通过人工理解设计文档,确定函数调用关系,然后自动生成标准功能簇模型;源代码方面通过静态分析,自动获取函数调用关系,提取功能点特征,利用这些特征提取功能点的具体实现算法,自动生成软件的实际功能簇模型.对比两个功能簇模型,验证软件实现与设计的一致性.实验结果表明:算法能够准确获得软件系统的功能结构及实现算法特征,对软件实现与设计的一致性做出有效判定,为软件实现与设计的一致性自动化测试提出一种新的思路.

基于功能点路径的文档互操作测试评价方法

为了解决文档互操作测试中的功能点划分粒度不统一、测试覆盖率难以度量、回归测试工作量大等问题,提出了以文档格式标准为基础、建立功能点的需求模型、设计文档互操作测试评价方法,并定义了文档格式标准变更指数、测试覆盖率、测试用例之间的关联等度量指标,可将人工测试中定性的估计发展为定量的度量体系,提高了测试过程中的可视性。该方法可以提高文档互操作测试效率,保证测试质量,促进对文档互操作过程的理解、控制和预测。

云南省计量院为供水管网“问诊” 运用先进技术手段支持节水行动

本刊讯近三年来,昆明市连续干旱少雨,旱情严重。昆明市人民政府下发了《关于进一步加强城市节约用水工作的实施意见》,在全市推行＂最严格＂的节水措施,用水单位提高供水系统用水效率迫在眉睫。供水管网是供水系统中的重要组成部分。由于供水设施陈旧,管材的选用比较落后,加上运行年限过长且缺乏维修。

“城市广告业态”之九——直面贵阳广告业

贵州省广告业总体的发展水平不高．生存的模式极其严峻地摆在具有生存意识的广告公司面前。进入21世纪的贵州广告业，囿于起点低，生存压力大；量多而能力分散，且难以相互合作；在媒体制约下，难以按市场规律运作。不过近几年来。贵州的广告业也有了相应地发展。利用信息沟通的便利，国营经济开始转型，烟酒工业与药品都是贵州省的优势产业．是财政收入的支柱性财源。全省共有277户医药工业企业，固定资产累计约12亿元，如优秀企业三力、益佰药业等。酒类产业方面，贵州拥有享誉全球的世界名酒茅台酒。但当地企业与当地广告公司合作的方式就极其有限了。