【摘 要】
：
正确的时间属性和行为对于实时软件来说非常关键,然而这却很难得到完全的保障.在实际工业中,实时性错误不仅会在软件的设计开发阶段被引入,在软件的维护阶段,随着软件的演化
【机 构】
：
南京大学软件新技术国家重点实验室,南京大学计算机科学与技术系,南京大学软件学院
【基金项目】
：
本课题得到国家自然科学基金（91118007）、国家“八六三”高技术研究发展计划项目基金（2012AA011205）及计算机软件新技术国家重点实验室开放课题项目基金（ZZKT2013B09）资助.
论文部分内容阅读
正确的时间属性和行为对于实时软件来说非常关键,然而这却很难得到完全的保障.在实际工业中,实时性错误不仅会在软件的设计开发阶段被引入,在软件的维护阶段,随着软件的演化也同样会引入这种错误.当软件维护人员对系统不够熟悉时,维护阶段引入这些错误的可能性会更大.目前,还没有研究结果可以在软件修改发生之前,通过分析系统的时间关系信息来帮助指导软件维护人员减少或者避免引入时间相关的错误.在这样的背景下,文中提出了一种实际可用的分析途径来解决这一问题,称之为时间变化影响分析.这一解决途径在软件维护人员做出修改之前就可以
其他文献
二丁酰环腺苷酸(Dibutyryl Cyclic adenosine monophosphate,dbc AMP)作为一种生长调节剂,极性小,有亲脂性,可通过细胞膜在细胞内发挥作用。它可以通过调控动物体内蛋白和脂
纤维素酶是一种重要的复合酶,在动物应用中有着显著促进动物生长、改善饲料消化率、降低料肉比等功能。文章主要从纤维素酶的概念、作用机理以及其在猪生产中的应用等方面展
情节规则挖掘旨在发现频繁情节之间的因果关联,已广泛应用于传感器数据处理、网络安全监控、金融证券管理、事务日志分析等众多领域.针对一个事件序列上的无冗余情节规则挖掘
<正>2015年,我国饲料行业积极适应发展环境变化,加大结构调整力度,加快产业融合整合,着力提升产品质量安全水平,发展方式从追求数量增长和效益提升向提倡优质安全环保转变。2
聚醚类药物常当作鸡抗球虫类药物使用,但此类药物会残留到鸡肉与鸡蛋组织中,为食品安全带来不安全隐患。本文以液相色谱串联质谱法检测鸡用饲料中的聚醚类药物。鸡用配合饲料
加壳技术是软件的常用保护手段,但也常被恶意代码用于躲避杀毒软件的检测.通用脱壳工具根据加壳恶意代码运行时的行为特征或统计特征进行脱壳,需要建立监控环境,因此易受环境
为满足用户对网络服务的个性化、定制化和主动化需求,主动规则成为解决这些问题的关键技术.研究了在网络环境下基于规则的复杂应用中,大量规则集同时触发所带来的规则终止性
考虑模糊概念与模糊逻辑的多种性，基于带对偶非的三角模逻辑，提出了一种新的模糊命题的逻辑，称为模糊命题的多维三层逻辑．特别地，记n维三层逻辑为Ln-3-3．首先，引入了模糊命题的首层n
喹乙醇作为一种促长剂,有其一定功效,但其蓄积毒性的弊端又限制了喹乙醇在市场上的大量应用,甚至被一些国家禁用。在中国,喹乙醇可以少量用于某些特定家畜的饲料中。为准确简