【摘 要】
：
针对模型驱动架构(MDA)下的软件开发方法中测试启动比较晚、难以发现隐藏在模型中的缺陷及UML模型描述缺乏精确语义等问题,提出了基于ASL的模型测试方法:从UML模型出发,将动
论文部分内容阅读
针对模型驱动架构(MDA)下的软件开发方法中测试启动比较晚、难以发现隐藏在模型中的缺陷及UML模型描述缺乏精确语义等问题,提出了基于ASL的模型测试方法:从UML模型出发,将动作规约语言(ASL)运用于平台无关模型(PIM)上建立测试模型。给出了ASL语句在MDA过程中的工作原理、平台无关模型的建立过程、测试用例建立的步骤、测试执行的实施过程,最后结合实例,在UML图的基础上运用ASL对测试环境进行构建,并创建了系统的测试用例,对模型及业务逻辑进行了测试。实验结果表明,提出的基于ASL的模型测试方法既能利用模型驱动对复杂的测试用例进行简化和抽象,又能在软件生存期早期揭示软件的缺陷,防止缺陷随着软件开发过程的进行而被放大。
其他文献
随着城市规模的扩大和城中村改造工作的推进,城中村回迁安置社区的数量逐年增加,城中村回迁安置社区在社区环境、人口结构、文化氛围、运行机制方面都呈现出独特属性,也面临
格式塔是海明威作品中常见的“省略”现象，格式塔心理学，主要是研究视觉艺术中格式塔（“形”）的形式与其造成的心理张力；而格式塔，则是一个功能单位，源于部分之和而且又不同于部分之
浅谈英语习语的汉译由继禹英语习语，从广义上讲，包括俗语、谚语和俚语，是人们在长期的社会生活中总结和提炼出来的具有一定民族和地方色彩的短语或短句，被广泛地应用于文艺作品、
幼儿教育是基础教育的重要组成部分,改革开放以来,我国幼儿教育事业取得了长足发展,为越来越多的学龄前儿童提供了受教育机会。但是,由于幼儿教育发展的不平衡,农村不少人以
<正>目的通过气相色谱法检测不同BMI的蒙古族儿童粪便样品中短链脂肪酸(Short-chain Fatty Acids,SCFA)的浓度,并研究其与BMI的相关性。方法调查内蒙古包头市达茂地区7~14岁
在大学英语教学逐步发展的同时，应从教学方法、教学手段、教学模式等方面进行尝试和探讨。英语教学应围绕课堂教学的各个环节，将学生听说能力的培养结合起来，从培养听说能力、阅
采用含TiO2炭阳极直接熔盐电解制备低钛铝合金。对含TiO2炭阳极在CO2/空气中的残余率分别进行测试,用XRD对含钛沥青焦进行分析,运用SEM和EDS手段对炭阳极、原铝和电解铝的形
西方思想吏巨人马基雅维里的《君主论》蕴藏着丰富的领导学学科资源，堪称“现代领导学奠基之作”。文章试对该著作进行了领导学视角的解读，挖掘其有关君主治国的领导学思想，井进
信用证制度的特殊性,以及其业务流程的复杂性,都增加了信用证的风险。本文站在出口商的角度,分析了出口商在使用信用证进行国际贸易结算时所面临的各种风险,对风险表现的形式
为了促进农业的可持续发展,塑造绿色苹果果品品质,提高市场竞争力,必须从防治苹果病虫害入手,采取农业、生物和物理等环境友好型苹果病虫害防控技术,实施绿色防控,打造绿色苹