【摘 要】
：
基于模型的测试是测试自动化的重要手段,通常采用模型检验技术从系统模型自动生成测试用例集,但生成的测试用例集往往存在冗余,这将影响测试用例执行的性能和成本.该文以扩展
【机 构】
：
苏州市职业大学计算机工程学院,上海大学计算机工程与科学学院,上海市计算机软件测评重点实验室
【基金项目】
：
本课题得到国家自然科学基金（61170044,61572306）、上海市重点学科建设项目基金（J50153）和苏州市职业大学预研基金（SVU2015YY01）资助.
论文部分内容阅读
基于模型的测试是测试自动化的重要手段,通常采用模型检验技术从系统模型自动生成测试用例集,但生成的测试用例集往往存在冗余,这将影响测试用例执行的性能和成本.该文以扩展有限状态机（ Extended Finite Machine,EFSM）为建模工具,根据公式簇建立状态等价关系,构建抽象模型,采用模型检验技术生成抽象反例（测试用例）;给出了判定生成的抽象反例是否为伪反例的方法;采用反例引导的方法精化抽象模型,删除伪反例;最后,使用我们之前提出的基于可满足性的测试用例生成方法在抽象模型上生成约简的测试用例集.实
其他文献
２例个儿坏死性筋膜炎的护理４７２０００河南省三门峡市医院郝改琳４５３１００河南省新乡医学院第一附属医院徐秀风坏死性筋膜炎（简称ＮＦ）是一局限、持久渗透性疾病，筋膜是感染的主要部位。本病具有深筋膜广
采用协同护理模式对８２例老年食管癌围手术期呼吸系统进行护理。强调术前应建立融洽的护患关系，做好术前教育与指导；术后通过改变呼吸型态、正确变更体位、湿位呼吸道及协助排痰、
１１０例复合外伤的急救体会０３０００１山西医学院第一附属医院韩春玲，何红ＥｘｐｅｒｉｅｎｃｅｓｏｎＥｍｅｒｇｅｎｃｙＡｉｄｆｏｒ１１０ｃａｓｅｓｗｉｔｈｃｏｍｐｏｕｎｄＩｎｊｕｒｙ￥ＨａｎＣｈｕｎｌｉｎｇ；ＨｅＨｏｎｇ（ｌｓｔＡｆｆｉｌｉａｔｅｄＨｏ...
护理宾客化服务，是把宾馆化服务机制引入临床护理的新尝试，它彻底改变了单调的护理方式，强调创造宾馆化优美的养病环境及以人为本的护理管理，为病人提供高质量的优质服务。1 宾客
临床护理工作中行静脉穿刺是每天必不可少的工作,但穿刺时损伤神经并不多见,我科发生1例浅静脉穿刺损伤桡神经浅支,经医护配合,精心护理,取得满意效果,现报告如下.
随着集成电路工艺进入纳米时代,芯片正面临着软错误的威胁.除了软错误在数量上的威胁外,处理器还面临着由于工艺变动性和电压、温度、位置等工作环境变动而导致的错误率变动
应用Ａｋｔｏｎ聚合物垫预防术中压疮临床观察ＣｌｉｎｉｃａｌＯｂｓｅｒｖａｔｉｏｎｏｎｔｈｅＵｓｅｏｆＡｋｔｏｎＰｏｌｙｍｅｒＣｕｓｈｉｏｎｉｎＰｒｅｖｅｎｔｉｏｎｏｆＢｅｄｓｏｒｅＤｕｒｉｎｇＯｐｅｒａｔｉｏｎ１０００３６中国人民解放军空军总医院胡晶...
无线传感器网络作为物联网感知层的核心组成部分,具有广阔的应用前景.然而,隐私泄露问题严重阻碍了传感器网络的发展.目前,传感器网络隐私保护技术已成为研究热点,其中隐私保
协同过滤是一种简单常用的推荐方法,但是当目标数据非常稀疏时,其性能会严重退化,借助与目标数据跨域关联的辅助数据进行跨领域推荐是解决此问题的一种有效途径.已有的跨领域