【摘 要】
：
基于状态转换的测试方法是探测Web程序动态行为异常的有效途径.Web程序状态的变迁由链接序列和提交数据共同构成的导航场景决定.本文用活动页面导航图(APND)来描述页面间的链
【基金项目】
：
“十五”国防科技预研项目(41315.9.2)资助.
论文部分内容阅读
基于状态转换的测试方法是探测Web程序动态行为异常的有效途径.Web程序状态的变迁由链接序列和提交数据共同构成的导航场景决定.本文用活动页面导航图(APND)来描述页面间的链接转换行为,用状态变量的组合对象状态图(COSD)来刻画由提交数据导致的系统状态变量改变,再将两者统一成一个较为全面的动态行为模型Web程序状态转换图(WSTD).最后,采用线索k叉树并加以改进来自动生成测试用例.
其他文献
《尚书大传》是西汉初期伏生学派说释《尚书》的记录。关于其称名,汉代的文献记载、书目著录以及称引用名等共同说明,该书初名"传",而非"大传"。根据早期用例的出现时间可以
<正> 腰扭伤又称“闪腰”、“岔气”,多由于活动中用力过猛,负荷过重或姿势不适以及站立未稳时卒然闪挫,亦有因剧烈运动时,用力不当或遭受外力击伤所致。是一种常见病,患者无
随着我国经济的迅猛发展,铁路客运作为客运的主体已逐渐显示出其运力的不足,尤其是铁路"春运",更是加剧了我国铁路客运的严峻形势,并引发出一系列的社会问题。本文简要分析了
目的探讨术前系统护理干预用于甲状腺手术患者中的护理效果。方法选择我院收治的甲状腺患者108例,将其随机分成研究组与对照组,每组54例。对照组给予常规的术前护理,研究组给
针对中国镁质资源概况和镁法烟气脱硫现状进行了评述:在镁质资源方面包括菱镁矿、水镁石、水菱镁石、白云石、盐湖卤水、海水制盐副产苦卤以及氨碱工业的一次泥和硼镁矿加工
本文研究了随机需求环境中,由一个供应商和一个零售商组成的两阶段供应链,供应商为主导者,零售商为跟随者,在风险中性和零售商厌恶损失的前提下,静态契约协调策略和动态双因
行政复议与行政诉讼在受案范围上的街接问题,需通过两种方式解决:一是通过修改行政诉讼法的受案范围来扩大案件的受案范围,以确保行政相对人的合法权利得到保障和实现。二是
<正>荔波县地处贵州南部,气候温和,有利于柚类产业的发展。在县委县政府的高度重视下,广大农户充分利用自然环境优势,大力发展以沙田柚、琯溪蜜柚为主栽品种的柚类种植。目前
由于玄学思潮的特殊作用，魏晋文人的山水自然观出现了不同于先秦两汉的质的变化，士人逐渐形成了山水审美的自觉，主要表现在当时形成了以洛阳和会稽为轴心的南北两个山水审美旅游
"美声唱法"早已传入中国并已开花结果,但多年以来中国的民族歌剧体系却一直未能建立起来,这是个重大缺憾。因此研究建议采用"移植法"和"嫁接法"来解决创建中国民族歌剧体系的