一种Web应用测试生成与约简方法

来源 :上海大学学报：自然科学版 | 被引量 : 0次 | 上传用户：wfj0808

【摘要】

：

软件测试是保证软件质量的一种重要手段,而复杂的Web应用对测试提出了新的要求.提出一种Web应用测试生成与约简方法,该方法对Web应用导航进行形式建模,使用模型检验导航安全

【作者】

：

晏霞敏曾红卫刘攀贺斌

【机构】

：

上海大学计算机工程与科学学院,上海市计算机软件评测重点实验室

【出处】

：

上海大学学报：自然科学版

【发表日期】

：

2012年2期

【关键词】

：

WEB应用模型检验模型分化测试序列冗余约简 Web application model checking model partition test se

【基金项目】

：

国家自然科学基金资助项目（61073050）, 上海市自然科学基金资助项目（09ZR1412100）, 上海市重点学科建设资助项目（J50103）, 上海大学研究生创新基金资助项目（SHUCX101045）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

软件测试是保证软件质量的一种重要手段,而复杂的Web应用对测试提出了新的要求.提出一种Web应用测试生成与约简方法,该方法对Web应用导航进行形式建模,使用模型检验导航安全性质所输出的反例分化模型,然后根据分化模型产生测试序列,依据Web应用的特性对测试序列集进行约简.实例演示表明该方法的有效性.

其他文献

商丘市睢阳区超市凉菜间卫生状况的调查

目的为了解超市凉菜间的卫生状况,贯彻实施＜餐饮业食品卫生管理办法＞,为进一步加强超市卫生管理提供科学依据.方法随机抽查了商丘市睢阳区32间超市凉菜间,检查其基本卫生设施

期刊

超市凉菜间卫生状况

贵阳市9岁-11岁儿童铅中毒状况及其影响因素的流行病学研究

目的研究贵阳市9岁-11岁儿童血铅水平状况及其影响因素,并评价铅对儿童健康状况的影响.方法采用随机抽样的方法,分别在贵阳市工业区、普通市区、郊区各抽取一所小学,随机选择

期刊

儿童铅中毒流行病学Children Lead poison Epidemiology

不同粒径空调灰尘中的多氯联苯分布特征

多氯联苯（polychlorinated biphenyls, PCBs）是一类典型持久性有机污染物, 尽管已被禁止近50年, 但是这类污染物仍然能在环境中检出. 室内灰尘是PCBs人体暴露的重要来源之一.

期刊

空调灰尘多氯联苯粒径分布特征air conditioner dust polychlorinated biphenyls （PCBs） partic

一起由变形杆菌引起的食物中毒

2007年1月2日，禹州市某职工食堂发生一起食物中毒事件，11名下井工人于凌晨2时在该公司职工食堂一号伙就餐后自7时起相继出现了头晕、恶心、呕吐、腹痛、腹泻、发热等消化道中毒

期刊

变形杆菌食物中毒

无线传感器网络节点定位改进算法

提出一种改进的距离无关无线传感器网络节点定位算法——变系数弹簧模拟算法.该算法首先得到锚节点跳数距离和平均每跳距离,然后计算出节点的初始位置,再通过模拟方法对节点

期刊

定位算法节点定位无线传感器网络localization algorithm node location wireless sensor networks

肝毒汤加味治疗慢性乙型肝炎32例临床观察

慢性乙型肝炎是一种预后不良的传染病，严重危害人民群众身体健康，目前尚无特效治疗方法。中医学认为本病多因脾湿内郁复感湿热疫邪所致。多因平素饮食不节，过食油腻或嗜好饮酒，损

期刊

慢性乙型肝炎中医治疗肝毒汤加味

一种Web应用测试生成与约简方法

其他学术论文