【摘 要】
：
对现今已有的基于模型检测的测试用例生成方法以及覆盖准则进行了研究,在此基础上设计一个基于模型检测工具Nu SMV生成功能测试用例的方法。首先,从被测系统状态图入手,经过
【基金项目】
：
四川省应用基础研究项目(2014JY0112)
论文部分内容阅读
对现今已有的基于模型检测的测试用例生成方法以及覆盖准则进行了研究,在此基础上设计一个基于模型检测工具Nu SMV生成功能测试用例的方法。首先,从被测系统状态图入手,经过抽象映射成Nu SMV支持的模型验证器（SMV）模型;其次,将测试覆盖标准以CTL时序逻辑公式给出,并设计出陷阱性质;最后,利用Nu SMV进行模型检测,自动获得反例集,在去除冗余后,自动生成能够满足变换覆盖和状态覆盖的功能测试用例集。实验结果表明,该方法能够生成满足变换覆盖和状态覆盖的功能测试用例集,与传统方法相比,减少了测试用例生成的工
其他文献
《广东饲料》杂志的编委、作者、读者朋友们：2017年新年的钟声已经敲响，值此辞旧迎新之际，《广东饲料》杂志社全体同仁向长期关心、支持本刊的各级领导、广大朋友致以诚挚的问候
当前国内对于高边坡的检查以人工为主,主要分为人工检查、定期检查、专项检查等形式,随着高速公路总里程数的增加,现有的检查方法越来越难以满足对边坡的全面细致检查,这对高
目的：将医院现有的普通胃肠机进行数字化升级改造,使之能满足数字胃肠机的基本性能,提高临床诊断水平。方法：增加专用的CCD数字摄像机、自动光圈、设备控制单元和模块硬件以及
近日,广东省防控重大动物疫病应急指挥部办公室印发《全省防控非洲猪瘟等动物疫病集中大消毒活动实施方案》(下称《方案》),决定自2019年6月1日起,在全省范围开展为期1个半月
献血是一种有助于医学发展的公益行为，但献血过程中容易出现使献血人受到伤害的事件。面对实践中日益多发的献血受害事件，单纯的民法救济路径显现出了明显的缺陷，极易对献血事业
＂十三五＂时期是我国全面建成小康社会攻坚期、深化改革决战期、依法治国关键期。拥有3959平方公里、165万人口的开县,农业基础薄弱,生产水平不高,农业品牌建设滞后,农产品深加
汪老师,多年来,您潜心学问,在马克思主义哲学基础理论、马克思主义哲学中国化等多个领域的研究中取得了学界有目共睹的成就。以往曾有学术刊物就您的学术经历和学术思想作过
我国光纤产业发展迅速，已经形成了从光纤预制棒到光缆产品完整的产业链，光纤行业已全面进入成熟期。光纤通信传输技术 的本质是通过光作为所言传播的信息的承载着者借以光纤为
【正】 石油作为商品,与其他一切商品一样,其价值是凝结在商品之中的一般的、无差别的人类劳动或抽象人类劳动,其价值量由生产商品的社会必要劳动时间所决定,亦即,石油价值是
随着我国经济的高速发展，我国的高等教育也处于前所未有的高速发展时期：一方面，“精英化”的高等教育逐步向“大众化”过渡，高校招生规模不断扩大，呈现出跳跃式的发展趋势；另一方面，高校的办学财力和实力相比以往有所增强，高校软硬件基础设施所需的投入不断增加。然而，不可否认的是，当前我国高等教育资源严重匮乏，教育经费相对比较紧张，同时由于缺乏有效的成本控制机制，存在有限的、宝贵的教育资源被严重浪费的现象。基