论文部分内容阅读
基于UIO序列的测试方法已经广泛地应用在协议一致性测试和软件一致性测试方面，如何有效地生成更短的UIO序列一直为人们所关注。提出了一种基于估价函数的启发式生成UIO序列的算法，通过分析比较该算法能更有效地产生UIO序列。
一种启发式UIO序列生成算法
【摘 要】
：
基于UIO序列的测试方法已经广泛地应用在协议一致性测试和软件一致性测试方面，如何有效地生成更短的UIO序列一直为人们所关注。提出了一种基于估价函数的启发式生成UIO序列的
【机 构】
：
江西理工大学信息工程学院,同济大学嵌入式系统与服务计算教育部重点实验室
【出 处】
：
计算机工程与应用
【发表日期】
：
2008年20期
其他文献
半胱氨酸蛋白酶是富含半胱氨酸的一类蛋白酶家族,不仅广泛参与植物的各种生理过程,而且最新研究表明,半胱氨酸蛋白酶与植物发生PCD有关。本文从Caspase的基本结构、分类及Cas
慈善事业，宁波人俗称做好事、善事，在宁波源远流长，有着深厚的历史积淀。正是这绵延不绝的慈善传统，成为当代宁波慈善事业得以快速发展的源头活水，也是铸就当代宁波这座爱心城市和
的撰写对于科技论文来说是非常重要的环节。随着国际间学术交流与合作的增多,期刊英语摘要作为信息检索的工具,直接影响文章的被检索次数和被引率。英文摘要的质量直接影响着
黄河下游频频出现的断流现象给沿岸城市的供水造成严重威胁 ,本文根据近年在郑州市北郊黄河滩地供水水文地质勘探中 ,几组大型抽水试验所获得的地质信息 ,论证了傍河地带的地
<正> 死亡与我们毫不相干。——伊壁鸠鲁:《致美诺益凯的信》至于你生命,我想你是许多死亡的遗物,(无疑我自己以前已经死过了一万次。) 啊,天上的星星哟!我听见你在那里低语,
本文立足于刑法规定和司法实践,对背叛国家罪的犯罪构成要件及其认定中的罪与非罪的界限、一罪与数罪的界限及其犯罪形态的界定等几个重大而疑难的问题进行了较为深入的研究
"脆弱国家"作为当今学术界的热点议题正逐渐得到人们的关注,而气候变化从20世纪80年代以来作为重大社会问题一直热度不减,两者之间关系的研究成为目前学术界的新宠。本文尝试
探讨在医养一体的模式下的护理方式对提高老年人的思维能力方面所起到的作用。主要通过包括认知功能与日常锻炼意识,自理能力,运动训练,合理膳食,音乐与娱乐活动的干预等方法
“誉网传媒《店讯通》的成功上线，将对传统医药营销方式的转变起到重要的推动作用，我对《店讯通》APP的发展前景十分看好！”近日，CFDA南方医药经济研究所林建宁所长在接受记者采
报纸
目的：探讨发生十二指肠残端瘘的原因,诊断方法和治疗效果。方法：对在我院35例实行毕-II式胃切除术后并发12指肠残端瘘的患者施行临床资料回顾性分析。结果：所有患者均采用持续胃