【摘 要】
：
测试描述是对软件测试事件和测试指令序列的规范化描述,是软件自动化测试的有力支撑.本文通过对软件测试过程的分析,在嵌入式软件测试描述方法中引入面向对象技术,对嵌入式软
【机 构】
：
北京航空航天大学工程系统工程系,北京,100083
【出 处】
：
中国航空学会可靠性工程专业委员会第十届学术年会
论文部分内容阅读
测试描述是对软件测试事件和测试指令序列的规范化描述,是软件自动化测试的有力支撑.本文通过对软件测试过程的分析,在嵌入式软件测试描述方法中引入面向对象技术,对嵌入式软件测试中实时特性、反馈特性等进行合理的封装,提出了一个基于场景的测试设计框架的思路,使用户能通过测试对象建模及模型实例化来完成一次测试的描述,从而提高嵌入式软件测试设计的效率和可重用性.
其他文献
对于解决农民看病贵问题,党中央、国务院十分重视.农民看病难、看病贵,以至于因病致贫、因病返贫的问题是我国全面建设小康社会必须关注和解决的一个重大社会问题.农民看病贵
本文首先介绍了软件质量编程技术的概念和起源,又结合软件开发过程介绍了质量编程生命周期过程,重点介绍了质量编程的输入域、产品单元定义和产品单元缺陷定义和软件验收准则
仿真测试方法是解决嵌入式软件可靠性测试的一种有效手段,根据仿真方法所依赖的测试系统可以将其分为全数字仿真、半实物仿真和全实物仿真三种类型,本文从分析可靠性测试系统
详细、准确的软件使用模型是软件可靠性测试的基础和保证.当前各种软件可靠性测试方法普遍存在对软件实际使用情况描述不全,不清、不便的问题,文章提出了一种基于三层结构的
文章分析了软件可靠性测试中确定最小测试集的重要意义,阐述了非实时软件的可靠性测试数据的生成方法和可靠性测试数据的统计特征,提出了一种确定最小测试集的理论依据,并给
虽然软件工程的重要性在国内软件领域已被认可,但实施的情况并不令人满意.软件的文档问题仍然非常突出,这对开展第三方软件系统测试是一个严重的障碍.本文利用卡耐基.梅隆大
针对嵌入式软件中随机出现的一些关键疑难故障,提出一套新颖的自动化故障诊断方法,综合应用SFTA和SFMEA技术,对软件进行故障建模以及故障分析,将软件的故障分析定位到相应的
模型驱动架构(MDA:ModelDrivenArchitecture)是OMG提出的新的软件开发方法,被面向对象技术专家预言为未来两年里最重要的方法学.PIM模型是MDA方法中的高层抽象模型,是MDA方法
试验设计在软件测试领域的应用已进入组合测试阶段,组合测试的一个关键问题是确定测试数据需要覆盖的因素组合数目.文中提出了一套完整的软件失效因素分析方法,从相似软件或
软件代码走查是一种经济、高效的静态测试方法,对提高软件产品的质量和可靠性发挥了重要作用.但对于走查过程中代码浏览、缺陷检查以及缺陷信息的管理等仍普遍采用人工手段,