一种面向功能安全的新型软件测试方法

随着人们对汽车功能安全的关注,ISO26262成为汽车电控系统开发的重要标准.在汽车电控系统中,微控制器的应用软件对各种故障的容忍度是重要的安全指标.当应用软件设计完成后,对故障容忍的测试是至关重要的.选用AURIX系列TC397芯片作为芯片原型,引入Virtualizer开发套件(VDK)虚拟建模工具,搭建真实的软件运行环境,对基于TC397开发的应用软件在软硬件集成的层面上进行故障注入测试,利用故障注入的方法,查看基于TC397开发的系统软件行为及配置是否正确,验证了ASIL-D目标下的软件安全机制的诊断覆盖率.研究结果为芯片级别软硬件集成测试提供了方法.     

安全关键软件测试设计方法

文章依据安全关键软件测试理论,并结合以往的测试经验和实际测试工作需求,提出了一种简单实用的安全关键软件测试设计方法。本方法可以提高测试效率,更准确地发现存在的问题,极大地减少了测试时间和工作量。     

我校承建的厦门市软件评测中心成立

<正>2014年1月,由我校承建,获得福建省经济和信息化委员会批准的厦门市软件评测中心成立。此中心作为软件测试机构开展软件产品登记测试服务。厦门市软件评测中心是按照厦门市创建中国软件名城的总体部署和高起点、高标准、高水平的建设要求,依托厦门理工学院设立的集科研、检测、质量服务为一体的第三方软件评测机构。中心面向政府、软件企业及相关机构,提供软件产品检测、技术咨询、人才培训、工具及环境共享等公共服务。作为厦门市创建中国软件名城重要的公共服务平台,该中心的成立结束了厦门市软件产     

基于分组的并行程序多路径覆盖测试数据进化生成

尽管并行软件测试已经得到软件工程界的广泛关注,但是,如何高效生成覆盖并行软件多条路径的测试数据,相关的研究还比较少。本文研究消息传递并行程序多路径覆盖测试数据生成问题,并提出基于分组的测试数据进化生成方法。首先根据并行程序包含的进程数、可用的计算资源以及路径相似度,将目标路径分成若干组,并基于每组目标路径,建立多路径覆盖测试数据生成问题的数学模型;然后采用多种群并行遗传算法求解上述模型,使得一次运行遗传算法,生成覆盖所有目标路径的测试数据。性能分析表明,所提出的目标路径分组方法不但能够保证不同组包含的目标路径相差很少,而且同一组的目标路径之间具有很大的相似度。将所提方法应用于4个基准程序的测试中,并与已有方法比较,结果表明,所提方法在保证路径覆盖率的前提下,可大大缩减个体评价次数和耗时。     

基本路径生成算法的图形化设计与实现

介绍了一种从程序VISIO流程图直接获取基本路径集合的算法。在前期研究的基于图深度优先搜索的基本路径集自动生成优化算法基础上,利用VSTO工具开发了图形界面处理程序,提取VISIO图元信息,分析处理图形矩阵并生成基本路径集合,保证基本路径集合的客观性与软件易操作性。     

软件性能测试实验教学设计

软件测试是保证软件质量的重要手段,许多高校都开设了相关课程。软件测试是一门技能型课程,应重视其实践环节,包括理论方法的应用及常用工具的使用等。性能测试主要测试系统在大业务量及大数据量下的性能表现,是系统测试中的一个重要方面。以某科研项目中的软件测试过程为原型,由浅至深设计了基于Jmeter的性能测试实验步骤,包括Jmeter中的基本概念和控制结构,以及提交参数内容可变、参数个数可变等高级应用。讨论了数据库设计对系统性能的影响,并介绍了利用索引技术优化数据库性能的一般原则。     

浅谈如何提高软件测试课的教学质量

目前,软件测试人才短缺的问题愈来愈严重,造成该问题的主要原因在于软件测试课的教学不能满足社会的需要。本文从分析该课程的教学现状出发,针对其教学目标,就如何提高教学质量提出了一些建议。     

基于形式规约的软件测试用例自动生成技术研究

在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展．该方法基于软件的Z语言规约;以HierOns提出的推理规则为基础,提出了分裂树的算法,将操作模式的约束条件转换为形如ViPi∧Qi的析取范式;然后根据析取范式将Z语言描述的操作模式划分为子操作模式;依据子操作模式的前置条件和后置条件,将子操作模式作为状态转换图的转换关系,构建了被测试软件的状态转换图;依据状态转换图,提出了相应的状态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则．     

Web Services-Based Test Report Generation

Tests involving a large number of test cases and test scenarios are always time- and effortintensive, and use ad hoc approaches. Test management is needed to control the complexity and the quality of the testing of large software systems. The reporting mechanism is critical for monitoring the testing progress, analyzing test results, and evaluating the test effectiveness for a disciplined testing processthroughout the testing lifecycle. This paper presents an XML-based report generation method for large system testing. The service-oriented architecture enables flexible test report generation, presentation, and exchange to facilitate collaboration in a distributed environment. The results show that proper reporting can effectively improve the visibility of the testing process and that this web-based approach is critical to enhance communication among multiple testing groups.     

基于合约的构件易测试性设计支撑工具的设计与实现

构件技术的新特点为构件测试带来挑战.合约式设计是一种重要的软件易测试性设计方法.基于合约的构件易测试性设计为构件测试提供了一种有效的手段.设计并实现了一种新的合约式设计工具(PKUJDBCT),为构件的易测试性设计提供有力的支撑,并为今后进一步研究基于合约的构件易测试性设计方法打下了良好的基础.