论文部分内容阅读
分析了传统测试的弊端和动态监测的现状,提出并实现了根据形式化逻辑描述的需求规约,判断软件运行行为是否符合预期的动态监测方法,在资源消耗较低的情况下保证了监测的正确性与及时性。最后通过实例数据证明了该方法的高效性。
一种动态监测软件行为的方法
【摘 要】
：
分析了传统测试的弊端和动态监测的现状,提出并实现了根据形式化逻辑描述的需求规约,判断软件运行行为是否符合预期的动态监测方法,在资源消耗较低的情况下保证了监测的正确
【机 构】
：
湖南工业大学计算机与通信学院
【出 处】
：
湖南工业大学学报
【发表日期】
：
2010年6期
其他文献
针对多Agent任务分配问题,结合蚁群算法的思想,设计了基于图的任务分配数学模型,提出了基于蚁群算法的多Agent任务分配方法,并通过实验与3个经典方法进行比较和分析,探讨了蚂
研究组合大系统存在非线性扰动和不确定性时的稳定性问题。通过对微分方程解的结构研究，应用矩阵相似变换和矩阵指数的特性，将原非线性组合系统的稳定性问题转化为线性系统的稳
基于增广Lyapunov泛函结合自由权矩阵方法,对不确定Lurie时变时滞系统的绝对稳定性问题进行研究,得到了基于线性矩阵不等式（LMI）的具有更低保守性的时滞相关绝对稳定新判据。数
【摘要】对头孢他啶的药理作用、应用及不良反应进行分析和探讨。综述其不良反应主要包括变态反应、胃肠道反应、肾功能损害、血液功能影响及双硫仑样反应。认为头孢他啶在临床应用时，要严格掌握适应症，对不良反应进行总结，能够及时识别，及时处理。 【关键词】头孢他啶；药理作用；不良反应
采用石墨炉原子吸收法测定湘江水中的钡，通过一系列的实验表明，该方法检测湘江水中钡的检测线性范围为0～40μg／L，加标回收率为94％-98％，检测相对误差小于5％，检出限为0．022μg／L，远低于地表
为了有效地解决构件尺寸临界于大体积混凝土与非大体积混凝土之间的混凝土施工问题，研究了大体积混凝土产生温度裂缝的原因，提出了“软包大模侧模保湿保温”的新施工方法。通过
城市环境质量评价是表明城市环境质量现状及其变化趋势的重要手段。基于株洲城市环境质量抽样调查的数据,运用模糊综合评价方法,对株洲城市环境质量指标进行综合分析,建立了