UML statecharts的测试用例生成方法

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:jooey
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
测试用例生成是软件测试的关键.根据UML statecharts的层次和并发结构,研究相应的测试用例产生方法.它视复合状态为抽象状态,分别构造主UML statecharts和复合状态所对应的子UML statecharts的测试基,并依据一定的合成规则和Wp-方法生成整个UML statecharts的测试用例.这种方法能够支持递增式测试用例的生成.理论和实验结果说明,如果满足测试条件,它们保证全故障覆盖,且产生较少的测试用例.这种改进对大型复杂系统尤其有效,也便于构造自动测试工具.
其他文献
1.<全日制普通高级中学教科书(试验修订本&#183;必修)地理>下册(人教版)第55页中"图6.17世界城市人口比重的增长"(图略)有不当之处
为了确保道路工程建设的社会效益和经济效益,保证道路工程质量符合国家规范要求,尽可能避免工程质量事故的发生,必须重视道路工程施工质量管理。本文分析了城市道路混凝土路
采用语料分析的方法,研究Nature论文的句子类型,结果发现:论文的主流句是简单句占51%,带一个从句的句子占36%;Nature论文语言存在三大语言特征:频繁出现动作性名词和动词派生的名词话
分析了制约岩巷断裂控制爆破技术推广应用的若干因素,并提出相应对策。
在高中地理新教材选修本第一册中,首先出现的是"人口再生产类型及其转变"的问题,它是学习人口发展的基础知识.了解人口再生产类型及其转变,有助于正确认识人口发展的历史和当
经济决定金融,知识经济对现代金融运作有着基础性支持作用,并推动金融业始终保持创新的活力。金融又是现代经济的核心,现代金融与知识经济的理念、服务功能、服务方式及产品,乃至
悲剧电影中的“惯有形式”往往发掘于现实生活的普遍共情。《孟买日记》从简单的理解切入,设立了四个分别代表社会阶级中不同地位、不同身份的人物形象。在强烈的自我挣扎状
近年来,国内信用卡的快速发展,导致信用卡业务风险层次不穷,中小商业银行在信用卡的业务开展过程中要注意信用卡全生命中期的风险控制体系的建设,将风险控制在萌芽期。
期刊
运用现代品牌学的理论,分析了20世纪三四十年代陕西知名品牌的名称和创立者的类型、商标文化特征与广告营销模式,说明这些品牌在当时对繁荣社会经济、丰富人民生活、支持抗日战