教学课程资源库 更多>>

关键词： 软件测试   区间   赋值运算   控制流图  

摘要： 随着计算机技术的飞速发展,软件的覆盖面越来越广,软件质量的保证成为了一个越来越重要的环节。结构体在程序设计语音中被广泛使用,在静态代码检测的时,对结构体变量进行区间运算的时候不能给出其明确的区间信息,会对其相关运算的判断精度造成影响,本文介绍了一种对结构体赋值运算的区间计算方法。首先,从抽象语法树中识别结构体变量节点,其次为他们建立抽象内存模型,再次根据控制流图节点在其进行赋值运算的时候对它的子成员变量进行运算。

关键词： 路径剖析   过程间路径   多态   动态分析   软件测试  

摘要： 该文在过程内剖析技术的基础上提出了一种新的过程间路径剖析方法PIP,能够精确地编码过程间路径和方法级执行序列.为了有效地处理方法间多态等复杂调用,文中提出了一种新的剖析模型PCCG(Polymorphic Cluster Call Graph),能够精确描述多态信息,并且支持以"方法集簇"的方式对多个被调用方法统一处理,简化调用结构,减少剖析耗费.基于PCCG模型,PIP方法能够精确地进行过程间路径剖析,并可采用多种方法集簇策略来优化剖析效率.理论分析和实验结果表明,PIP方法具有较高的精确性和循环处理能力,且各种集簇策略能够适应不同的应用情况,有效地提升效率.

关键词： 武器装备   软件工程化   质量   软件测试  

摘要： 分析了武器装备软件工程化的现状,从重视武器装备标准的学习与应用、对武器装备软件进行细化分级控制、分阶段进行软件评审、加强软件测试四个方面提出了在现有基础上提高武器装备软件工程化水平,增强武器装备软件质量的可行性方法。

关键词： 高职   软件测试   课程建设   实践  

摘要： 高职院校软件工程专业的软件测试技术课程大多形同鸡肋。针对目前学校课程设置现状,从课程建设、教学内容,实践训练,师资引进等方面进行分析,提出了改革课程教学的具体实践性和可行性的措施和建议,以便更好的提高测试类课程的教学效果。使软件测试能真正成为高职学生职业能力培养的一个重要技能。

关键词： 软件测试   并行程序   路径覆盖   测试数据   遗传算法  

摘要： 测试数据生成是软件测试的关键,近年来得到国内外学者的广泛关注.但是,已有的研究成果主要面向串行程序.任务划分、进程调度和网络延迟,使得并行程序的执行具有不确定性,给并行程序的测试数据生成带来很大挑战.文中研究消息传递并行程序面向路径覆盖的测试数据生成问题,提出并行程序的路径表示,定义等价路径并给出寻找方法.基于此,建立并行程序路径覆盖测试数据生成问题的数学模型,并采用遗传算法求解该模型.作者将所提方法应用于6个基准测试程序,并与随机法比较.实验结果表明,文中所提方法可以高效生成覆盖目标路径的测试数据.

关键词： 软件测试   教学模式   改革   探索  

摘要： 在软件产业急速发展的带动下,软件测试人才的需求量剧增,而目前软件测试课程教学模式的人才培养已无法满足市场的需要。为此,根据软件测试课程教学模式的现状,对现有的教学模式进行了改革,提出了"211阶段与抛锚式教学"相结合的新的教学模式,教学实践表明效果良好。

关键词： Pricing   Mobile apps  

摘要： The article reports that retailer Charlie Corkell of Bicycle Habitat used shopping app on her smartphone to check the prices of bicycles and products during the September 2013 Interbike trade show and to determine which suppliers adhere to MAP pricing policy.

关键词： 软件测试   高职院校   培养目标   人才培养  

摘要： 以企业需求为导向,以能力培养为核心,根据当前市场人才需求,以"产教结合"办学思想为指导,并以正大软件职业技术学院为研究对象,经过三年多的探索与实践,建立了全新的课程体系,教学内容符合现代软件产业发展需要,形成了自己的特色,可以为高职院校创办软件测试专业提供一定的参考。

关键词： 软件测试   服务外包   人才培养模式  

摘要： 在分析软件测试职业发展及能力需求的基础上,确定软件测试外包专业的人才培养目标.构建并实施政府引导,学院、培训机构、企业三方合作的一站式人才培养模式,通过多学科集成的课程建设,实行任务驱动、工学一体教学模式,完成学生毕业即就业的角色转换,实现软件测试外包专业人才的直接输入与对口输出.

关键词： 软件测试   测试用例   故障树   等价类  

摘要： 为了解决软件测试时高可靠性安全性要求,测试用例设计的充分性和有效性不足的问题,软件故障树分析结合等价类原则解决了测试用例设计的充分性和有效性问题。通过对软件的故障模式进行分析,在建立软件故障树的基础上获得了软件故障树的最小割集。以最小割集为模型,结合等价类划分方法实现了测试用例设计,并根据该方法开发了测试用例自动生成工具。通过测试项目实际应用表明,采用该方法进行测试用例设计可以满足测试的充分性和有效性要求。