【摘 要】
：
基于使用模型的统计测试是软件可靠性评估的重要手段,软件使用模型是进行软件可靠性测试的基础.目前由UML模型生成软件的使用模型得到了较多的研究.现有方法生成的使用模型存
【机 构】
：
解放军信息工程大学 郑州450001
论文部分内容阅读
基于使用模型的统计测试是软件可靠性评估的重要手段,软件使用模型是进行软件可靠性测试的基础.目前由UML模型生成软件的使用模型得到了较多的研究.现有方法生成的使用模型存在状态空间爆炸问题,且不能精确描述软件的使用情况.基于现有方法,本文通过分析UML模型中激励与响应来获取状态生成使用模型,并提出了针对使用模型的状态化简算法,设计实现了基于UML的软件可靠性测试数据生成工具.最后通过一个软件系统实例对该方法进行了实验和分析.
其他文献
为了筛选适于黄瓜耐低温的最佳丛枝菌根(AM)真菌和PGPR组合菌剂,研究了不同AM真菌、PGPR组合菌剂对低温胁迫下黄瓜生长及防御酶活性的影响.结果表明低温胁迫下,单接种AM真菌
摘要：新课标对课堂教学提出了更高的要求。传统的教学模式已经不适应时代的需求，现代教学更注重学生自主学习能力的培养。在高中数学教学中，如何培养学生自主学习的能力，是一个永恒的话题。在数学教学中，教师要为学生营造良好的学习氛围，在传授知识的同时重视学习方法的传授。 关键词：新课标；自主学习；学习氛围；学习方法 新课标的实施对我们的课堂教学提出了新的要求，在新课标的指导之下，课堂教学正在逐步发生变化
为了进一步促进我国建筑行业的发展,在项目开展过程中,要意识到建筑工程管理和施工质量控制对于实现项目管理目标的重要性.为了提升建筑工程管理效率,做好施工质量控制工作,
随着经济和科技水平的快速发展,烟草卷烟行业在中国经济中占有重要的地位,促进了我国不同领域的发展.随着烟草行业的迅猛发展,企业之间对于卷烟高效率、高质量、高标准的竞争
目的：研究二氯化钴(CoCl2)对NaCl胁迫下甘草幼苗叶片活性氧水平、抗氧化酶活性及脂质过氧化程度的影响.方法：抗氧化相关酶的活性测定.结果：在80 mmol/L NaCl胁迫下,随胁迫时间延
目的：筛选对新疆MEAM1烟粉虱隐种高效、低毒的环境友好杀虫剂,预防和控制烟粉虱传播的番茄黄化曲叶病毒病危害,为安全防治烟粉虱提供科学依据.方法：在喀什地区麦盖提县烟粉虱发
１ 建园 果园要建在坡度２５℃以下的背风向阳处。因势造台，台面宽２ｍ以上，并规划好道路和排灌系统。先进行定植穴和壕沟改土，每穴施渣肥２５ｋｇ＋切碎的稿秆、稻草１０ｋｇ＋过磷酸钙 ０．５ｋｇ＋复合肥０．５ｋｇ＋干人畜粪１０ｋｇ，肥与
广袤的巴蜀大地,人杰地灵、文化璀璨!这方神奇的土地,在历史长河中积淀着独具个性的人文精神。从巫山猿人遗址到三星堆遗址;从闻名世界的水利工程———都江堰到“世界第一古
混凝土结构工程逐渐成为工程项目建设主流,渗透在人们实际生活中,产生了极大的经济效益.由于混凝土结构工程建设规模增加,相应的关于工程检测鉴定和裂缝成因分析等内容重视程
针对具有异或网络编码功能的二维Mesh结构片上网络,提出一种基于多播路由的测试方法.该方法主要采用蝶形路由方式进行测试,对片上网络中的数据传输功能故障和路由器工作模式