软件开发的形式化方法在程序测试中的应用

《软件开发的形式化方法》课程内容抽象且缺少简单、易懂的软件开发的形式化方法的实例．为了提高学生的学习兴趣，增强学生对软件开发的形式化方法的感性认识，从而达到掌握软件开发的形式化方法的目的，该文以软件测试的形式化方法为例，探讨了基于有限状态机的软件测试原理，开发了非确定有限状态机测试用例生成工具，并通过C程序测试例子说明基于有限状态机的程序测试方法．     

软件测试方法及面向对象软件的测试

一、软件测试方法概述 1.软件测试的概念。软件测试就是利用测试工具按照测试方案和流程对产品进行功能和性能的测试,甚至根据需要编写不同的测试工具,设计和维护测试系统,对测试方案可能出现的问题进行分析和评估。执行测试用例后,需要跟踪故障,以确保开发的产品适合需求。     

软件测试方法及面向对象软件的测试

<正>一、软件测试方法概述1.软件测试的概念。软件测试就是利用测试工具按照测试方案和流程对产品进行功能和性能的测试,甚至根据需要编写不同的测试工具,设计和维护测试系统,对测试方案可能出现的问题进行分析和评估。执行测试用例后,需要跟踪故障,以确保     

针对面向对象软件的测试

软件测试是整体软件开发中的重要一环,是确保软件质量,提高其可靠性的关键步骤。然而,传统的测试技术和方法,对面向对象技术开发的软件存在一定的缺陷。本文在分析面向对象软件开发技术特点的基础上,讨论了面向对象软件测试的测试策略、方法及测试技术。     

Z规格说明的测试用例自动生成

软件测试是软件质量保证的重要手段,测试用例的生成是软件测试的关键和难点.文中应用范畴划分测试方法产生测试框架,并引入线性规划模型,通过构造线性规划模型来实例化测试框架,并且较好地解决了测试框架是否可行的判断问题.同时结合票据计算的例子,探讨了从Z规格说明推导出测试用例的过程、方法和技术.     

浅谈软件测试方法

新软件的开发和推行维护过程中的软件功能正确性、完整性必须依赖于软件测试,测试在软件开发过程中占有40%的地位。软件测试的方法繁多,仔细研究测试方法成为提高软件正确性的重要环节。     

心理学与软件测试探讨

本文通过对大型ＣＡＤ软件系统的测试，从心理学的角度描述了软件的测试及纠错过程中测试人员的心理活动，探讨了心理学的成果对软件测试人员的指导意义，从而应用更科学的测试手段确保软件系统的可靠性。对把心理学的成果应用于软件工程这样一个具有极大潜力的交叉学科进行了初步探讨。     

自动化软件测试技术与平台

<正>软件测试作为软件工程学科的一个重要分支,随着软件技术的发展而不断进步。20世纪70年代以来,国内外许多学者和组织在软件测试方面进行了大量的研究工作,形成了一些经典的软件测试技术和软件测试流程管理规范。美国的IEEE、ACM等组织制订了一系列软件测试规范,美国卡内基梅隆大学的软件工     

浅谈软件测试技术

本文简单介绍了软件测试的必要性和目的,阐述了软件测试的静态和动态方法,最后详细介绍软件测试活动的详细过程。     

基于S7-1200的电动机附加损耗测试系统设计

根据EH-star法电动机附加损耗的测试原理,设计了一套以S7-1200为控制核心和以Wincc为组态软件的电机附加损耗测试系统。该系统采用S7-1200控制设备运行和数据的采集,利用OPC技术建立了S7-1200与Wincc的通讯,通过组态软件Wincc对数据进行处理,实现了电动机附加损耗的自动测试。该系统解决了在人工测试时,数据处理速度慢、误差大等问题,提高了测试效率和测试结果的准确度。     

软件系统序贯验后加权检验模型

本文用Bayes动态模型检验软件可靠性．模型失效间隔时间长度服从weibull分布；利用主观信息和客观信息逐步修正先验分布．利用Gibb方法计算后验样本，利用序贯验后加权检验系统的稳定性和失效率．最后在系统稳定的条件下，给出失效率的序贯验后加权的结尾检验的两类错误上界．     

测试仪器仪表软件的研制

随着计算机多媒体技术的普及，计算机辅助教育开始渗透到各行各业。本文着重介绍了自行研制开发的油田测试仪表工岗位培训辅助软件--《测试仪器仪表》软件，主要内容包括软件的必要性，软件的主要内容，软件的技术特色，制作体会等。     

计算机脚本驱动快速测试技术与应用

提出了一套计算机脚本驱动快速测试策略,包括多项目多班组流水线测试策略、工程模型测试策略、计算机脚本驱动的测试策略、自编文档测试策略以及多部门交叉培训策略．在组合多个测试策略的情况下,可保证在严格的时间要求下完成快速测试任务．     

一种多任务实时软件可靠性模型

根据实时多任务软件的特征和各任务所占系统时间的非均匀分布，以任务模块为基本单元，提出一种实时任务软件可靠性评价模型。该模型所需参数易分析和计算，具有良好的可实现性和可扩充性，为实时多任务软件的可靠性评价开辟了一条新途径。     

语言测试理论及其实践和发展

80年代以来，语言测试在理论技术上有了很大的发展，从过去只看单一的 语言能力的测试对受试进行全面的 能力测试；测试的设计和开发从原先的只注意考试内容规范，到强调一致性和有用性的，说明语言测试的发展提高了测试标准评估的科学性和可靠性程度。因此，对英语教师在实际测试设计中有重要的指导意义。     

MAP宽带通信子网研究与实现

该文介绍一种参照MAP(制造自动化协议)标准研究并实现的宽带通信子网,它主要由ISO/OSI参考模式的下三层,即物理层、数据链路层和网络层组成.该通信子网已在实验室成功地进行了数据传送实验.     

利用自适应遗传算法的芯片功能验证自动测试

摘要： 针对芯片功能验证中存在的验证时间长以及与被测系统依存度高的问题,提出了利用自适应遗传算法的芯片功能验证自动测试方法. 定义了事件的功能覆盖率和翻转覆盖率,分析了两种覆盖率之间的关系,采用两种覆盖率共同构造适应函数,提高了验证的可靠性. 与采用经典遗传算法的验证方法相比较,能达到相同的覆盖率,同时可减少25%-30%的测试时间,提高了仿真效率.     

基于构件/构架的雷达电源测试台软件框架设计

应用构件，构架技术来设计雷达电源测试台软件框架．介绍了软件的框架设计，并描述了框架中各组成部分的作用和相互关系．结果表明，构件，构架技术可有效地实现测试系统软件的重用。