【摘 要】
：
随着大数据、云计算的发展,Web软件越来越复杂,人们对其质量要求也越来越严格。研究了一种Web软件一致性检测的方法。针对Web软件的独特性质,研究了Web软件创建可执行模型的
【机 构】
：
上海第二工业大学计算机与信息工程学院
【基金项目】
：
国家自然科学基金(61272036), 上海第二工业大学校重点学科建设项目(XXKZD1604), 上海第二工业大学校青年项目资助
论文部分内容阅读
随着大数据、云计算的发展,Web软件越来越复杂,人们对其质量要求也越来越严格。研究了一种Web软件一致性检测的方法。针对Web软件的独特性质,研究了Web软件创建可执行模型的方法,动态模拟系统运行。引入文法的概念,设计一个模拟器,在模拟过程中动态检测可执行模型在外部事件(文法描述的)触发下的执行是否存在不一致现象,整个过程以模拟树的方式呈现。该方法能在项目初期检测出模型的设计与需求的不一致,在一定程度上保证模型的一致性。
其他文献
1月22日上午，中纪委监察部驻国家林业局纪检组监察室主任吴兰香来到广西壮族自治区林业局，与广西林业有关单位纪检负责人共12位进行了座谈，自治区林业局纪检组长王力生向吴兰香
目的:探讨肾血管平滑肌脂肪瘤的诊断与治疗.方法:观察及总结40例肾血管平滑肌脂肪瘤的B超、CT、静脉肾盂造影等影像学改变及愈后.结果:通过对40例肾血管平滑肌脂肪瘤的影像学
目的：观察人表皮生长因子(rhEGF)治疗深Ⅱ度为主的混合性烧伤创面(以后简称Ⅱ度烧伤创面)的临床疗效。方法：选择Ⅱ度烧伤病人30例，随机分为治疗组(rhEGF组)和对照组，治疗组采用rh
2月19日下午，区林业局局长陈秋华以及办公室主任蒋桂雄、计财处处长李可夫等一行在崇左市市委副书记卢阳春和崇左市林业局长乐昌毅陪同下赴东门林场视察调研。东门林场党政工
从一则新闻说起3月15日，新华网报道了这样一则消息：《红豆杉正式走进世博会》。文中说：昨天，一批来自江苏红豆集团的红豆牌红豆杉正式在世博会中国馆亮相。据红豆集团董事局主席
10月25日,全区集体林权制度改革档案管理现场会暨培训班在浦北举行。自治区林业厅副厅长韦纯良强调,要把林权改革档案管理作为集体林权制度改革重要的基础工作抓紧抓好。
随着外科手术量的逐年增加，用血量增大，血源供应紧张已成为不可忽视的重要问题。同时输异体血导致的输血反应、疾病的传染亦日益成为人们关注的问题。我院从2001年2～7月近半年时
2016年6月13日下午,我校与劳瑞德国际教育集团、上海城投资产管理（集团）有限公司、上海汇珍投资管理有限公司,在上海临港管委会签署四方合作办学谅解备忘录,拟共同申请在临港建
自主性指执业者能够相对独立并能控制自己的政策和行为，新护理模式的出台，促使护理工作范围的扩大和护士角色向多元化发展。我们护理工作已由附属于医疗的地位过渡到护士的自主
3月28日上午，大桂山林场在信都工业园区举行桂巽板业年产10万立方米胶合板项目投产暨年产20万立方米刨花板项目开丁庆典仪式。