搜索

全文

从

不限

不限
1915年
1949年
1979年

到

不限

不限
1979年
1949年
1915年

全文
主题
篇名
关键词
作者
作者单位
摘要
参考文献
基金
文献来源
发表时间
中图分类号

搜索快捷搜索

全文

从

不限

不限
1915年
1949年
1979年

到

不限

不限
1979年
1949年
1915年

全文
主题
篇名
关键词
作者
作者单位
摘要
参考文献
基金
文献来源
发表时间
中图分类号

搜索快捷搜索

发文数量

被引数量

学者研究热点:

引用

筛选：

文献类型文献类型

学科分类学科分类

发表年度发表年度

基金基金

研究层次研究层次

排序：

按相关度排序

显示：

CNKI为你找到相关结果条

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

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

晏霞敏曾红卫... 《上海大学学报(自然科学版)》 2012年02期期刊

关键词： Web应用 / 模型检验 / 模型分化 / 测试序列

下载（38）| 被引（0）

学术研究指数分析(近十年)详情>>

发文趋势

获得支持基金

同机构合作作者

其他机构合作作者

主要合作者关系图

时间的形状

全选
全部清除
已选文献（0）
生成参考文献

用户反馈