CN101802792B - 用于测试航空器上的系统的操作软件的有效性的自动脚本生成方法及用于实现该方法的设备 - Google Patents
用于测试航空器上的系统的操作软件的有效性的自动脚本生成方法及用于实现该方法的设备 Download PDFInfo
- Publication number
- CN101802792B CN101802792B CN2008801065576A CN200880106557A CN101802792B CN 101802792 B CN101802792 B CN 101802792B CN 2008801065576 A CN2008801065576 A CN 2008801065576A CN 200880106557 A CN200880106557 A CN 200880106557A CN 101802792 B CN101802792 B CN 101802792B
- Authority
- CN
- China
- Prior art keywords
- test
- software
- script
- variable
- validity
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3664—Environments for testing or debugging software
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Abstract
本发明涉及用于测试航空器机载系统的操作软件的有效性的脚本生成方法,其特征在于其包括以下步骤:a)由开发者以交互方式通过分别在被测试的操作软件的函数的起点和终点处设置进入点和停止点来识别(20)有效测试用例;b)经由所述停止点和所述进入点的位置来观察并记录(22)所述函数的变量的状态;c)首先通过分析在测试用例的识别期间观察到的变量的状态且其次通过生成源代码(13)形式的测试脚本来自动地生成(26)测试脚本;d)在测试执行环境下自动地执行(30)所生成的测试脚本的测试。
Description
技术领域
本发明涉及在这些系统的操作依赖于计算机中的一系列逻辑指令的执行时的系统操作安全的领域。
具体地说,本发明涉及用于生成程序的方法,该程序用于测试必须执行一系列逻辑指令的系统、特别是具有提高的安全要求的系统(诸如旨在安装于航空器上的电子系统)的操作软件。
该方法使得开发者能够自动生成如下的程序,该程序测试用于旨在安装于航空器上的系统的操作软件的一系列逻辑指令。本发明在(但不限于)航空领域是特别有利的,且更具体地在对机载系统的操作软件执行测试的领域特别有利。
背景技术
由于安全原因,对旨在被安装在航空器上的系统进行关于其正确操作的检查,在此期间,必须在授权装配有此类系统的航空器飞行、乃至投入商业使用之前证明所述系统满足认证要求。
目前,在安装之前,对这些系统进行许多测试以便检查其是否满足尤其是由认证机构发布的完整性和安全要求。这些机载系统尤其可以是旨在对航空器执行例如领航操作的可能重要的操作的专用计算机。在下文中这些系统将被称为计算机。
在当前的系统体系结构中常见的是,每台计算机专用于一种应用或同一性质的若干应用,例如飞行控制应用。每台计算机包括硬件部分和软件部分。硬件部分包括至少一个中央处理单元(CPU)和至少一个输入/输出单元,借助于该输入/输出单元,计算机连接到计算机网络、外部外围设备等等。
常常在航空领域中实现的机载系统的一个基本特性是关于体系结构的,硬件与软件同样多,其尽可能地避免引入对于专用于要执行的所述系统的函数(function)而言不必要的任何装置。
因此,与通常在航空学中的广泛应用中发现的系统相反,该计算机未装配复杂的操作系统。另外,软件以与中央处理单元所理解的语言尽可能接近的语言来执行,且可用的输入/输出仅仅是系统操作所需的那些,例如来源于传感器或其它航空器元件的信息或被发送到执行机构或其它元件的信息。
此类体系结构的优点来自于这样的事实,即此类系统的操作受到更好的控制。其不依赖于复杂的操作系统,该复杂操作系统的某些操作方面视不受控制的参数而定且另外应对该复杂操作系统进行与应用软件相同的安全验证。系统更简单且较不易受到影响,因为其仅包括要执行的所述系统的函数所确实需要的装置。
另一方面,要检测此类系统的操作条件困难得多。例如,该系统不包括使得能够检查一系列指令的正确操作且使得操作员能够与此操作相交互的任何传统人机接口(诸如键盘和屏幕),这使得难以执行软件的开发、验证和鉴定期间所需的实质性检查。
计算机的软件部分包括专用于相关应用且保证计算机的操作的软件程序,其逻辑指令对应于确定系统操作的算法。
为了获得系统认证,在其使用和航空器使用之前执行计算机确认(validation)阶段。
以已知的方式,确认阶段通常在于在计算机执行过程的每个步骤处检查它是否符合规范集以使得所述计算机实行系统的预期操作。
通过从检查最简单软件组件到集成了将在目标计算机中使用的所有组件的完整软件程序的连续步骤,特别地对软件程序执行与规范的符合性的此验证。
在第一验证步骤中,对能够被测试的最简单软件元件进行测试,称为单元测试。在这些测试期间,检查是否已依照设计要求执行了单独采用的所述软件元件的逻辑指令(即代码)。
在称为集成步骤的第二步骤中,将已单独地经受隔离检查的不同软件组件集成以便构成一个单元,其中软件组件相交互。对这些不同的软件组件进行集成测试,该集成测试旨在检查软件组件是否兼容,特别是在所述组件之间的操作接口处是否兼容。
在第三步骤中,将所有软件组件集成到计算机中,所述软件组件是为此计算机而设计的。然后执行确认测试以证明由集成到计算机中的一组组件形成的软件符合规范,即,其执行预期的函数,且其操作是可靠且安全的。
为了保证软件是安全的且为了满足认证要求,已对软件执行的所有测试还必须在此确认阶段且以充分的确定性水平证明该软件符合对其中结合该软件的系统的安全要求。
在确认阶段期间对软件执行的不同测试使得能够保证所述软件不会发生故障(该故障会对计算机的正确操作产生影响,并因此对航空器及其安全产生影响),或者如果确实发生了故障,该软件能够控制这种情况。
在任何情况下,在此确认阶段期间,且首先对于观察到异常时的调查操作而言,常常需要保证不仅上面安装有软件的计算机的输入和输出参数与预期的参数一致,而且某些内部软件动作是正确的。
在这种情况下,由于用于机载应用的专用计算机的特定体系结构,常常非常难以在没有实现特定设备和方法的情况下检测软件操作条件。
第一种已知的方法在于通过使用仿真器在安装软件的被测试计算机与相关平台之间建立文件分发系统。仿真器指的是使得能够在相关平台上模拟计算机处理器的计算单元的逻辑运算的设备。
在具有仿真器的此类操作模式下,计算机处理器被探测器取代,该探测器产生与支持处理器仿真的相关平台的接口。
因此,可以执行将在计算机(除处理器部分之外)上测试的软件,并且通过由相关平台执行的函数,除检测所述输入/输出单元的输出之外,例如响应于到输入/输出单元的输入刺激,可以检测软件的操作条件或某些内部故障。
第二种方法在于在主机平台上模拟用来执行被测试的程序的计算机的操作。在这种情况下,被测试的软件必须能够访问主机平台上的文件,以便读取测试矢量或记录测试结果。
由于被测试的软件不一定包括用于对主机平台文件的此类访问的函数,必须修改被测试的软件以便集成这些访问函数。
为了传输信息,通常使用由模拟测试环境发送的系统调用指令。所述系统调用指令可以是例如文件打开、文件写入、乃至文件读取。所述系统调用指令被主机平台操作系统截取,该主机平台操作系统将其转换成主机平台系统调用。
在计算机确认阶段期间,且首先对于已观察到异常时的调查操作而言,常常必须保证不仅上面安装有软件的计算机的输入和输出参数与预期的参数一致,而且某些内部软件动作是正确的。
为了达到此目的,用于计算机的操作软件的测试执行环境生成若干测试程序,即使该测试程序常常表示大量的指令代码,常常比来自被测试的软件的指令代码的量更大。
目前,逐个测试用例地执行测试程序的开发。测试用例指的是将实现以便达到测试目的的操作路径。换言之,测试用例由要实现的一组测试、要执行的测试方案和预期的结果来定义。因此,旨在被加载到计算机上的操作软件的每个测试用例与将模拟该测试用例的程序相关。这些测试程序由开发者创建,开发者完美地理解被测试的软件的函数、其上下文及其运行条件。测试程序的开发经过两个基本步骤:涉及测试数据的设计的第一步骤和涉及用于测试程序的指令链的写入的第二步骤。
测试程序的开发经历由开发者执行的一系列重复手动任务。此一系列重复手动任务是错误引入的显著来源。
为了解决此问题,已经开发了自动测试生成器以便使得能够生成测试用例数据。用生成测试用例数据的此类方法,开发者必须用形式语言来表达每个测试目标,然后将这些目标翻译成编程语言。这样建模的每个目标构成测试用例。
然而,该表达每个测试目标的方式只能被应用于用于简单函数的简单目标,且难以在工业规模上实现表达每个目标的这种方式的自动化。
发明内容
本发明的目的是克服前述技术的缺点。为了达到此目的,本发明涉及使得能够自动地生成测试程序并检查所执行的测试的有效性的方法。
根据本发明的方法的实现通过避免采取手动开发测试程序的必要性来降低测试阶段的成本。本发明因此能够实现一定水平的关于测试程序开发方面的灵活性,因为操作软件的开发是根据来自所执行的测试的开发以递增的方式执行的。实际上,与操作软件测试并行地开发测试程序,这意味着每当存在来自至少一个测试的开发时,测试程序与被测试的操作软件同时发展。
本发明还使得能够改善测试程序的可靠性,因为根据由开发者以交互方式揭示(unroll)且确认的脚本来自动地执行这些测试程序的合成。
更确切地说,本发明涉及一种用于测试航空器上的系统的操作软件的有效性的脚本生成方法,其特征在于其包括以下步骤:
-由开发者以交互方式通过分别在被测试的操作软件的函数的起点和终点处设置进入点和停止点来识别有效测试用例。
-经由所述停止点和所述进入点的位置来观察并记录所述函数的变量的状态。
-首先通过分析在测试用例的识别期间观察到的变量的状态且其次通过以源代码的形式生成测试脚本来自动地生成测试脚本。
-在执行环境下自动地执行所生成的测试脚本的测试。
本发明还可以包括以下特性中的一个或多个:
-在观察并记录变量状态的步骤与自动地生成测试脚本的步骤之间,执行检查测试用例的有效性的验证步骤,使得开发者能够判定被测试的函数的执行关于所观察的变量状态是否有效。
-逐个测试用例地执行测试脚本的生成。
-在自动地生成脚本的步骤与自动地执行脚本的步骤之间,创建源代码编译以便将测试脚本的所述源代码自动翻译成机器语言的等效源代码。
-编译后面是提供能够在开发者所选的测试执行环境中执行和使用的二进制代码的测试脚本行编辑操作。
-以与所选的测试执行环境的类型直接兼容的形式生成测试结果。
本发明还涉及模拟航空器上的计算机的操作的设备,其特征在于其实现如前文所限定的方法。
本发明还可以包括以下特性:
在测试和调试主机平台上虚拟地模拟所述设备。
本发明还涉及测试程序,该测试程序可以被加载到控制单元上,其包括指令序列,以便当程序被加载到所述单元上且被执行时实现如前文所限定的方法。
在阅读以下说明之后并且在研究附图之后,将更好地理解本发明。这些是作为大致的指导而提出的而绝不是作为本发明的限制性指导。
附图说明
图1示出本发明的方法的操作图。
图2是使得能够生成用于操作软件的测试程序的测试执行环境的控制单元的示意图。
具体实施方式
本发明涉及一种使得能够自动生成在整个开发阶段中测试操作软件的脚本的方法。这种方法使得能够将在此开发期间对操作软件进行的每次修改考虑在内。
操作软件的概念被定义为包括一组程序。包括一组所写的一系列指令的程序在下文中称为指令链。脚本是执行特定任务的一组所写指令。
本发明的方法还使得能够经由连续的步骤来控制随着操作软件的开发逐渐地对操作软件执行的每项测试的有效性。
图1表示本发明的方法的操作图。此操作图对应于本发明的实施例的方式。此操作图包括步骤20,其中由开发者以交互方式来识别测试用例。测试用例的概念在这里是由开发者定义以便检查已被正确调试的操作软件的指令链是否满足其规范、而且机载系统的计算机对其进行的执行将不会导致所述系统的任何故障的方案。在本发明的范围内,开发者可以定义多个测试用例以便尽可能多地运用操作软件。此开发者有机会使用可用的调试程序,这使得他/她特别地能够研究指令链中可能的错误。此调试程序还使得能够通过分别在被测试的操作软件的函数的起点和终点处设置进入点和退出点或停止点来控制测试的执行。测试执行控制特别地包括观察由开发者选择的称为有效变量的变量的状态的步骤。这些有效变量是使得开发者能够检查所获得的值是否是预期的那些值的变量。
在步骤21中执行测试的有效性的验证,使得能够进行测试的执行相对于所观察的变量状态而言是否有效的判定。在测试有效的情况下,步骤22向开发者提供确认界面以便通过保存所观察的所有变量状态来记录有效测试。在测试无效的情况下,从步骤20开始重复该方法。
当应用用于记录有效测试的步骤22时,在开发者的动作和判定下在步骤23中执行新测试用例的验证。如果检测到新测试用例,则从步骤20开始重复该方法。如果未检测到新测试用例,则应用用于生成测试脚本的步骤26。此步骤26前面是两个中间步骤24和25。步骤24的目的是检测开发者是否设置了测试执行环境的参数。这些参数使得能够选择测试执行环境的类型,必须针对该类型来生成测试脚本。如果已检测到参数,则步骤25在于将这些参数考虑在内来生成测试脚本。
用于生成测试脚本的步骤26由脚本生成器自动执行。此脚本生成器首先分析已在识别有效测试用例的步骤20之后记录的受控变量状态,其次生成用于测试脚本的源代码(步骤27)。
逐个测试用例地执行生成源代码的此操作。源代码以标准编程语言的形式直接呈现,这使得其容易被大多数软件开发者理解。
在步骤28中,创建源代码编译,使得用于测试脚本的源代码能够被自动翻译成机器语言的等效脚本。此编译后面是在步骤29中提供能够在步骤24中所选的测试执行环境或预配置的测试执行环境中被执行和使用的二进制代码的测试脚本行编辑操作。
在步骤30中,在测试执行环境中自动地执行测试脚本的二进制代码。在步骤31中,以直接与开发者所选的测试执行环境类型兼容的形式生成来自对操作软件执行的测试的执行的结果。
本方法表现出能够适合于用于操作软件的任何类型测试执行环境的优点。因此,其能够适合于任何类型的虚拟或真实环境。
用本发明的方法,所生成的测试脚本直接有效且没有错误。事实上,在测试脚本确认阶段期间,所述脚本之一的未确认对应于错误的发现,这隐含地引起操作软件的测试函数的修正。
图2是使得能够生成旨在被加载到机载系统(未示出)上的操作软件的测试脚本的测试执行环境的控制单元1的示意图。图2示出测试执行环境的控制单元1的示例。根据实施例的不同模式,测试执行环境可以在诸如工作站的主机平台上虚拟地模拟,或者基于仿真器式的硬件设备。测试执行环境指的是使得能够检查、修正并执行试运行以及测试机载系统的操作软件的环境。测试环境的控制单元1包括但不限于,处理器2、程序存储器3、数据存储器4和输入/输出接口5。处理器2、程序存储器3、数据存储器4和输入/输出接口5经由双向通信总线6相互连接。
由记录在控制单元1的程序存储器3中的指令代码来控制处理器2。
在区域7中,程序存储器3包括用于识别有效测试用例的指令。此识别使得能够经由可以在经典调试程序中发现的多功能界面来与开发者交互。在这些功能之中,特别地存在在被测试的操作软件的函数的起点处设置执行控制点的可能性。另一功能使得能够在函数的终点处设置停止点。此开发者交互使得开发者能够控制变量的状态以便确定函数的执行是否被正确地执行。
在区域8中,程序存储器3包括用于执行确认操作的指令。此确认在于自动地记录所有受控变量状态。这些状态构成有效测试用例的记录12。此确认还使得能够编辑所有受控状态。这些受控状态变成被确认的测试用例的参考值。
在区域9中,程序存储器3包括用于生成测试脚本的指令。测试脚本的此生成得自于记录12的变量状态的分析。测试脚本的此生成以源代码13的形式呈现。其被逐个测试用例地呈现。
在区域10中,程序存储器3包括用于创建源代码13的编译以便将此代码翻译成机器语言的指令。在此编译之后,执行行编辑操作以便将源代码13(以机器语言的方式存在)转换成可执行二进制代码14。
在区域11中,程序存储器3包括用于执行测试脚本以便在输出端处生成测试结果15的指令。
Claims (11)
1.一种用于在整个开发阶段中测试航空器机载系统的操作软件的有效性的测试脚本生成方法,其特征在于包括以下步骤:
-定义(20)至少一个测试用例,以便在软件有效性的测试期间验证已在验证阶段(23;24;25)期间受到集成测试的软件指令链,此处概念“测试用例”由要实现的一组测试、要执行的测试方案和预期的结果来定义;
-在分别设置在软件函数的起点和终点处的进入点和停止点之间执行(30)测试;
-针对由开发者选择的称为有效变量的变量,记录(22)所述函数的所有变量状态,
-通过比较获得的变量的值与预期的变量的值来验证(23;24;25)测试用例的有效性;
-针对每个有效测试用例并且基于有效变量的状态的记录来自动地生成(26;27)测试脚本的源代码(13),这些状态成为有效测试用例的参考值。
2.根据权利要求1所述的方法,其特征在于,逐个测试用例地执行测试脚本的生成。
3.根据权利要求1至2中任一项所述的方法,其特征在于,在生成了测试脚本的情况下,所述测试脚本的源代码被编译(28)成机器语言。
4.根据权利要求3所述的方法,其特征在于,在执行了测试脚本的源代码的编译的情况下,执行测试脚本行编辑(28)操作,以提供能够在测试执行环境中执行(29)的二进制代码。
5.根据权利要求1至2中任一项所述的方法,其特征在于,以与测试执行环境的类型直接兼容的形式生成(31)测试结果(15),测试执行环境是使得能够检查、修正并执行试运行以及测试机载系统的操作软件的环境。
6.一种模拟航空器机载系统的操作的设备,其特征在于包括以下装置:
-定义(20)至少一个测试用例,以便在软件有效性的测试期间验证已在验证阶段(23;24;25)期间受到集成测试的软件指令链的装置,此处概念“测试用例”由要实现的一组测试、要执行的测试方案和预期的结果来定义;
-在分别设置在软件函数的起点和终点处的进入点和停止点之间执行(30)测试的装置;
-针对由开发者选择的称为有效变量的变量,记录(22)所述函数的所有变量状态的装置,
-通过比较获得的变量的值与预期的变量的值来验证(23;24;25)测试用例的有效性的装置;
-针对每个有效测试用例并且基于有效变量的状态的记录来自动地生成(26;27)测试脚本的源代码(13)的装置,这些状态成为有效测试用例的参考值。
7.根据权利要求6所述的设备,其特征在于,逐个测试用例地执行测试脚本的生成。
8.根据权利要求6至7中任一项所述的设备,其特征在于,还包括在生成了测试脚本的情况下把所述测试脚本的源代码编译(28)成机器语言的装置。
9.根据权利要求8所述的设备,其特征在于,还包括在执行了测试脚本的源代码的编译的情况下执行测试脚本行编辑(28)操作以提供能够在测试执行环境中执行(29)的二进制代码的装置。
10.根据权利要求6至7中任一项所述的设备,其特征在于,还包括以与测试执行环境的类型直接兼容的形式生成(31)测试结果(15)的装置,测试执行环境是使得能够检查、修正并执行试运行以及测试机载系统的操作软件的环境。
11.根据权利要求6所述的设备,其特征在于在测试和调试主机平台上虚拟地模拟所述设备。
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
FR0757615 | 2007-09-14 | ||
FR0757615A FR2921170B1 (fr) | 2007-09-14 | 2007-09-14 | Procede de generation automatique de programmes de test d'un logiciel de fonctionnement d'un systeme embarque a bord d'un aeronef, et dispositif de mise en oeuvre |
PCT/FR2008/051644 WO2009047430A2 (fr) | 2007-09-14 | 2008-09-12 | Procédé de génération automatique de script pour tester la validité d'un logiciel de fonctionnement d'un système embarqué à bord d'un aéronef, et dispositif de mise en oeuvre |
Publications (2)
Publication Number | Publication Date |
---|---|
CN101802792A CN101802792A (zh) | 2010-08-11 |
CN101802792B true CN101802792B (zh) | 2012-12-26 |
Family
ID=39273116
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN2008801065576A Expired - Fee Related CN101802792B (zh) | 2007-09-14 | 2008-09-12 | 用于测试航空器上的系统的操作软件的有效性的自动脚本生成方法及用于实现该方法的设备 |
Country Status (9)
Country | Link |
---|---|
US (1) | US20110047529A1 (zh) |
EP (1) | EP2188723A2 (zh) |
JP (1) | JP2010539576A (zh) |
CN (1) | CN101802792B (zh) |
BR (1) | BRPI0817102A2 (zh) |
CA (1) | CA2696020A1 (zh) |
FR (1) | FR2921170B1 (zh) |
RU (1) | RU2473115C2 (zh) |
WO (1) | WO2009047430A2 (zh) |
Families Citing this family (22)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8732663B2 (en) * | 2010-02-24 | 2014-05-20 | Salesforce.Com, Inc. | System, method and computer program product for providing automated testing by utilizing a preconfigured point of entry in a test or by converting a test to a predefined format |
FR2958427B1 (fr) | 2010-03-30 | 2016-11-18 | Eurocopter France | Procede d'agencement d'un logiciel d'application sur le materiel informatique d'un equipement reel ou virtuel et architecture de commande de l'equipement comprenant un tel logiciel |
CN102541735A (zh) * | 2011-12-28 | 2012-07-04 | 云海创想信息技术(天津)有限公司 | 软件自动化测试方法 |
US9135147B2 (en) * | 2012-04-26 | 2015-09-15 | International Business Machines Corporation | Automated testing of applications with scripting code |
US9286273B1 (en) * | 2013-03-11 | 2016-03-15 | Parallels IP Holding GmbH | Method and system for implementing a website builder |
CN104281518B (zh) * | 2013-07-02 | 2018-05-15 | 腾讯科技(深圳)有限公司 | 终端应用测试方法、装置、系统、平台及移动终端 |
CN103500141A (zh) * | 2013-10-09 | 2014-01-08 | 中国联合网络通信集团有限公司 | 自动化测试方法和装置 |
US20160098259A1 (en) * | 2014-10-02 | 2016-04-07 | The Boeing Company | Software Aircraft Part Installation System |
GB2533117A (en) * | 2014-12-10 | 2016-06-15 | Ibm | Software test automation |
ES2864004T3 (es) * | 2015-04-03 | 2021-10-13 | Iveco Spa | Método para mejorar y extender la lógica de una instalación de prueba para un componente de vehículo, en particular una batería o un alternador |
CN106502896B (zh) * | 2016-10-21 | 2019-08-23 | 武汉斗鱼网络科技有限公司 | 一种函数测试代码的生成方法及装置 |
US11142345B2 (en) | 2017-06-22 | 2021-10-12 | Textron Innovations Inc. | System and method for performing a test procedure |
RU2679350C2 (ru) * | 2017-07-10 | 2019-02-07 | Федеральное государственное бюджетное образовательное учреждение высшего образования "Воронежский государственный технический университет" | Система генерации тестовых данных |
WO2019142266A1 (ja) * | 2018-01-17 | 2019-07-25 | 三菱電機株式会社 | テストケース生成装置、テストケース生成方法およびテストケース生成プログラム |
CN109214043B (zh) * | 2018-07-20 | 2023-04-07 | 北京航空航天大学 | 数字飞行器动力学环境信息传输源代码人工智能书写方法 |
CN112445467A (zh) * | 2019-09-04 | 2021-03-05 | 常州星宇车灯股份有限公司 | 汽车风扇模块软件生成方法 |
US11144437B2 (en) | 2019-11-25 | 2021-10-12 | International Business Machines Corporation | Pre-populating continuous delivery test cases |
CN112699033B (zh) * | 2020-12-29 | 2023-05-23 | 中国航空工业集团公司西安飞机设计研究所 | 一种多分区机载软件测试用例多级同步加载方法 |
US20220237483A1 (en) * | 2021-01-27 | 2022-07-28 | Capital One Services, Llc | Systems and methods for application accessibility testing with assistive learning |
CN113297083B (zh) * | 2021-05-27 | 2022-08-19 | 山东云海国创云计算装备产业创新中心有限公司 | 一种跨平台ic测试方法、装置、设备及介质 |
DE102022213441A1 (de) * | 2022-12-12 | 2024-06-13 | Gts Deutschland Gmbh | Verfahren zum automatischen Erstellen eines Testskripts |
CN116756043B (zh) * | 2023-08-10 | 2023-11-03 | 东方空间技术(山东)有限公司 | 一种目标设备的软件测试方法、装置、设备及存储介质 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6161216A (en) * | 1998-04-29 | 2000-12-12 | Emc Corporation | Source code debugging tool |
CN1744054A (zh) * | 2004-08-31 | 2006-03-08 | 中国银联股份有限公司 | 一种自动化测试辅助系统及相应的软件自动测试方法 |
CN1866219A (zh) * | 2005-12-09 | 2006-11-22 | 华为技术有限公司 | 基于自动化测试脚本对被测对象进行测试的方法和系统 |
Family Cites Families (16)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
SU1541617A1 (ru) * | 1988-05-10 | 1990-02-07 | Предприятие П/Я А-3821 | Устройство отладки микропрограммных блоков |
JPH06110733A (ja) * | 1992-09-30 | 1994-04-22 | Hitachi Ltd | プログラムのテストケース生成装置 |
US7039912B1 (en) * | 1998-05-12 | 2006-05-02 | Apple Computer, Inc. | Integrated computer testing and task management systems |
JP2002207611A (ja) * | 2001-01-11 | 2002-07-26 | Mitsubishi Heavy Ind Ltd | ソフトウェアワーキングベンチ |
WO2002069086A2 (en) * | 2001-02-22 | 2002-09-06 | Accenture Global Services Gmbh | Distributed development environment for building internet applications by developers at remote locations |
US7058857B2 (en) * | 2001-10-10 | 2006-06-06 | International Business Machines Corporation | Method and system for testing a software product |
JP4061931B2 (ja) * | 2002-03-13 | 2008-03-19 | 株式会社デンソー | 実行履歴記録装置、ブレーク命令設定装置、及びプログラム |
RU2213939C1 (ru) * | 2002-10-14 | 2003-10-10 | Загороднев Александр Васильевич | Способ передачи информации с бортового накопителя информации летательного аппарата во внешние блоки обработки и система для его осуществления |
JP2004220269A (ja) * | 2003-01-14 | 2004-08-05 | Cyx Inc | 統合テスト管理システム |
US7512526B2 (en) * | 2004-03-01 | 2009-03-31 | Raytheon Company | System and method for dynamic runtime HLA-federation-execution data display |
RU2263973C1 (ru) * | 2004-05-07 | 2005-11-10 | Федеральное государственное унитарное предприятие Летно-исследовательский институт им. М.М. Громова | Пилотажно-тренировочный комплекс |
US7543278B2 (en) * | 2004-10-15 | 2009-06-02 | Microsoft Corporation | System and method for making a user interface element visible |
JP2006155047A (ja) * | 2004-11-26 | 2006-06-15 | Nec Electronics Corp | 検証システム及び検証方法 |
JP2006260390A (ja) * | 2005-03-18 | 2006-09-28 | Nomura Research Institute Ltd | テストケース生成プログラム及び方法 |
US7526759B2 (en) * | 2005-04-19 | 2009-04-28 | International Business Machines Corporation | Debugging prototyped system solutions in solution builder wizard environment |
US7895565B1 (en) * | 2006-03-15 | 2011-02-22 | Jp Morgan Chase Bank, N.A. | Integrated system and method for validating the functionality and performance of software applications |
-
2007
- 2007-09-14 FR FR0757615A patent/FR2921170B1/fr active Active
-
2008
- 2008-09-12 CA CA2696020A patent/CA2696020A1/fr not_active Abandoned
- 2008-09-12 BR BRPI0817102 patent/BRPI0817102A2/pt not_active IP Right Cessation
- 2008-09-12 RU RU2010114709/08A patent/RU2473115C2/ru not_active IP Right Cessation
- 2008-09-12 CN CN2008801065576A patent/CN101802792B/zh not_active Expired - Fee Related
- 2008-09-12 WO PCT/FR2008/051644 patent/WO2009047430A2/fr active Application Filing
- 2008-09-12 US US12/678,143 patent/US20110047529A1/en not_active Abandoned
- 2008-09-12 EP EP08836799A patent/EP2188723A2/fr not_active Withdrawn
- 2008-09-12 JP JP2010524554A patent/JP2010539576A/ja active Pending
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6161216A (en) * | 1998-04-29 | 2000-12-12 | Emc Corporation | Source code debugging tool |
CN1744054A (zh) * | 2004-08-31 | 2006-03-08 | 中国银联股份有限公司 | 一种自动化测试辅助系统及相应的软件自动测试方法 |
CN1866219A (zh) * | 2005-12-09 | 2006-11-22 | 华为技术有限公司 | 基于自动化测试脚本对被测对象进行测试的方法和系统 |
Also Published As
Publication number | Publication date |
---|---|
US20110047529A1 (en) | 2011-02-24 |
WO2009047430A2 (fr) | 2009-04-16 |
JP2010539576A (ja) | 2010-12-16 |
BRPI0817102A2 (pt) | 2015-03-24 |
CN101802792A (zh) | 2010-08-11 |
FR2921170A1 (fr) | 2009-03-20 |
EP2188723A2 (fr) | 2010-05-26 |
FR2921170B1 (fr) | 2018-01-12 |
RU2473115C2 (ru) | 2013-01-20 |
WO2009047430A3 (fr) | 2009-12-30 |
CA2696020A1 (fr) | 2009-04-16 |
RU2010114709A (ru) | 2011-10-20 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN101802792B (zh) | 用于测试航空器上的系统的操作软件的有效性的自动脚本生成方法及用于实现该方法的设备 | |
CN102147764B (zh) | 测试代码质量评估 | |
US8601436B2 (en) | Simulation-based interface testing automation system and method for robot software components | |
AU9776698A (en) | Automated validation and verification of computer software | |
CN103793326A (zh) | 组件测试方法及装置 | |
EP2561441A1 (en) | Improved embedded system performance | |
US20090064111A1 (en) | Formal Verification of Graphical Programs | |
CN112270149A (zh) | 验证平台自动化集成方法、系统及电子设备和存储介质 | |
Hübner et al. | Experimental evaluation of a novel equivalence class partition testing strategy | |
Shin et al. | Model-based automatic test case generation for automotive embedded software testing | |
Jaffuel et al. | LEIRIOS test generator: Automated test generation from B models | |
US8510708B2 (en) | Method for optimizing a control program for actuators | |
CN105893104A (zh) | 代码编译的方法和装置 | |
KR20190094779A (ko) | Plc 명령어 컴파일러 테스트케이스 자동 생성 장치 | |
KR102042996B1 (ko) | 탐침을 이용하지 않는 코드 커버리지 측정 방법 및 장치, 그리고 이를 실행하기 위한 프로그램을 기록한 컴퓨터로 판독가능한 기록매체 | |
KR102603330B1 (ko) | 테스트 커버리지 표시 장치 및 표시 방법 | |
US20160224456A1 (en) | Method for verifying generated software, and verifying device for carrying out such a method | |
US10488835B2 (en) | Method for configuring a tester equipped for testing an electronic control unit | |
CN108614704A (zh) | 代码编译方法及装置 | |
CN114116471A (zh) | 一种自动化代码扫描方法、系统、电子设备与存储介质 | |
van den Bos et al. | The Integration of Testing and Program Verification: A Position Paper | |
Dahlweid et al. | Model-based testing: automatic generation of test cases, test data and test procedures from SysML models | |
Kang et al. | SITAT: Simulation-based interface testing automation tool for robot software component | |
Venthan et al. | Challenges in Low-Level Integration Testing of T2080 in Integrated Modular Architecture | |
Honda et al. | Range analyzer: An automatic tool for arithmetic overflow detection in model-based development |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C14 | Grant of patent or utility model | ||
GR01 | Patent grant | ||
CF01 | Termination of patent right due to non-payment of annual fee | ||
CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20121226 Termination date: 20200912 |