监控系统的软件测试可靠性分析

针对舰船上的监控系统软件的实时性和高可靠性的特点，提出了这类软件的测试方法和可靠性分析方法。包括软件测试用例生成，测试最优中止时间,软件可靠性模型选择，可靠性模型分析。     

Software Testing Method Based on Model Comparison

A model comparison based software testing method (MCST) is proposed. In this method, the requirements and programs of software under test are transformed into the ones in the same form, and described by the same model describe language (MDL).Then, the requirements are transformed into a specification model and the programs into an implementation model. Thus, the elements and structures of the two models are compared, and the differences between them are obtained. Based on the diffrences, a test suite is generated. Different MDLs can be chosen for the software under test. The usages of two classical MDLs in MCST, the equivalence classes model and the extended finite state machine (EFSM) model, are described with example applications. The results show that the test suites generated by MCST are more efficient and smaller than some other testing methods, such as the path-coverage testing method, the object state diagram testing method, etc.     

高职高专软件测试课程教学模式探究

根据高职高专计算机相关专业的特点,分析高职高专《软件测试》课程教学现状,针对性的提出教学改革思路及模式。改革从课程标准的修订,理论及上机实践的课程设计,以及考核方式等方面进行探究。将高职高专学生的培养目标"以能力为本位,以就业为导向"切实融入到课程当中。     

基于系统功能的雷达探测能力软件测试方法

用软件测试角度,从雷达系统专业背景考虑,对雷达系统软件探测能力指标进行考核验证,测试用例设计基于雷达系统功能和作战使用,以期通过软件测试发现系统缺陷,体现装备软件测试的专业背景.基于系统功能的软件测试方法,将装备软件测试与装备专业理论结合起来,符合信息化装备发展的要求,符合装备软件测试按专业领域划分的要求,有利于保证测试的充分性和有效性,提升装备软件测试对装备软件质量的保障.     

装备软件接口测试自动化研究

装备软件与相关设备交联复杂,接口测试成为软件测试的重点和难点。对接口协议进行验证是接口测试中的主要内容。接口测试工作量大,耗时长,大量的重复性工作集中在数据筛选和结果验证上。将测试自动化技术引入到测试的输入输出中,通过工具代替人的重复性劳动,达到提高测试效率和质量的目的。     

元征LAUNCH实测篇:X-431 G防盗钥匙匹配系列宝马5系故障引导操作说明

一、功能介绍 故障引导主要是根据读到的故障码生成相应的检查计划,为解决故障问题提供针对性的诊断方案.目前通过元征大数据,统计了宝马软件测试的数据里,出现次数超过100的故障码,优先完成软件功能以及资料内容.     

基于需求建模的联锁软件自动化测试技术的研究与实现

基于需求的测试是软件测试的本质.通过采用线性关系抽取技术的需求建模方法,设计出一种以需求驱动生成测试用例,并结合相应的软件测试平台,完成其自动执行的测试技术.该技术能够对联锁软件中逻辑关系比较复杂的需求进行整理和化简,并能够以最小数目的测试用例实现最大化功能覆盖率的自动化测试.     

软件测试过程模型的改进研究

软件测试过程模型具有指导软件测试过程的作用,为了弥补在日益复杂的测试开发活动下软件测试过程模型的局限性,在对现有主流测试模型进行研究的基础上,提出了一种新型软件测试过程模型——改进并行模型.与传统软件测试过程模型相比,该模型能更充分地体现测试与开发活动之间的并行性、迭代性、时序性、一致性和管理性,对未来的测试开发过程具有一定的指导作用.     

基于功能规格书的软件测试流程

通过对传统瀑布模型的分析,找出瀑布模型存在的不足,并提出一种基于功能规格书的软件测试模型,该模型可以尽可能早地发现软件中的错误,避免共模错误的产生,有效地节省了测试在软件开发过程中所占的开销。