论文部分内容阅读
首先由介绍基于模型测试方法产生的必要性及其优点,引出对于TRON工具的推荐。结合一个关于TRON应用的小实例,以更好地说明TRON的工作原理,并公布了实例的运行结果,务求让读者对TRON的验错能力有一个直观的印象。
基于模型的软件测试新工具——UPPAAL TRON
【摘 要】
：
首先由介绍基于模型测试方法产生的必要性及其优点,引出对于TRON工具的推荐。结合一个关于TRON应用的小实例,以更好地说明TRON的工作原理,并公布了实例的运行结果,务求让读者
【机 构】
：
福建江夏学院
【出 处】
：
福建广播电视大学学报
【发表日期】
：
2010年6期
其他文献
伊之密全球创新中心设计效果图 针对“卡脖子”关键技术难题，2020年8月，广东佛山市顺德区面向全球发布核心技术攻关榜，推出“科技创新十条”重磅措施，刮起一场科技创新“风暴”，吹响从制造大区转型创新之城的号角。 作为顺德中心城区，大良构建“科技创新”新发展格局，积极推动智能制造产业链上下游整合优化，全面推进20平方公里红岗科技城建设，是顺德科技创新的重要力量。让科技创新拥抱市场 疫情期间，在大
发展规模化牛养殖产业中,由于受到多种因素的影响,易引发一系列传染性疾病,给养殖户带来巨大经济损失。养殖规模扩大的同时,牛群的活动空间变得狭小,牛群之间相互接触,一旦受
通过正交试验设计配制改性剂对铬铁渣进行改性,正交试验是研究多因素试验问题的重要方法,单纯利用极差和方差分析正交试验结果存在准确性较低,以及增加试验总数或减少独立因
华而诚先生所写的《中国经济的软着陆》，是一本好书，其主要特点是：用大量翔实的材料描绘了1992—1997年间中国实行的宏观经济政策措施。
“交出了一份人民满意、世界瞩目、可以载入史册的答卷”，中央经济工作会议高度评价一年来我国经济社会发展取得的成绩。习近平总书记在会上发表重要讲话，深刻总结2020年经济工作，深入分析当前经济形势，对2021年经济工作作出重大部署，为我们做好明年经济工作，确保“十四五”开好局，乘势而上开启全面建设社会主义现代化国家新征程，指明了前进方向、提供了重要遵循。 今年是新中国历史上极不平凡的一年。面对严峻复
作为在 Rhodiola 植物的效率的一个主要部件， salidroside 是有希望的环境欢呼药并且对疲劳，老年，微波放射，病毒的感染和肿瘤的症状拥有特定的医药性质。Salidroside 起重要作用，