首页 新闻 论坛 群组 Blog 文档 下载 读书 Tag 网摘 搜索 .NET Java 游戏 视频 人才 外包 培训 数据库 书店 程序员
中国软件网
欢迎您:游客 | 登录 注册 帮助
    • 请问有人做基于模型的软件测试吗
    进入用户个人空间
    加为好友
    发送私信
    在线聊天
    • ddyang
    • 等级:
    • 可用分等级：
    • 总技术分：
    • 总技术分排名：
    • 揭贴率：
    发表于：2008-08-22 09:07:25 楼主
    最近开始做这方面，但是没什么进展，哪位也是做这方面的研究，能否给点指导？谢谢了
    20  修改 删除 举报 引用 回复
    进入用户个人空间
    加为好友
    发送私信
    在线聊天
    • prettyboy923
    • 等级:
    • 可用分等级：
    • 总技术分：
    • 总技术分排名：
    发表于：2008-08-22 22:43:361楼 得分:0
    基于模型的软件测试技术是针对软件中的一些常见的软件模型而提出的一种测试技术，如故障模型、安全模型、死锁模型等.
    优点
    （1）工具自动化程度高以及测试效率高，检测所需时间较短；
    （2）基于模型的软件测试技术往往能发现其他测试技术难以发现的故障。
    基于模型的软件测试技术
    缺点
    (1）误报问题。通常基于模型的软件测试技术都属于静态分析技术，由于某些故障的确定需要动态的执行信息，因此对于基于静态分析的工具来说，误报问题是不可避免的。
    (2）漏报问题。漏报问题主要由模型定义和模型检测算法引起。目前对于软件模式没有一个规范的、统一的和形式化的定义。
    (3）模型机理。由于编程过程中，程序员具有较强的个体性，因此软件模型是多种多样的。
    修改 删除 举报 引用 回复
    进入用户个人空间
    加为好友
    发送私信
    在线聊天
    • kelph
    • 等级:
    • 可用分等级：
    • 总技术分：
    • 总技术分排名：
    发表于：2008-08-23 09:52:482楼 得分:0
    什么模型
    修改 删除 举报 引用 回复
    进入用户个人空间
    加为好友
    发送私信
    在线聊天
    • ddyang
    • 等级:
    • 可用分等级：
    • 总技术分：
    • 总技术分排名：
    发表于：2008-09-17 09:18:073楼 得分:0
    用抽象状态机模型做测试
    修改 删除 举报 引用 回复
    进入用户个人空间
    加为好友
    发送私信
    在线聊天
    • AwL_1124
    • 等级:
    • 可用分等级：
    • 总技术分：
    • 总技术分排名：
    发表于：2008-09-17 11:57:214楼 得分:0
    不是很理解
    顶个 先·

    修改 删除 举报 引用 回复
    网站简介－广告服务－网站地图－帮助－联系方式－诚聘英才－English－ 问题报告
    北京创新乐知广告有限公司 版权所有 京 ICP 证 070598 号
    世纪乐知(北京)网络技术有限公司 提供技术支持
    Copyright © 2000-2008, CSDN.NET, All Rights Reserved