测试充分性准则

作品数:14被引量:49H指数:4
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:王峰缪淮扣李虎施寅生朱彬更多>>
相关机构:北京系统工程研究所上海大学北京航空航天大学南京大学更多>>
相关期刊:《计算机工程与应用》《计算机工程与设计》《北京航空航天大学学报》《清华大学学报(自然科学版)》更多>>
相关基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划黑龙江省教育厅科学技术研究项目更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=软件学报x
条 记 录,以下是1-2
视图:
排序:
对逻辑覆盖软件测试准则的公理化评估被引量:9
《软件学报》2004年第9期1301-1310,共10页刘玲 缪淮扣 
国家自然科学基金~~
由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选...
关键词:基于规格说明的测试 逻辑覆盖测试准则 公理化评估 测试充分性准则 
超文本应用软件测试充分性准则初探被引量:3
《软件学报》1997年第A00期130-136,共7页金凌紫 朱鸿 
在开发超文本应用软件时,测试是费时费力的工作。现有软件测试充分性准则并非直接适用于超文本应用软件。本文首先讨论超文本应用的三级测试需求;节点级验证节点中所今信息的正确性,链接级检接实现的正确性、系统结构对系统结构进行...
关键词:测试充分性准则 超文本 应用程序 
检索报告 对象比较 聚类工具 使用帮助 返回顶部