【摘 要】
:
标号迁移系统(labelled transition system ,LTS)是形式化一致性测试的重要研究方向.在软件体系结构(software architectures,SA)测试计划生成的研究中,需要从化学抽象机(che
【机 构】
:
哈尔滨工程大学,哈尔滨工程大学,哈尔滨工程大学
论文部分内容阅读
标号迁移系统(labelled transition system ,LTS)是形式化一致性测试的重要研究方向.在软件体系结构(software architectures,SA)测试计划生成的研究中,需要从化学抽象机(chemical abstract machine,CHAM)模型中生成LTS,以表达出软件体系结构的动态特征.因此,LTS状态树生成算法是导出软件测试计划和测试用例研究工作中的关键问题.基于CHAM模型,提出了通用LTS状态树生成算法,并使用实例验证了该算法.
其他文献
Introduction: The morbidity and mortality of patients with heart failure are known to increase rapidly in the presence of renal insufficiency, which is usually
近年来,国内外钨市场日趋萧条,给钨矿山生产和职工生活带来前所未有的严重困难。国有矿山都处于停产、半停产状态。一些不法分子,却乘矿山之危,煽动大批村民趁火打劫,哄抢矿
Sub-Saharan Africa has the highest rates of maternal and neonatal mortality worldwide. Young maternal age at delivery has been proposed as risk factor for adver
Chyluria is a urological manifestation of lymphatic system abnormality as a result of some abnormal communication between these two systems. Although chyluria a
评价了2001年上半年我国国民经济运行的总体状况,分析概括了2001年上半年我国经济增长的特点,社会需求的状况以及结构调整的进展;提出了行业协会的根本目标和主要任务,进一步强调
About 3% of all conceptions are associated with major congenital malformations, many of them are lethal developmental defect and genetic in origin or teratogeni
北京中关村科贸大厦主体部分地下4层,12层以上分成双塔,东塔为四星级酒店,地上22层;西塔为办公区,地上25层.总建筑面积19.58万m2.
民申大厦位于上海肇嘉浜路、天平路丁字路口,占地面积2119m2,基础底板面积1 500m2,基坑呈矩形,长54m,宽33m,地下2层,底板厚0.9m,承台区域底板厚度1.2~1.4 m.基坑挖土深度8m,核