论文部分内容阅读
随着信息技术的发展,嵌入式软件软件在各类航天系统中得到了广泛的应用,这些软件大都承担着系统重要的功能或处在关键的系统控制或信息传递链路上,那么由于这些软件的质量原因带了的后果就可能是系统的严重失效,甚至是灾难性事故。为提高航天软件的质量,使之可靠得完成系统赋予的使命,航天工业界的一般共识是应在执行任务前尽可能安排充分的测试、发现软件中尽可能多的缺陷,从而提高软件在执行任务时的可靠性。研究软件测试用例生成技术、提高软件测试水平对于保障测试充分性、进而提高软件的可靠性意义非常重要。本论文在大量调研国内外基于系统状态转移的软件测试技术研究现状的基础上,总结目前测试用例生成相关的研究成果,以及需要改进的地方。然后结合航天软件的相关特点,调研分析了各种方法的优缺点,确立了基于Statecharts状态转移的测试技术,研究能运用于实际软件中的自动生成测试用例的方法。其次,在确立的技术路线的基础上,定制了Statecharts部分语法,改进了满足状态转移覆盖准则的测试用例生成算法。最后,论文以某重点航天工程中智能电源控制软件的多状态转移、过程复杂为特点,采用文中改进的用例自动生成算法和工具,对该软件开展了用例生产试验验证,并与测试用例手工设计结果进行了比较分析,体现了改进的用例生成算法的的有效性和充分性。改进的测试用例生成技术体现了航天嵌入式软件程序逻辑复杂、状态转移覆盖难度大、测试要求高等特点,在复杂状态图并发层次的语义描述、状态覆盖的测试用例生成准则研究以及辅助工具等方面有所创新,该论文的有关内容对状态描述为特点的嵌入式软件测试技术也具有一定的借鉴意义。