位置：成果数据库 > 期刊 > 期刊详情页
对基于模型诊断测试理论的修正与扩充
  • ISSN号：1000-9825
  • 期刊名称：《软件学报》
  • 时间：0
  • 分类：TP18[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
  • 作者机构：吉林大学计算机科学系,长春
  • 相关基金：国家自然科学基金!(Nos.69783009,69873047,6 9903005)资助
作者： 李占山, 姜云飞
关键词： 相关测试, 测试条件, 模型诊断, 测试理论, 人工智能
中文摘要：

虽然ＭｃＩｌｒａｉｔｈ和Ｒｅｉｔｅｒ对基于模型诊断的测试进行了阐述，但他们的工作限定条件过于严格，该文放宽了相关测试定理的限定条件，给出了修正后的相关测试定理及其证明，作为对ＭｃＩｌｒａｉｔｈ工作的推广，对鉴别诊断原理的测试条件进行了扩充，提高了鉴别测试的适应性。

同期刊论文项目
基于模型的诊断研究及其应用
期刊论文 6
常识推理与逻辑程序的扩展
期刊论文 1
同项目期刊论文
基于算子矩阵模型的程序诊断方法
用对分HS—树计算最小碰集
一种基于规划知识图的规划识别算法
期刊信息
  • 《软件学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国科学院软件研究所 中国计算机学会
  • 主编：赵琛
  • 地址：北京8718信箱中国科学院软件研究所
  • 邮编：100190
  • 邮箱：jos@iscas.ac.cn
  • 电话：010-62562563
  • 国际标准刊号：ISSN：1000-9825
  • 国内统一刊号：ISSN：11-2560/TP
  • 邮发代号:82-367
  • 获奖情况:
  • 2001年入选中国期刊方阵“双百期刊”,2000年荣获中国科学院优秀科技期刊一等奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论（网络版）,波兰哥白尼索引,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:54609