Real-time embedded software testing method based on extended finite state machine

The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.

程序执行时间的静态预估与可视化分析方法

软件时间性能分析与评估技术是实时软件开发中的一个重要课题.提出了一种基于控制流程图的程序执行时间的可视化分析框架,研究了中间代码段与源程序中语句的对应关系的自动分析、源程序语句行的CPU周期数的提取和计算方法、基于控制流程图的点到点最大时间分析算法和CPU周期的绝对时间估计方法.设计并实现了一个实用的基于控制流程图的程序执行时间静态分析与评估工具.最后,对研究工作进行了相关比较和总结.

实时软件测试用例构造方法研究

在分析实时软件特征的基础上，从任务组合和等价类划分两个主要环节探讨了软件测试用例构造策略，总结出六项基本规则，并将这些规则应用于一项大型工程软件的测试，使测试用例数减少到接近最低程度，时间和费用降低50％以上。

实时并发软件的测试软件开发

实时并发软件愈来愈多地应用于国防和工业的控制系统，其测试方法和工具的研究成为质量保证的重要课题之一。在分析大型实时控制软件特．点的基础上，提出了以白盒测试与黑盒测试相结合、自顶向下的递增式策略，实现单元测试、组合测试和综合测试的三级测试技术方案；并介绍了二次式测试用例生成程序，嵌入式测试驱动与记录程序和测试结果评判程序等计算机辅助测试工具。

基于面向对象技术的实时软件可靠性测试数据生成方法研究

软件可靠性测试是为了满足软件可靠性要求、评价软件可靠性水平及验证软件产品是否达到可靠性要求的一个有效途径。为生成软件可靠性测试用例 ,需要分析目标软件输入变量的各种特性、约束条件和取值方法等行为。本文试图从分析实时软件输入变量的行为着手 ,利用面向对象技术 ,分析输入变量对象的各种属性和行为 ,建立起输入变量对象模型 ,并给出根据这种模型生成实时软件可靠性测试用例的框架。

可信软件实时性测试用例集生成方法研究

基于RAISE规范语言(RSL)的一个变体——时间化RAISE规范语言(TRSL),提出一种可信软件实时性测试用例集生成方法。该方法首先去除基于TRSL软件规约中的抽象时间因素;然后使用划分分析的方法构造测试单元;再利用动态约束求解方法动态构造具有时间约束的构造项和观测项,并在此基础上构建完整的基于TRSL规约的实时性测试用例集。