面向对象软件测试论文文献

要找那种比较不被大家关注的，但能应用到实际中的，会有好的反响不要总看市面上热门的，过几年可能就没什么意思了。16 基于统计覆盖测试技术的软件测试充分性研究 40 面向对象软件测试中的测试用例生成技术的研究 都很不错的 资料到baidu google一找一大筐

计算机专业论文参考文献

参考文献在各个学科、各种类型出版物都有着明确的标注法。以下是我为您整理的计算机专业论文参考文献，希望能提供帮助。

篇一：参考文献

[1] 刘韬，楼兴华.SQL Server2000 数据库系统开发实例导航. 北京:人民邮电出版社，2004.

[2] 丁宝康，董健全. 数据库实验教程. 北京：清华大学出版社， 2003：125-170.

[3] 孙强. 基于 的专题网站的研究与设计. 东北师范大学，2006.

[4] Michele Leroux your Apps and WCF services with Windows CardSpace. MSDN Magazine，April 2007.

[5] 肖建编. 编程实例与技巧集粹. 北京：北京希望电子出版社，2003.

[6] 巴兹拉等. 安全性高级编程. 北京：清华大学出版社，2003.

[7] Jesse C#中文版. 电子工业出版社，2006.

[8] 米切尔的等编著. 权威指南. 北京：中国电力出版社，2003.

[9] 曾登高编著..NET 系统架构与开发. 北京：电子工业出版社，2003.

[10] Jeffrey Richter. Applied Microsoft .NET Framework programming.北京：清华大学出版社， 2003.

[11] 张海藩. 软件工程导论. 北京：清华大学出版社， 2003.

篇二：参考文献

[1] 冯燕奎， 赵德奎. JSP实用案例教程[M] 清华大学出版社， 2004， 5: 70-100

[2] 王家华 软件工程[M] 东北大学出版社2001年3月303页

[3] 王宜贵 软件工程[M] 北京：机械工业出版社，2002：20-79

[4] 孙卫琴 精通struts[M]电子工业出版社 2004年8月 50-70

[5] 孙卫琴 精通hibernate[M]电子工业出版社 2005年4月 100-120

[6] 张洪斌 java2高级程序设计[M]中科多媒体出版社 2001年11月 85-90

[7] Jim Arlow and the Unified Process[M]机械工业出版社 2006年6月 30-40

[8] 林信良 技术手册[M]电子工业出版社 2006年6月 50-100

[9] 熊节、林仪明、峰、陈玉泉等主编[《CSDN社区电子杂志——Java杂志》创刊号]

[10]《程序员》杂志 2007 年第4期

[11] 耿祥义编著.JSP基础编程[M].清华大学出版社，

[12]徐建波，周新莲.Web设计原理于编程技术[M].中南大学出版社，

[13] 孙鑫编著.Java Web开发详解[M].电子工业出版社，

[14] 林上杰，林康司编著.技术手册[M].电子工业出版社，

[15] 萨师煊，王珊.数据库系统概论(第三版)[M].北京：高等教育出版社，1998.

[16] 蔡剑，景楠.Java Web应用开发：J2EE和Tomcat[M].北京：清华大学出版社，2004.

篇三：参考文献

[1]Booch G. Object-Oriented design[J]. ACM SIGAda Ada Letters. 1982，1(3)： 64-76.

[2]建模的价值IBMRational技术白皮书[R].

[3]邵维忠.杨芙清.面向对象的系统分析[M].北京：清华大学出版社.2000

[4]郑红军.张乃孝.软件开发中的形式化方法[J].计算机科学.1997，24(6)： 90-96.

[5]王一川，石纯一.基于n演算的一种Agent组织模型[J].计算机研宄与发展.2003， 40(2)： 163-168.

[6]阿丽亚娜5型火箭发射失败的调查报告[R].

[7]Booch G. Object-Oriented design[J]. ACM SIGAda Ada Letters. 1982，1(3)： 64-76.

[8]陈鑫，李宣东.基于设计演算的形式化用例分析建模框架[J].软件学报.2008，19(10)： 2539-2549

[9]夏志翔，徐中伟，陈祖希等.UML模型形式化B方法转换的实现[J].计算机应用与软件.2011，28(11)： 15-20.

[10]袁晓东，郑国梁的面向对象扩充COOZ的设计[J].软件学报.1997，8(9)：694-700.

[11]周翔.邵志清.顺序图与状态图的递归语义一致性研宄[J].计算机科学.2010，37(8)：172-174.

[12]周翔，邵志清，薛炳蔚.基于ASM的活动图一致性规则研究[J].计算机工程与设计.2009，30(19)： 4536-4539

[13]王红英.基于Petri网的软件模型验证[D].华东师范大学，2007.

[14]黄正宝，张广泉.顺序图的XYZ/E时序逻辑语义研究[J].计算机科学.2006，33(8)： 249-251.

[15]汪文元，沙基昌.谭东风.基于Petri网和UML活动图工作流建模比较[J].系统仿真学报.2006， 18(2)： 504-510

[16]Kroll P，Kruchten P. The rational unified process made easy: a practitioner's guide to the RUP[M]. Addison-Wesley Professional. 2003.

[17]Seung Mo Cho，Hyung Ho Kim， Sung Deok Cha etc al. A semantics of sequence diagrams [J]. Information Processing Letters 84. 2002: 125-130

篇四：参考文献

[1]王仁宏，数值逼近(第2版)，高等教育出版社，2012.

[2]姚永雷.Web服务自动协商机制研究(博士论文).北京邮电大学.2007.

[3]程昱.面向自治计算的自动服务协商研究(博士论文).浙江大学.2008.

[4]程皇.高济.基于机器学习的.自动协商决策模型.软件学报.2009，20(8)：2160-2169.

[5]郭静.陈英武.1-多交互协议本体的描述.计算机工程.2008，34(12)：162-166.

[6]翟社平.魏娟丽.李增智.基于概念语义协商的服务Agent划分.电子学报.2010，38(9)：2030-2034.

[7]张林兰，电子市场中的双边同步自动协商研宄(博士论文)，华中科技大学，2010.

[8]王斌.李艳.基于多Agent系统的自动协商机制及通用协商框架.计算机工程与科学.2009，31(1)：95-98.

[10]甘早斌.朱春喜.马务等.基于遗传算法的关联议题并发谈判.软件学报.2012，23(11)：2987-2999.

[11]侯薇.董红斌.印桂生.基于Bayesian学习的适应性优化协商模型.计算机研究与发展.2014，51(4)：721-730.

[12]孙天昊.电子商务中一对多协商研宄(博士论文).重庆大学.2008.

[13]吴国全.基于模式的复合服务监管关键技术研宄(博士论文).中国科学技术大学.2009.

[14]程志文.赵俊.李田等.Web服务QoS数据多源采集方法及实现.计算机科学.2009，8(8)：180-211.

[15]于卫红.基于JADE平台的多Agent系统开发技术.国防工业出版社.2011.

[16]甘健侯，姜跃，夏幼明，本体方法及其应用，科学出版社，2011.

篇五：参考文献

[1]徐福成.基于RSSI测距的无线传感器网络定位算法研宄[D].四川：西华大学，2014

[2]娄彦翔.移动无线传感器网络中节点复制攻击的高效分布式检测机制研究[D].上海交通大学、2012.

[3]孙琳.基于车载无线自俎网络的高速公路安全信息传输机制研究[D].天津：南开大学，2012.

[4]孙赫.物联网的发展与知识产权保护[D].北京：北京交通大学，2014.

[5]孙宏伟.田新广，李学春，等.一种改进的IDS异常检测模型[J].计算机学报，2004，26(11)：1450-1455.

[6]詹杰，吴伶锡，唐志军.无线传感器网络RSSI测距方法与精度分析[J].电讯技术，2010，50(4)：83-87.

[7]国务院发展研究中心产业经济研宄部，中国汽车工程学会，大众汽车集团(中国).汽车蓝皮书.中国汽车产业发展报告(2014) [M].北京：社会科学文献出版社，2014

[8]Chlamtac I， Conti M， Liu J J N. Mobile ad-hoc networking: imperatives and challenges[J]. Ad-hoc Networks，2003， 1(1)： 13-64.

[9]Choi S J， Youn H Y. An efficient key pre-distribution scheme for secure distributed sensor networks[C]//Embedded and Ubiquitous Computing-EUC 2005 Workshops. Springer Berlin Heidelberg， 2005;1088-1097.[39]Naor M，Pinkas B. Efficient trace and revoke schemes[C]//Financial cryptography. Springer Berlin Heidelberg，2001:1-20.

[10]Katsaros D， Dimokas N，Tassiulas L. Social network analysis concepts in the design of wireless ad-hoc network protocoIs[J]. Network， IEEE， 2010，24(6)： 23-29.

【摘 要】软件在开发过程中不可避免的要出现各种错误，为了最大限度地确保其质量必须进行软件测试。文章即对软件测试的主要方法进行了介绍与说明，以供参考。【关键词】软件质量；软件测试；黑盒测试；白盒测试 1、引言 随着计算机技术的迅速发展和越来越广泛深入地应用于国民经济和社会生活的各个方面，随着软件系统的规模和复杂性与日俱增，软件的生产成本和软件中存在的缺陷和故障造成的各类损失也大大增加，甚至会带来灾难性的后果。软件质量问题已成为所有使用软件和开发软件的人关注的焦点。 由于软件是人脑的高度智力化的体现和产品这一特殊性，不同于其他科技和生产领域，因此软件与生俱来就有可能存在着缺陷。如何防止和减少这些可能存在的问题呢？回答是进行软件测试。 测试是最有效的排除和防止软件缺陷与故障的手段，并由此促进了软件测试理论与技术实践的快速发展，新的测试理论、测试方法、测试技术手段在不断涌出，软件测试机构和组织也在迅速产生和发展，由此软件测试技术职业也同步完善和健全起来。 无论怎样强调软件测试的重要性和它对软件可靠性的影响都是不过分的。在开发大型软件系统过程中，我们力求在每一个阶段结束之前通过严格的技术审查，尽可能早地发现并纠正差错，如果在软件投入生产性运行之前，没有发现并纠正软件中的大部分差错，则这些差错终究会在生产过程中暴露出来的，那时不仅改正这些差错的代价更高，而且往往会造成很恶劣的后果。测试的目的就是在软件投入生产运行之前，尽可能多地发现错误。 2、软件测试的基本问题 一个软件生命周期包括：制定计划、需求分析定义、软件设计、程序编码、软件测试、软件运行、软件维护、软件停用等8个阶段。 软件测试的根本目的是为了保证软件质量。软件质量是指与软件产品满足规定的和隐含的需求的能力有关的特征或特征的全体。软件质量反映以下三个方面： 1）软件需求是度量软件质量的基础。 2）在各种标准中定义开发准则，用来指导软件人员用工程化的方法来开发软件。 3）往往会有一些隐含的需求没有明确地提出。如果软件只满足那些精确定义的需求，而没有满足这些隐含的需求，软件质量也不能得到保证。 软件质量内涵包括：正确性、可靠性、可维护性、可读性、结构化、可测试性、可移植性、可扩展性、用户界面友好性、易学、易用、健壮性。 3、软件测试的原则 1）尽早地和及时地测试应作为软件开发人员的座右铭，测试应当从软件产品开发初始阶段即开始。 2）测试用例应当由测试数据和与之对应的预期结果这两部分组成。 3）在程序提交测试后，应当由专门的测试人员进行测试，避免由程序设计者自行检查程序。 4）测试用例应包括合理的输入条件和不合理的输入条件。 5）严格执行测试计划，排除测试的随意性。 6）充分注意测试当中的群体现象，测试经验表明，约一半（47%）的错误仅与系统中4%的程序模块有关。 7）应对每一个测试结果做全面的检查。 8）保存测试计划、测试用例、出错统计和最终分析报告，为维护工作提供充分的资料。 4、软件测试的种类及方法 软件测试的种类大致可以分为人工测试和基于计算机的测试。而基于计算机的测试又可公为黑盒测试和白盒测试。这些测试方法在软件开发的最后检测阶段有着重要的作用。 黑盒测试 黑盒测试又称功能测试。黑盒测试顾名思义就是将被测系统看成一个黑盒，完全不考虑程序的内部结构和处理过程，从外界取得输入，然后再输出。也就是，黑盒测试是在程序接口进行的测试，它只是检查程序功能是否能按照规格说明书的规定正常使用，程序是否能适当地接收输入数据产生正确的输出信息，并保持外部信息的完整性。 黑盒测试在测试时，把程序看作一个不能打开的黑盆子，在完全不考虑程序内部结构和内部特性的情况下，测试者在程序接口进行测试，它只检查程序功能是否按照需求规格说明书的规定正常使用，程序是否能适当地接收输入数据而产生正确的输出信息，并且保持外部信息（如数据库或文件）的完整性。黑盒测试方法主要有等价类划分、边值分析、因果图、错误推测等。 白盒测试 白盒测试也称结构测试，白盒测试需要知道产品内部工作过程，可以通过测试来检测产品内部动作是否按照规格说明书的规定正常进行。也就是说，完全了解程序的结构和处理过程。这种方法按照程序内部的逻辑测试程序，检验程序中的每条通路是否都有能按预定要求正确工作，而不顾它的功能。白盒测试的主要方法有逻辑驱动、基本路径测试等，主要用于软件验证。 粗略看起来，不论采用上述哪种测试方法，都不可能把所有可能的输入数据都拿来进行所谓的穷举测试，因为可能的测试输入数据数目往往达到天文数字。因为不可能穷尽测试，所以软件测试不可能发现程序中的所有错误，也就是说，通过测试并不能证明程序是正确的。但是，我们的目的是要通过测试保证软件的可靠性，尽可能地发现错误并纠下错误，提高软件的质量，因此，必须仔细考试设计测试方案，力争用尽可能多的测试发现尽可能多的错误。 参考文献 [1]许静,陈宏刚,王庆人等.软件测试方法简述与展望[J].计算机工程与应用,2003,39(13):75-78. [2]戴凌宸,张朕荣,黎丰泽等.传统的软件测试方法浅析[J].科技风,2011,(16):136-137. [3]董洁,孙惠娟.软件测试方法及面向对象软件的测试[J].河南科技：上半月,2011,(9):45-46. [4]马海云,魏凯斌.一种新的软件测试方法的研究[J].自动化与仪器仪表,2010,(3):4-5. [5]崔赛英.基于结构化软件测试方法探究[J].软件导刊,2011,10(12):32-34. [6]周小涵,丁晓明.一种基于构件的嵌入式实时软件测试方法[J].科学技术与工程,2010,10(13):3116-3120.

我也要开题了，可是不知论文开题写什么