一种基于使用模型和可执行规格说明软件测试框架-software t framework based on usage model and executable specification.docxVIP

下载本文档

4
0
约5.16万字
约 67页
2018-06-03 发布于上海
举报
版权申诉

一种基于使用模型和可执行规格说明软件测试框架-software t framework based on usage model and executable specification.docx

1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
7、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

一种基于使用模型和可执行规格说明软件测试框架-software t framework based on usage model and executable specification

图5-4采用hdb后端时数据库“dn2id.bdb”的存储示例47图5-5目录项在slapd内存中的结构48图5-6目录树在slapd内存中的结构49图5-7目录数据在Tester中的类型50图5-8目录树在Tester内存中的结构50图5-9Tester的search函数实现50图5-10函数get_candidates的实现51图5-11函数get_subtree_dn的实现51图5-12get_subtree_dn的C语言实现52图5-13函数bdb_dn2entry的实现52图5-14函数bdb_cache_find_ndn的实现53图5-15ID号在内存中的存储56图5-16Tester对filter的词法语法分析结果57图5-17filter在slapd中的结构57表格清单表3-1不同情况的论证...........................................22表3-2测试软件Tester的统计数据表24表3-3实体属性比例分析表........................................25表4-1元素交互关系说明表.......................................30表4-2被测件功能点和测试点.....................................31表4-3测试系统结构关系表.......................................32表4-4对图4-7中实体和属性的简要说明...........................33表4-5事件基本类型slapd_command34表4-6事件基本类型slapd_command_result35表4-7事件基本类型bind_request35表4-8事件基本类型bind_result36表4-9事件类型event_type36表5-1测试点覆盖用例表..........................................42表5-2测试软件Tester代码信息表43表5-3slapd被覆盖代码说明44表5-4目录项示例...............................................46表5-5结构类型Entry的成员48表5-6bdb_dn2entry代码类别统计表53表5-7bdb_cache_find_ndn代码类别统计表54表5-8bdb_cache_find_id代码类别统计表55表5-9bdb_dn2entry与get_subtree_dn代码类别统计表55表5-10确定搜索候选节点时slapd与Tester的实现代码类别统计表...57表5-11filter处理以及候选节点筛选时Tester与slapd的代码分类统计表..........................................................58独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果。据我所知，除了文中特别加以标志和致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得合肥工业大学或其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。学位论文作者签字：程胜来签字日期：2009年06月08日学位论文版权使用授权书本学位论文作者完全了解合肥工业大学有关保留、使用学位论文的规定，有权保留并向国家有关部门或机构送交论文的复印件和磁盘，允许论文被查阅或借阅。本人授权合肥工业大学可以将学位论文的全部或部分论文内容编入有关数据库进行检索，可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。（保密的学位论文在解密后适用本授权书）学位论文作者签名：程胜来导师签名：邵堃签字日期：2009年06月08日签字日期：2009年06月09日学位论文作者毕业后去向：工作单位：电话：通讯地址：邮编：第1章引言1.1背景以及相关工作60年代中期以后，计算机硬件技术日益进步，计算的存贮容量、运算速度和可靠性明显提高，生产硬件的成本不断降低。计算机价格的下跌为它的广泛应用创造了极好的条件。在这种形势下，迫切要求计算机软件也能与之相适应。因而，一些开发大型软件系统的要求提了出来。然而软件技术的进步一直未能满足形势发展的需要，在大型软件的开发过程中出现了复杂程度高、研制周期长、正确性难以保证的三大难题。遇到的问题找不到解决办法，致使问题堆积起来，形成了人们难以控制的局面，出现了所谓的“软件危机”。如果开发的软件隐含错误，正确性、可靠性得不到保证，那么在运行过程中很可能对整个系统造成十分严重的后果，轻则影响到系统的正常工作