教学课程资源库 更多>>

关键词： 符号执行   软件测试   数组混淆   约束求解  

摘要： 符号执行是静态分析中的一项常用技术,数组元素混淆问题是限制符号执行本身性能的关键因素之一。通过分析数组混淆实质,提出了一种分支混淆算法,利用边混淆边符号执行的策略,可以处理较为复杂的数组问题。该策略使用实时的约束求解,及时地剪除不可达的混淆分支。结合符号执行和约束求解技术,开发了基于分支混淆算法的工具原型ASym。初步实验表明,利用分支混淆算法可以处理具有分支结构的数组混淆问题,避免延迟替换出现的数组语义误差,且在很大程度上缩减了分支数量,提高执行效率。

关键词： Software testing  

摘要： With the wide application of computer technology, the software industries have realized a rapid development, people have become increasingly demanding the software quality, software quality has become the lifeblood of software companies' survival and development, and software testing plays an irreplaceable role in software quality assurance, therefore, a good design and implementation of software test program becomes of great importance. This paper, first combines with the contents of software testing and unit testing, and takes an existing ATM simulation system as a software testing case, implements software unit test for login module, withdrawal module, password modification module and transfer module of the system, verifies the correctness of these modules through software testing, finds some shortcomings and problems, and proposes some amendments. This test demonstrates the importance of software testing, hoping to provide some references for design and implementation of similar software test programs.

关键词： 软件测试   静态测试   动态测试   黑盒测试   白盒测试  

摘要： 文章简述现代软件质量的国际标准、分类和常用现代软件测试技术。

关键词： 软件质量   软件测试   软件开发  

摘要： 本文从软件质量的内涵、软件质量的标准、软件质量的保证措施等几个方面对软件开发过程质量的项目管理进行了分析和探讨,旨在对于我们软件开发质量的提升起到一定的指导作用。

关键词： 面向对象   软件测试   方法的测试   类集的测试  

摘要： 主要讨论了程序编写完后方法和类的测试,并结合实践给出了测试策略;结合实际基于面向对象的测试方法,设计了相应的测试用例,提出了一种新的基于类集的测试方法,该方法针对软件测试过程中类测试速度要求及类涵盖要求而设计,提高了类测试效率。

关键词： 国际认证   软件测试   工程师   Cert   总裁   IT   职业   软件企业  

摘要： 国际认可的ISTQB软件测试工程师认证已进入我国多年,受到国内众多软件企业的关注。近日,专注于IT资格认证的Cert-IT(策越)总裁Thomas Michel先生专程来到上海,与上海市软件行业协会副会长兼秘书长杨根兴教授进行了会面,双方就企业关心的问题做了深入沟通和交流,共同认为,ISTQB软件测试工程师认证在中国的推广开展,势在必行。

关键词： 软件测试   教学改革   项目建设  

摘要： 《软件测试技术》是计算机科学与技术学科的一门新兴课程,本文对该课程的教学改革与实践成果进行了总结,重点对教学内容、教学方式和课程项目建设进行了深入探讨,最终提高了学生的软件测试技能并初步培养了学生的创新意识。

关键词： 高职软件测试   课程开发   教学模式  

摘要： 文章剖析了软件技术专业对应岗位的测试工作任务技能要求,提出了软件测试课程的整体设计思路和原则,主要从课程设计、教学方法、课程保障等方面探讨了软件测试课程建设方案。

关键词： 软件测试   趋势图   缺陷收敛决定技术   测试退出准则  

摘要： 在软件测试中,测试何时退出测试?测试的退出准则是什么?一直是困扰软件测试的问题。缺陷趋势图是常用的一种方法,但是缺陷趋势图是依靠每日发现问题的趋势去衡量是否可以退出,存在一定的主观性和局限性。缺陷收敛决定技术是日本NEC公司采用的一种量化方法来判断测试是否能够退出。本文主要介绍了传统的缺陷趋势图和缺陷收敛技术以及在项目中采用缺陷收敛技术需要的条件。

关键词： 高职院校   课程案例库   案例库建设   软件测试技术  

摘要： 当前,高职院校建设课程案例库势在必行。课程案例库可以为授课教师提供各类型丰富的教学准备内容和积累大量的真实案例,为学生自学和练习提供充足的资源,同时又可以作为学生课外知识扩展和补充,是有效优化和开展高职教育教学、提高教学质量、实现教学目标的保障和重要手段。