一种软件体系结构测试序列生成方法

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户:shulili1987
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件体系结构在软件开发过程中至关重要,其中任何微小错误都会给软件开发及后期维护带来很大麻烦.本文提出一种软件体系结构测试序列生成方法,首先用化学抽象机描述体系结构,然后生成相应的反应规则依赖图RDG,再根据定义的测试覆盖准则及测试序列生成算法,产生软件体系结构测试序列,最后以客户机/服务器体系结构实例说明了导出RDG及生成测.试序列的过程.
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
近代通事最初是随葡萄牙人16世纪东来广东澳门后才出现的,持续到18世纪上半叶.之后至19世纪上半叶,由于英国人的对华交往后来者居上以及英语在世界上的影响增大,中国的英语翻
论述唐代著名边塞诗人王之涣、王翰、王昌龄的边塞诗体现的河东道尚武精神。诗人所在的生活环境对其创作风格具有重要的影响,地域特色、风情、以及民族性格在这三位著名的边
目的:观察对比腹腔镜与传统开腹手术在治疗异位妊娠患者中的临床效果。方法:回顾性分析治疗的108例异位妊娠患者的临床资料,根据治疗手术方法不同分为治疗组和对照组各54例,其
凤鸟纹卣的形制演变表明,晚商时期安阳郭家庄M160卣和宁乡黄材出土的戈卣是其前身,而其更早的源头还在殷墟文化时期的兽面纹短轴提梁卣。通过比较年代明确的晚商和西周早期凤
本文主要探讨中职语文作文教学的实践内容,作文教学应该重视学生情感,加强与日常生活的联系,建立微信沟通交流群,会打破作文教学的时间空间限制,学生对修辞手法的运用水平不
期刊
福建省第三届心胸外科学术交流会于1988年12月12日至15日在漳州市召开。出席会议代表115名,收到论文124篇,大会宣读56篇。我省已有省心血管病研究所、南京军区福州总医院、福
从校准的定义出发,引申出了仪器仪表自校准的概念,并对自校准实现的基本原理和过程进行了分析,提出了自校准设计过程中几个关键点,以及这些关键点对自校准的影响。同时,文章