CN103530228B - 一种基于模型的软件测试方法 - Google Patents
一种基于模型的软件测试方法 Download PDFInfo
- Publication number
- CN103530228B CN103530228B CN201310455252.9A CN201310455252A CN103530228B CN 103530228 B CN103530228 B CN 103530228B CN 201310455252 A CN201310455252 A CN 201310455252A CN 103530228 B CN103530228 B CN 103530228B
- Authority
- CN
- China
- Prior art keywords
- test
- model
- criterion
- program
- coverage
- 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.)
- Active
Links
Landscapes
- Debugging And Monitoring (AREA)
Abstract
一种基于模型的软件测试方法,包括如下步骤:S1.分析被测试软件,确定测试对象和测试特征;S2.选择和构造UML模型;S3.对UML模型进行验证,确保UML模型的正确性;S4.通过深度优先搜索算法遍历UML模型,自动生成测试用例,根据语句覆盖准则、判定覆盖准则、条件覆盖准则及路径覆盖准则等充分性准则计算相关的覆盖率,完成对测试用例的评估;S5.根据待测程序和所述UML模型得到的测试用例生成测试脚本,自动执行所述测试脚本,并保存执行测试脚本得到的实际输出结果;S6.根据测试用例的实际输出与预期输出的比较,得出测试结果,再根据测试目标与预先设定好的停止准则,决定是否需要修改模型或修改待测程序。
Description
技术领域
本发明涉及测试技术领域,具体来讲是一种基于模型的软件测试方法。
背景技术
近几年来,随着计算机软硬件技术的迅猛发展,各种各样的软件系统应运而生,社会各行各业对软件系统的依赖越来越强,软件系统的规模越来越大,复杂性也越来越高,对软件系统的质量要求也显得更为重要。软件测试和验证,是保证软件正确性和提高软件可靠性的最基本、最重要的手段。为了尽量减少花费在软件产品测试上的时间和精力,大量研究机构开始投入到软件测试方法与测试工具的研究上。目前,软件测试领域中的一个关键的、同时也是极为困难的问题就是:如何设计和生成有效的测试用例。
随着面向对象软件开发技术的广泛应用和软件测试自动化的要求,基于模型的软件测试逐渐得到重视。目前,软件测试技术大体上可分为两大类:一类是白盒测试技术,另一类是黑盒测试技术。
白盒测试技术是把程序看成装在一个白盒子里,即完全了解程序的内部结构和处理过程,按照程序内部的逻辑结构,检验程序中的每条通路是否都按照预定要求正确工作。白盒测试从考察程序的结构和逻辑出发,验证所构造的程序是否符合设计要求,白盒测试包括逻辑覆盖、域测试、符号测试、路径分析、程序插桩及程序变异等。
白盒测试技术的缺点在于,白盒测试只根据程序的内部结构进行测试,而不考虑程序的外部特征,如果程序结构本身有问题,比如程序逻辑有误或是有纰漏,就无法发现错误。另外,即使将程序中的每条路径都测试了仍然可能有错误,原因在于:第一,穷举路径测试不能查出程序违反了设计规范;第二,穷举路径测试不可能查出程序中因纰漏路径而出现的错误;第三,穷举路径测试可能发现不了一些与数据相关的错误。
黑盒测试技术,又称为功能测试技术,与白盒测试技术恰恰相反,它把程序看成一个黑盒子,完全不用考虑程序的内部结构和处理过程。黑盒测试是在程序接口进行的测试,它只检查程序功能是否按照预先的要求正常工作,即接收输入数据是否产生正确的输出结果。黑盒测试技术包括边界值分析技术、等价分类技术及因果图技术等。
黑盒测试技术的缺点在于,黑盒测试是一种穷举输入的测试方法,不仅要穷举所有合法的输入,还要穷举那些不合法但是可能的输入进行测试。但是根据软件测试的局限性,不太可能完全覆盖所有的输入情况,测试代价太大。黑盒测试的研究重点在于如何从输入域中选择适当数量的、对发现错误具有代表性的测试输入来有效的进行测试。
白盒测试方法是从开发者的角度在源代码级使用软件分析和理解技术,对程序的内部逻辑结构进行分析来测试系统,而黑盒测试方法通过从用户的角度测试软件系统是否符合需求规格,这两类方法各有侧重,在测试的实践中是互补的。但它们又各有缺点,并且不能在方法内部进行完善来解决,而且在面向对象语境下,软件的设计思路和软件的结构,与传统的面向过程的软件相比有了很大的变化,而传统的软件测试方法不能适应这样的变化。
发明内容
针对现有技术中存在的缺陷,本发明的目的在于提供一种基于模型的软件测试方法,通过UML(unified modeling language,统一建模语言)模型图自动生成满足一定覆盖准则的测试用例,从而快速有效的完成软件测试,适应软件的设计思路和软件的结构、与传统的面向过程的软件之间的变化,弥补白盒测试和黑盒测试的不足。
为达到以上目的,本发明采取的技术方案,一种基于模型的软件测试方法,其特征在于,包括如下步骤:
S1.分析被测试软件,根据测试目的,确定测试对象和测试特征;
S2.选择和构造UML模型,该UML模型表述了需求所表述的所有可能行为;
S3.对UML模型进行验证,排查UML模型构造时可能出现的有界性、安全性、死锁和状态可达性,确保UML模型的正确性;
S4.通过深度优先搜索算法遍历UML模型,自动生成测试用例,根据充分性准则计算相关的覆盖率,完成对测试用例的评估;
S5.根据待测程序和所述UML模型得到的测试用例生成测试脚本,自动执行所述测试脚本,并保存执行测试脚本得到的实际输出结果;
S6.根据测试用例的实际输出与预期输出的比较,得出测试结果,再根据测试目标与预先设定好的停止准则,决定是否需要修改模型或修改待测程序。
在上述技术方案的基础上,所述充分性准则包括:
基于控制流的充分性准则:语句覆盖准则、条件覆盖准则和判断覆盖准则;
基于数据流的充分性准则:定义引用覆盖准则、上下文覆盖准则;
基于故障的充分性准则:弱变异覆盖准则、强变异覆盖准则。
在上述技术方案的基础上,所述覆盖率用来度量测试完整性和充分性,其包括:逻辑覆盖、函数覆盖以及功能覆盖,其中逻辑覆盖包括:语句覆盖、判定覆盖、条件覆盖以及路径覆盖。
在上述技术方案的基础上,所述S1中分析被测试软件包括:被测试软件是面向对象的开发技术或者是面向过程的开发技术、被测试软件所采用的开发语言、被测试软件开发的系统环境。
在上述技术方案的基础上,所述UML模型为机器可读的模型,用于对被测试软件进行描述、可视化处理、构造和建立软件系统的文档。
在上述技术方案的基础上,所述S3中,对UML模型进行有界性、安全性、死锁及状态可达性验证。
在上述技术方案的基础上,所述停止准则包括实际输出结果与测试用例的预期输出结果相同,程序所具有的功能与UML模型所具有的功能一致。
在上述技术方案的基础上,所述测试用例主要包括三部分:测试场景、测试输入数据和预期输出序列,测试用例的生成方法主要针对所述三部分相关信息的获取。
在上述技术方案的基础上,所述测试脚本为可以被自动化测试工具执行的指令,所述测试脚本可以被创建,或使用测试自动化工具自动生成,或用编程语言编程来完成,或通过创建、用测试自动化工具自动生成及用编程语言编程共同完成。
在上述技术方案的基础上,所述测试脚本包括以下功能:
a.驱动程序执行,包括编译程序执行和运行程序执行;
b.检测程序的执行过程;
c.向程序传递所需的输入,并得到程序的执行输出。
本发明的有益效果在于:
1、本发明基于模型的软件测试方法,使得基于UML的用例生成方法的流程更加规范,更加易于生成满足高覆盖要求的测试用例。
2.所述生成测试用例均是通过UML模型得到的,并且可以通过结合待测程序自动执行测试,故而大大提高了测试的自动化水平。
3、在基于模型的软件测试中,测试用例的生成仅仅依赖于UML模型,并不依赖于被测试的软件,因此测试用例的生成可以在软件开发完成前进行。
4、系统的模型是根据系统功能需求构建的,所以通过模型生成的测试用例可以直接覆盖系统的需求,减少测试用例的冗余。
5、当需求或者系统发生更改时,基于模型的软件测试只需要根据改变后的模型重新生成测试用例,易于维护。
附图说明
图1为本发明实施例基于模型的软件测试方法流程图。
图2为本发明步骤S4流程图;
图3为本发明步骤S5流程图;
图4为本发明步骤S6流程图。
具体实施方式
以下结合附图及实施例对本发明作进一步详细说明。
如图1所示,本发明为一种基于模型的软件测试方法,所述方法包括以下步骤:
S1:充分了解软件需求规范和设计文档、用户手册,了解被测系统,根据测试目标确定被测组件及其功能特征。分析被测试软件,根据测试目的,确定测试对象和测试特征;
S2:选择和构造UML模型,该UML模型表述了需求所表述的所有可能行为;通过软件的系统特征和各个模型的特征,选择并建立合适的模型作为测试用例生成的模型。
S3:模型验证:
基于形式化方法与可视化UML相结合的建模思想,设计一套从UML模型到Promela模型的转换规则,开发由UML模型自动生成Promela代码的转换工具。在转换工具中通过调用SPIN自动验证Promela代码,来验证UML模型,排查模型构造时可能出现的问题,以确保UML模型正确性。
S4:测试用例自动生成:具体请参考图2,测试用例主要包含了测试场景、测试输入数据和预期输出序列这三部分内容,测试用例的生成主要针对自动获取这三部分的相关信息。在生成测试用例时,我们首先需要将由步骤S2、S3得到的UML模型转化为形式化模型,通过深度优先搜索算法,得到所有的测试场景,再由测试人员根据软件系统的需求在测试场景上添加输入数据等所需的信息,完成测试用例的生成。
在生成测试用例的过程中,需要对于选择和循环等进行处理,找出形式化模型上所有的路径,每条路径即是一个测试场景。
S5:请参考图3,测试用例自动执行:测试用例的自动执行是软件测试自动化的关键步骤,以下为具体实施过程:
分析由S4得到的测试用例,若能从UML模型得到的测试用例中得到输入数据和预期输出,则采用由UML模型得到的测试数据,否则根据被测程序建立约束系统,然后通过随机法、静态法、动态法或者试探法,求解约束系统,得到测试数据。
测试脚本生成:根据软件测试自动化系统的特点,编写一个脚本生成工具。使用脚本生成工具,分析待测程序代码,提取各模块结构信息,如类、函数(方法)、变量,提供简单的选择界面,便于用户选择测试模块、输入数据、期望结果等,由脚本生成工具生成测试脚本。
利用程序插桩技术,对待测程序进行插桩,以便在运行插桩后程序的过程中,提取插桩信息,获得执行的路径信息和执行结果信息,进而可以分析得到软件的结构。
执行上述测试脚本,以驱动插桩后的待测程序执行,获得并且保存相关的执行路径信息和执行结果信息。
所述测试脚本的任务主要是:
a)驱动程序执行,包括编译和运行;
b)检测程序的执行过程;
c)向程序传递所需的输入,并得到程序的执行输出。
S6:请参考图4,比较测试结果:将实际结果与预期结果相比较,若结果符合停止准则,测试执行结束;若结果不符合停止准则,则检查模型是否有问题。若模型存在问题,则修改模型;若模型没有问题,则修改程序。所述停止准则包括,实际输出结果与测试用例的预期输出结果相同,程序所具有的功能与UML模型所具有的功能一致。
本发明基于模型的软件测试方法,使得基于UML的用例生成方法的流程更加规范,更加易于生成满足高覆盖要求的测试用例。生成测试用例均是通过UML模型得到的,并且可以通过结合待测程序自动执行测试,故而大大提高了测试的自动化水平。在基于模型的软件测试中,测试用例的生成仅仅依赖于UML模型,并不依赖于被测试的软件,因此测试用例的生成可以在软件开发完成前进行。系统的模型是根据系统功能需求构建的,所以通过模型生成的测试用例可以直接覆盖系统的需求,减少测试用例的冗余。当需求或者系统发生更改时,基于模型的软件测试只需要根据改变后的模型重新生成测试用例,易于维护。
本发明不局限于上述实施方式,对于本技术领域的普通技术人员来说,在不脱离本发明原理的前提下,还可以做出若干改进和润饰,这些改进和润饰也视为本发明的保护范围之内。本说明书中未作详细描述的内容属于本领域专业技术人员公知的现有技术。
Claims (9)
1.一种基于模型的软件测试方法,其特征在于,包括如下步骤:
S1.分析被测试软件,根据测试目的,确定测试对象和测试特征;
S2.选择和构造UML模型,该UML模型表述了需求所表述的所有可能行为;
S3.对UML模型进行验证,排查UML模型构造时可能出现的有界性、安全性、死锁和状态可达性,确保UML模型的正确性;
S4.通过深度优先搜索算法遍历UML模型,自动生成测试用例,根据充分性准则计算相关的覆盖率,完成对测试用例的评估;
S5.根据待测程序和所述UML模型得到的测试用例生成测试脚本,自动执行所述测试脚本,并保存执行测试脚本得到的实际输出结果;
所述生成测试脚本包括:分析待测程序代码,提取各模块类、函数、变量,并提供选择界面,脚本生成工具生成测试脚本;
利用程序插桩技术,对待测程序进行插桩,在运行插桩后程序的过程中提取插桩信息,获得执行的路径信息和执行结果信息;
执行所述测试脚本,以驱动插桩后的待测程序执行,获得并且保存相关的执行路径信息和执行结果信息;所述测试脚本驱动程序编译和运行,检测程序的执行过程,并向程序传递所需的输入,并得到程序的执行输出;
S6.根据测试用例的实际输出与预期输出的比较,得出测试结果,再根据测试目标与预先设定好的停止准则,决定是否需要修改模型或修改待测程序。
2.如权利要求1所述的一种基于模型的软件测试方法,其特征在于:所述充分性准则包括:
基于控制流的充分性准则:语句覆盖准则、条件覆盖准则和判断覆盖准则;
基于数据流的充分性准则:定义引用覆盖准则、上下文覆盖准则;
基于故障的充分性准则:弱变异覆盖准则、强变异覆盖准则。
3.如权利要求1所述的一种基于模型的软件测试方法,其特征在于:所述覆盖率用来度量测试完整性和充分性,其包括:逻辑覆盖、函数覆盖以及功能覆盖,其中逻辑覆盖包括:语句覆盖、判定覆盖、条件覆盖以及路径覆盖。
4.如权利要求1所述的一种基于模型的软件测试方法,其特征在于:所述S1中分析被测试软件包括:被测试软件是面向对象的开发技术或者是面向过程的开发技术、被测试软件所采用的开发语言、被测试软件开发的系统环境。
5.如权利要求1所述的一种基于模型的软件测试方法,其特征在于:所述UML模型为机器可读的模型,用于对被测试软件进行描述、可视化处理、构造和建立软件系统的文档。
6.如权利要求1所述的一种基于模型的软件测试方法,其特征在于:所述S3中,对UML模型进行有界性、安全性、死锁及状态可达性验证。
7.如权利要求1所述的一种基于模型的软件测试方法,其特征在于:所述停止准则包括实际输出结果与测试用例的预期输出结果相同,程序所具有的功能与UML模型所具有的功能一致。
8.如权利要求1所述的一种基于模型的软件测试方法,其特征在于:所述测试用例主要包括三部分:测试场景、测试输入数据和预期输出序列,测试用例的生成方法主要针对所述三部分相关信息的获取。
9.如权利要求1所述的一种基于模型的软件测试方法,其特征在于:所述测试脚本为可以被自动化测试工具执行的指令,所述测试脚本可以被创建,或使用测试自动化工具自动生成,或用编程语言编程来完成,或通过创建、用测试自动化工具自动生成及用编程语言编程共同完成。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201310455252.9A CN103530228B (zh) | 2013-09-27 | 2013-09-27 | 一种基于模型的软件测试方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201310455252.9A CN103530228B (zh) | 2013-09-27 | 2013-09-27 | 一种基于模型的软件测试方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN103530228A CN103530228A (zh) | 2014-01-22 |
CN103530228B true CN103530228B (zh) | 2016-09-28 |
Family
ID=49932258
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201310455252.9A Active CN103530228B (zh) | 2013-09-27 | 2013-09-27 | 一种基于模型的软件测试方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN103530228B (zh) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN111694741B (zh) * | 2020-06-05 | 2023-09-29 | 中国工程物理研究院计算机应用研究所 | 一种基于路径深度覆盖的测试用例设计方法 |
Families Citing this family (28)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104298603B (zh) * | 2014-11-04 | 2018-01-30 | 中国银行股份有限公司 | 一种应用系统版本构建的正确性的检查方法 |
CN105677557A (zh) * | 2014-11-20 | 2016-06-15 | 国核(北京)科学技术研究院有限公司 | 核电软件测试系统和方法 |
CN104461887A (zh) * | 2014-12-11 | 2015-03-25 | 吴翔虎 | 一种基于动态模型的嵌入式软件黑盒测试用例生成方法 |
CN104375943A (zh) * | 2014-12-11 | 2015-02-25 | 吴翔虎 | 一种基于静态模型的嵌入式软件黑盒测试用例生成方法 |
CN104639390B (zh) * | 2014-12-31 | 2019-05-17 | 曙光信息产业(北京)有限公司 | 系统的测试方法和装置 |
US10346140B2 (en) * | 2015-08-05 | 2019-07-09 | General Electric Company | System and method for model based technology and process for safety-critical software development |
CN105373472B (zh) * | 2015-10-10 | 2017-11-28 | 北京中创信测信息技术有限公司 | 一种基于数据库的统计准确性的测试方法及测试系统 |
CN106844190B (zh) * | 2015-12-07 | 2022-06-07 | 中兴通讯股份有限公司 | 测试脚本自动生成方法及装置 |
CN107807877B (zh) * | 2016-09-08 | 2021-12-07 | 北京京东尚科信息技术有限公司 | 一种代码性能测试的方法和装置 |
CN107368422A (zh) * | 2017-08-02 | 2017-11-21 | 网易有道信息技术(北京)有限公司 | 一种应用程序app的测试方法、装置和介质 |
CN107748713A (zh) * | 2017-09-04 | 2018-03-02 | 中国航空工业集团公司西安飞行自动控制研究所 | 一种基于仿真测试用例的软件验证方法 |
CN107942733A (zh) * | 2017-12-15 | 2018-04-20 | 四川汉科计算机信息技术有限公司 | 模型测试系统 |
WO2019205146A1 (en) | 2018-04-28 | 2019-10-31 | Entit Software Llc | Recommending programmatic descriptions for test objects |
CN108763680A (zh) * | 2018-05-16 | 2018-11-06 | 北京交通大学 | 基于扩展uml模型的安全苛求系统的故障树生成方法 |
CN108920374A (zh) * | 2018-07-11 | 2018-11-30 | 郑州云海信息技术有限公司 | 一种快速统计需求测试覆盖率的方法及系统 |
CN109144866B (zh) * | 2018-08-15 | 2022-08-16 | 广东美的厨房电器制造有限公司 | 基于家用电器的软件测试方法及软件测试装置 |
CN109634842B (zh) * | 2018-10-29 | 2022-02-18 | 中惠医疗科技(上海)有限公司 | 基于qt应用程序的测试方法和系统 |
CN109739759A (zh) * | 2018-12-28 | 2019-05-10 | 中核控制系统工程有限公司 | 一种验证黑盒测试用例设计完整性的方法 |
CN110333998B (zh) * | 2019-03-27 | 2020-12-22 | 北京航空航天大学 | 一种网络化控制cps系统的智能化测试场景编排方法 |
CN110457212B (zh) * | 2019-07-24 | 2023-02-03 | 艾瑞克·李 | 基于复杂系统的测试建模及测试用例的自动生成方法 |
CN110781557B (zh) * | 2019-10-14 | 2023-04-07 | 中国航空工业集团公司沈阳飞机设计研究所 | 一种飞机系统模型仿真测试流程优化方法 |
CN111176995B (zh) * | 2019-12-25 | 2023-07-21 | 中国航空工业集团公司西安飞机设计研究所 | 一种基于大数据测试用例的测试方法和测试系统 |
CN111176998B (zh) * | 2019-12-25 | 2023-05-23 | 中国航空工业集团公司西安飞机设计研究所 | 一种液压控制软件的配置项测试方法 |
CN111258911A (zh) * | 2020-02-13 | 2020-06-09 | 深圳航天科技创新研究院 | 一种基于数据驱动及多种覆盖策略的软件测试用例生成方法、系统及存储介质 |
CN111382078B (zh) * | 2020-03-13 | 2023-04-28 | 龙婷 | 故障诊断模拟方法、装置、电子设备及存储介质 |
CN111475415B (zh) * | 2020-04-07 | 2021-07-27 | 北京航空航天大学 | 一种可靠性策略模型与代码的一致性检测方法和装置 |
CN111966575B (zh) * | 2020-05-19 | 2023-12-12 | 中国航空无线电电子研究所 | 一种航空机载显示软件的图形自动化测试方法 |
CN112000557B (zh) * | 2020-07-16 | 2023-09-12 | 浙江众合科技股份有限公司 | 轨道交通信号系统自动化测试装置 |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101571802A (zh) * | 2009-06-19 | 2009-11-04 | 北京航空航天大学 | 一种嵌入式软件测试数据可视化自动生成方法及系统 |
CN102087630A (zh) * | 2011-01-27 | 2011-06-08 | 中国人民解放军63928部队 | 一种从uml行为设计模型生成u2tp测试模型的方法 |
-
2013
- 2013-09-27 CN CN201310455252.9A patent/CN103530228B/zh active Active
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101571802A (zh) * | 2009-06-19 | 2009-11-04 | 北京航空航天大学 | 一种嵌入式软件测试数据可视化自动生成方法及系统 |
CN102087630A (zh) * | 2011-01-27 | 2011-06-08 | 中国人民解放军63928部队 | 一种从uml行为设计模型生成u2tp测试模型的方法 |
Non-Patent Citations (2)
Title |
---|
基于UML模型的软件测试技术研究与实现;李学升;《CNKI优秀硕士学位论文全文库》;20090615;正文第11-32页 * |
基于模型的面向对象测试用例生成研究;陈志德;《CNKI优秀硕士学位论文全文库》;20110115;正文第8-34页 * |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN111694741B (zh) * | 2020-06-05 | 2023-09-29 | 中国工程物理研究院计算机应用研究所 | 一种基于路径深度覆盖的测试用例设计方法 |
Also Published As
Publication number | Publication date |
---|---|
CN103530228A (zh) | 2014-01-22 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN103530228B (zh) | 一种基于模型的软件测试方法 | |
Gross et al. | Search-based system testing: high coverage, no false alarms | |
Nguyen et al. | GUITAR: an innovative tool for automated testing of GUI-driven software | |
Ge et al. | DyTa: dynamic symbolic execution guided with static verification results | |
US8561021B2 (en) | Test code qualitative evaluation | |
Lonetti et al. | Emerging software testing technologies | |
US20160124827A1 (en) | System and method for performing model verification | |
Wille et al. | Debugging of inconsistent UML/OCL models | |
Zheng et al. | On the state of the art in verification and validation in cyber physical systems | |
Wu et al. | Automatic test case generation for structural testing of function block diagrams | |
Brown et al. | Software testing | |
Gabmeyer et al. | A classification of model checking-based verification approaches for software models | |
Clarisó et al. | Smart bound selection for the verification of UML/OCL class diagrams | |
Przigoda et al. | Checking concurrent behavior in UML/OCL models | |
Zhao et al. | Qchecker: Detecting bugs in quantum programs via static analysis | |
Herbstritt et al. | Advanced SAT-techniques for bounded model checking of blackbox designs | |
Rocha et al. | Memory management test-case generation of C programs using bounded model checking | |
de la Vara et al. | A proposal for the classification of methods for verification and validation of safety, cybersecurity, and privacy of automated systems | |
Hedaoo et al. | Study of Dynamic Testing Techniques | |
Zeller | Specifications for free | |
Grasso et al. | Model based testing and abstract interpretation in the railway signaling context | |
Ferrari et al. | The metrô rio atp case study | |
Sampath et al. | Testing model-processing tools for embedded systems | |
Abraham | Verification and validation spanning models to code | |
Ibing | Dynamic symbolic execution with interpolation based path merging |
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 |