基于无关变量分离的EFSM测试数据进化生成

扩展有限状态机（EFSM）相比于有限状态机（FSM）能够更加精确地刻画系统的动态行为,因而广泛作为各种控制流与数据流系统的测试模型。在EFSM模型的测试中,使用搜索的方法获得触发目标测试路径的测试数据是近年来的一个研究热点。为进一步提高搜索效率,在遗传算法（GA）的基础上提出一种自动分离测试路径中无关输入变量的方法,该方法通过分析模型中变量与迁移间的关系,判定不影响子路径中谓词条件的无关输入变量,进而从个体中将其分离以实现搜索空间的自动缩减,提升测试数据生成效率。对几种具有不同复杂度的基准EFSM模型进行实验后的结果表明,该方法生成有效测试数据的成功率均达到98.2%以上,且与未分离输入变量的遗传算法相比,所需平均迭代次数减少44.7%~85.9%,平均运行时间减少24.1%~85.5%。      

NASDA对CCSDS文档传输协议（CFDP）的研究—关于现有研究活动和未来应用计划

日本宇宙事业开发团 (NASAD)对CCSDS文档传输协议 (CFDP)进行了研究。从 1 998年初开始 ,NASDA一直参与并支持CCSDS 1F小组的文档传输协议研究。作为CCSDS研究活动的一部分 ,NASDA进行了一系列由NEC东芝空间系统公司支持的CFDP实现活动。对CFDP的研究有两个目的 :一是作为CCSDS的成员机构对CCSDS的标准化进程做出贡献 ;二是在空间与地面数据系统中建立文档传输和处理方式。NASDACFDP软件已经对CCSDS做出了贡献 ,该软件与其他空间局开发的软件一起用于评估CFDP指标。NASDA开发了两种测试工具。一种是用于空…     

修正的条件/判定覆盖相关的问题

通过讨论进行修正的条件/判定覆盖(MC/DC)分析时可能会遇到的问题,明确所有布尔表达式、按位运算等程序代码结构均需要满足MC/DC,并证明如果将一个判定分解为多个等价的判定,对各个部分满足MC/DC的测试集,对整个判定并不一定满足MC/DC。同时指出汇编语言程序同样需要考虑MC/-DC问题,提出MC/DC分析发现问题的方式,以及对问题的处理建议。     

旋极公司和空间中心联合举办“探月项目软件测试培训”

2004年7月9日，旋极公司和中国科学院空间科学与应用研究中心(简称空间中心)在北京科技大学逸夫楼联合主办的为期一周的“探月项目软件测试”培训圆满结束。     

编队信息融合软件测试

介绍了依据软件测试技术理论,结合编队信息融合软件的具体情况,对其进行自动化测试系统设计,尤其是新开发了一套规范的而向对象的想定描述语言和可以独立于测试系统的测试用例,最后对测试的实施作了介绍.     

软件可靠性及其评估

软件可靠性性工程是一门与软件工程密切相关的可靠性工程新的分支学科。随着嵌入式计算机在战术导弹武器系统中的应用，人们已愈来愈重视软件可靠问题。本文在分析了软件可靠性特征和可靠性模型的基础上，通过实例介绍了软件可靠性测试软件可靠性评估的一些方法。     

面向人机交互式软件的测试模型建模方法

从测试用例自动生成和自动执行的角度来探讨如何对人机交互软件建立测试模型。采用UML活动图模型来描述软件的人机交互过程。为了能够从活动图模型中生成一组确定的可执行的测试用例，给出了一组规则来细化基于活动图的测试模型所表达的语义，同时也对活动图做了一些扩展，以支持基于模型的测试用例自动生成及其自动执行。给出的建模方法，能够减少某些冗余的测试用例。     

基于StP CASE工具的软件自动测试环境的设计与实现

在软件开发过程中,软件测试费用占总成本的50％左右,为降低测试费用和进一步提高软件测试质量,软件测试自动化是必要的。本文以 StP CASE为例,构造了基于StP的自动测试环境,并通过实例进行了验证。研究表明,这种自动测试环境具有测试效率高、可靠性好、易维护等优点,对今后开展这方面的测试研究具有一定的参考价值。     

几种特定判定形式的MC／DC评估分析

介绍了对几种特殊形式的判定进行修正的条件／判定覆盖评估分析的方法。这些形式包括比较运算判定、带短路逻辑的判定、顺序if结构、位运算判定、带反馈判定和带屏蔽判定。