本发明专利技术题为用于安全关键的软件的集成自动化测试用例生成。系统包括：通信装置，可操作与用户通信，得到与模型关联的一个或多个要求用于测试用例生成模块；转化计算机模块，接收并存储模型，生成中间模型；生成器计算机模块，接收并存储中间模型，生成至少一个测试用例；存储器，存储程序指令；至少一个测试用例生成平台处理器，耦合到存储器，与转化计算机模块和生成器计算机模块通信，可操作运行程序指令以：运行转化计算机模块以将模型变换为中间模型；运行生成器计算机模块，基于中间模型分析来识别与中间模型关联的模型类型；运行生成器计算机模块，基于所识别模型类型分析来选择测试生成方法；生成至少一个测试用例供软件验证和检验中使用。
【技术实现步骤摘要】
本专利技术涉及用于安全关键的软件的集成自动化测试用例生成。
技术介绍
采用软件组件来开发系统常常可涉及客户所提供的系统要求。这些要求可结合到软件中。在设计软件之后，可对它进行验证和检验，以确认它充分满足要求。验证和检验过程可占软件成本的大部分。例如，验证和检验过程的时间性可影响核心商业性能、客户满意度和公司声誉。因此，将期望设计一种设备和方法，其提供更快的方式来验证和检验软件符合要求，正确发挥功能和适当地按要求覆盖目标。
技术实现思路
按照一些实施例，测试用例通过转化计算机模块和生成器计算机模块的应用来生成，并且可用来验证和验证软件要求。将转化计算机模块应用于一个或多个规范模型和设计模型以生成中间模型，并且然后测试用例经由对转化计算机模块的输出(例如中间模型)运行生成器计算机模块来生成。本专利技术的一些实施例的技术效果是用于测试用例生成的改进技术和系统。由于这个以及下文中将变得显而易见的其他优点和特征，能够通过参照以下详细描述及其附图来得到对本专利技术的性质的更完整理解。其他实施例与系统和/或存储用于执行本文所描述方法的任一种的指令的计算机可读媒介关联。技术方案1:一种系统，包括: 通信装置，可操作以与用户进行通信，以得到与模型关联的一个或多个要求用于测试用例生成模块； 转化计算机模块，接收所述模型，存储所述模型，并且生成中间模型； 生成器计算机模块，接收所述中间模型，存储所述中间模型，生成至少一个测试用例； 存储器，用于存储程序指令； 至少一个测试用例生成平台处理器，耦合到所述存储器，并且与所述转化计算机模块和所述生成器计算机模块进行通信，可操作以运行程序指令以: 通过运行所述转化计算机模块将所述模型变换为中间模型； 通过运行所述生成器计算机模块，基于所述中间模型的分析来识别与所述中间模型关联的模型类型；通过运行所述生成器计算机模块，基于所识别模型类型的分析来选择测试生成方法；以及 生成至少一个测试用例供软件验证和检验中使用。技术方案2:如技术方案I所述的系统，其中所述模型是规范模型和设计模型其中之一O技术方案3:如技术方案I所述的系统，其中每个要求包含一个或多个输入变量和一个或多个输出变量。技术方案4:如技术方案3所述的系统，其中所述至少一个所生成测试用例包含所述要求的描述、输入变量的集合和预计输出的集合，其中所述预计输出集合基于所述一个或多个输出变量。技术方案5:如技术方案I所述的系统，其中所述模型类型是符号变量模型类型、实数模型类型、非线性算术模型类型和反馈环模型类型中的至少一个。技术方案6:如技术方案I所述的系统，其中所述中间模型保存来自所述至少一个模型的按关联取样时间的一个或多个行为。技术方案7:如技术方案6所述的系统，其中所述转化计算机模块将所述至少一个模型的一个或多个计算序列映射到所述中间模型中的一个或多个计算路径。技术方案8:如技术方案7所述的系统，还包括可操作以将一个或多个测试标准转换成一个或多个测试目标的转换器模块，其中每个测试目标与测试目标路径关联。技术方案9:如技术方案8所述的系统，其中所述一个或多个测试目标附连到所述中间模型。技术方案10:如技术方案9所述的系统，其中所述计算路径描述模型行为，并且所述测试目标路径描述测试目标。技术方案11:如技术方案8所述的系统，其中所述生成器计算机模块可操作以基于所述计算路径和所述测试目标路径来生成包含一个或多个路径约束和一个或多个数据的表。技术方案12:如技术方案11所述的系统，其中所述生成器计算机模块可操作以识别所述中间模型中的所述计算类型。技术方案13:如技术方案12所述的系统，其中所述生成器计算机模块可操作以基于所述计算类型来选择要应用于所述中间模型的模型检查模块、约束解决模块和可达性解决模块其中之一，以生成测试用例。技术方案14:如技术方案I所述的系统，其中所述中间模型减小成仅包含与给定目标关联的所述中间模型的一部分。技术方案15:—种方法，包括: 接收与模型关联的一个或多个要求用于测试用例生成； 通过运行转化计算机模块将所述模型变换为中间模型； 通过运行生成器计算机模块，基于所述中间模型的分析来识别与所述中间模型关联的模型类型； 通过运行所述生成器计算机模块，基于所识别模型类型来选择测试生成方法；以及生成至少一个测试用例供软件验证和检验中使用。技术方案16:如技术方案15所述的方法，其中所述模型类型是符号变量模型类型、实数模型类型、非线性算术模型类型和反馈环模型类型中的至少一个。技术方案17:如技术方案15所述的方法，其中所述模型是规范模型和设计模型其中之一。技术方案18:如技术方案15所述的方法，还包括: 将一个或多个测试标准转换成一个或多个测试目标。技术方案19:如技术方案15所述的方法，还包括: 确定所述中间模型中的计算的类型。技术方案20:如技术方案19所述的方法，还包括: 基于所述计算类型来选择要应用于所述中间模型的模型检查模块、约束解决模块和可达性解决模块其中之一，以生成测试用例。【附图说明】图1图示按照一些实施例的系统。图2图示按照一些实施例的流程图。图3图示按照一些实施例的系统的框图。图4图示按照一些实施例的模型。 图5图示按照一些实施例的模型。图6A图示按照一些实施例的模型。图6B图示按照一些实施例的模型。图7图示按照一些实施例的流程图。图8是按照一些实施例的路径分析结果表。图9图示按照一些实施例的用户界面。图10图示按照一些实施例的用户界面。图11图示按照一些实施例的测试用例。图12是按照一些实施例的自动化测试用例生成处理工具或平台的框图。【具体实施方式】采用软件组件来开发系统常常可涉及由客户所提供的系统要求。这些要求可在采取计算机可读形式的规范模型中结合或捕获。要求还可在采取人类可读形式的规范模型中捕获。设计模型则可从规范模型中包含的要求来开发，并且可表达软件设计数据(例如规定软件组件内部数据结构、数据流和/或控制流)。源代码则可使用合格的代码生成器从设计模型自动生成。在设计软件(例如设计模型)之后，可对它进行验证和检验，以确认软件充分满足要求。验证和检验过程可占软件成本的大部分。例如，验证和检验过程的时间性可影响核心商业性能、客户满意度和公司声誉。传统上，例如，许多安全关键软件(例如航空软件)被要求采用严格测试覆盖例如修改条件/判定覆盖(MC/DC)来测试，这要求每个条件单独影响判定。用来识别将内部变量驱动到特定值的输入序列的模型/代码的人工检查是困难并且费时的，特别是当软件(例如航空软件)是大的并且复杂度不断增长时。传统测试遭受低结构/模型覆盖、不支持的块/特征和长测试生成时间中的至少一个。例如，传统测试方式可在软件的所有规范/设计模型上盲目地应用一种测试生成方法。但是，一种测试生成方法可不适合所有规范/设计模型，并且可导致长测试生成时间，或者可导致根本没有测试用例被生成。在一种传统方式中，例如，虽然测试用例生成方式可显示某些模型元素的不可达性，并且可生成满足标准覆盖目标以及用户限定测试目标和要求的测试输入，但是该方式可具有不支持的块(例当前第1页1 2 3 4 本文档来自技高网...
【技术保护点】
一种系统，包括：通信装置，可操作以与用户进行通信，以得到与模型关联的一个或多个要求用于测试用例生成模块；转化计算机模块，接收所述模型，存储所述模型，并且生成中间模型；生成器计算机模块，接收所述中间模型，存储所述中间模型，生成至少一个测试用例；存储器，用于存储程序指令；至少一个测试用例生成平台处理器，耦合到所述存储器，并且与所述转化计算机模块和所述生成器计算机模块进行通信，可操作以运行程序指令以： 通过运行所述转化计算机模块将所述模型变换为中间模型； 通过运行所述生成器计算机模块，基于所述中间模型的分析来识别与所述中间模型关联的模型类型； 通过运行所述生成器计算机模块，基于所识别模型类型的分析来选择测试生成方法；以及 生成至少一个测试用例供软件验证和检验中使用。
【技术特征摘要】
...
【专利技术属性】
技术研发人员：M李，
申请(专利权)人：通用电气公司，
类型：发明
国别省市：美国;US
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。