【摘 要】
：
为了避免基于模型的Web应用测试中存在的状态组合爆炸问题,分析了经典的每个一次和基本选择的状态组合爆炸避免方法,指出了这两种方法的不足,提出了应用形式概念分析,根据给
【基金项目】
：
基金项目：国家自然科学基金项目（60673115）：国家863高技术研究发展计划基金项目（2007AA012144）,上海市重点学科建设基金项目（J501032）.
论文部分内容阅读
为了避免基于模型的Web应用测试中存在的状态组合爆炸问题,分析了经典的每个一次和基本选择的状态组合爆炸避免方法,指出了这两种方法的不足,提出了应用形式概念分析,根据给定的测试覆盖准则,精简测试用例集,避免状态组合爆炸的方法,并改进了Sampath的测试用例选取规则。最后根据形式概念分析的原理,开发了测试用例集精简工具,提高了测试过程的自动化程度,用实例说明了方法的有效性。
其他文献
改革开放后伴随经济的快速发展,我国高速铁路充分借鉴国外高铁技术,通过自主创新提高,在新世纪初掀起了一波跨越式建设的浪潮。论文试图通过对高速铁路站房建设已经取得人性
对其遗传算法的交叉及变异算子进行了深入研究，利用数值计算方法对遗传算法中的算子进行改进，提出了基于黄金分割法、最速下降法、Fibonacci法、“取大”、“取小”法的遗传算
<正> 由国家医药管理局刘永纲、杜石砚,黑龙江省药材公司朴泰俊,浙江省绍兴中药厂袁雅美,中国药材公司科教处王桂华组成的药用动物综合利用考察团,于1986年10月28日至11月
日前，开磷集团脉内采准无间柱连续分段充填采矿法综合技术研究项目在全省科技工作会议上受到表彰，荣获贵州省科技进步一等奖。该成果创新地将充填巷道布置在脉内，对采矿工艺进行
采用柱浸工艺对风化壳淋积型稀土矿浸取稀土的动力学进行了研究。通过对淋洗剂的配比的优化，证明采用氯化铵和硫酸铵比例为7：3的混合铵盐作为淋洗剂浸取稀土的效果最佳。考察了
对网络入侵规则的检测提出了一种基于粗糙集和Online-SVM结合的方法。针对网络连接记录特征属性高维的特点，采用粗糙集属性约简的方法压缩数据空间，在有用信息不受损失的前提下
针对许多基于Windows平台的中小型网站提出的安全需求,在分析相关数据截获与访问控制技术的基础上,提出了一种以改造的Snort规则库作为攻击特征库,利用SPI实现检测引擎,利用N
针对在线式攻击给芯片安全带来的威胁，分析了在线式攻击主要过程和基本特点，提出了在增加在线采集全部工作数据难度，增加芯片接口属性判别难度，增加输入数据和输出数据内在关系分
美术课程资源的开发与利用是实施美术课程改革的一个重要组成部分,在美术教育教学中:(1)充分利用网络环境,收集、整理教育资源,可拓展师生的知识视野,做好课前准备。(2)科学
对于复杂数据交换体系而言，一方面难以建立中心节点对数据交换进行统一调度；另一方面各数据节点需要管理大量的数据源、接口软件，协调管理工作繁重。针对复杂数据交换体系的需求