嵌入式软件动态测试工具Tessy

合集下载

TESOO Easy 软件使用说明书

TESOO Easy 软件使用说明书

TESOO EASY使用说明书通信协议请参考《TDM1001型数显表头UART接口协议》一、 软件图标如图1所示,鼠标靠近时显示属性信息。

图1、TESOO Easy软件图标二、 打开软件1、【双击】或【右击】图标打开软件,开启界面如图2所示。

图2、TESOO Easy开启界面2、在界面区域内【右键单击】打开菜单如图3所示,选择【添加设备】弹出添加窗口如图4所示。

图3、右键菜单图4、添加设备窗口及串口下拉选择3、选中串口号后点击【连接设备】按钮,如果已正确连接到表头,连接成功后将立即能够看到测量数据在主窗口中显示,如图5所示,并自动关闭【添加设备】窗口,若连接错误则将在【添加设备】窗口提示错误信息。

【设备名】编辑框提供用户在【连接设备】前输入设备信息,用以判断多设备连接时各设备之间的与窗口的对应关系,该信息会被附加到窗口左上角串口号处,如图6所示。

图5、连接成功后数据测量界面图6、窗口左上角附加信息提示4、如图7所示,继续在主窗口下【右键】打开菜单,多了窗口置前、设备设置、断开设备等选项。

其中【总在最前】‐>【置前】可让测量窗口一直处于最顶层显示,也可以选择【总在最前】->【取消】;【添加设备】选项如图4所示;【断开设备】选项会退出当前测量的显示,回到刚打开时的主界面,如图2所示。

图7、测量过程中右键菜单选项5、选择图7中的【设备设置】选项后将会弹出如图8所示界面,在此界面内可修采样率及改小数点显示位置,选中选项前的小圆点,然后点击下面对应的【设置】按钮即可,采样率的改变可通过观察图2中左下角的【*】号闪烁频率来判断。

图8、采样率及小数点设置界面6、在图5的测量窗口中可以看到右侧有两个选项,分别为【查看趋势图】和【保存数据】。

点击选中【查看趋势图】前的复选框,将弹出如图9所示界面,图中每一个点代表一个不同于相邻点的数据,并记录了该数据保持不变的次数,当鼠标移至点中心时,会出现如图8右侧所示小窗口,提示该测量值为多少以、电脑记录该数值的时间以及保持不变的次数。

tessy 系统函数

tessy 系统函数

tessy 系统函数使用Tessy系统函数进行软件测试Tessy是一款常用的软件测试工具,能够实现软件测试的自动化,提高测试效率和质量。

在使用Tessy进行软件测试时,系统函数是不可或缺的一部分。

本文将介绍Tessy系统函数的使用方法和注意事项。

一、Tessy系统函数的概念Tessy系统函数是指Tessy软件中已经预定义好的测试函数,可以直接调用。

这些系统函数可以用于生成测试用例、执行测试、输出测试结果等操作,能够极大地简化测试工作。

需要注意的是,Tessy 系统函数只能在Tessy软件中使用,不能直接在代码中调用。

二、Tessy系统函数的分类Tessy系统函数可以分为以下几类:1. 测试用例生成函数:包括random()、equivalence()、boundary()等函数,用于生成测试用例。

2. 测试执行函数:包括execute()、check()、assert()等函数,用于执行测试用例、检查测试结果和输出测试报告。

3. 其他函数:包括convert()、print()、read()等函数,用于数据转换、输出信息和读取数据等操作。

三、Tessy系统函数的使用方法1. 调用系统函数:在Tessy软件中,可以通过“函数库”来查看和调用系统函数。

只需在测试用例中输入函数名和参数即可。

2. 自定义函数:如果Tessy系统函数不能满足测试要求,可以自定义函数。

自定义函数需要在Tessy软件中进行编写和调用。

3. 函数参数:Tessy系统函数的参数需要按照函数定义的要求进行设置,否则会导致测试失败。

四、Tessy系统函数的注意事项1. 函数使用前需要了解函数的功能和参数,避免误用和错误操作。

2. 在使用系统函数时,需要注意测试用例的覆盖率,以保证测试的全面性。

3. 在自定义函数时,需要进行函数的正确性验证和测试,避免出现错误。

4. 在测试执行过程中,需要及时检查测试结果和输出测试报告,以便及时发现和解决问题。

tessy 批处理 单元测试用例

tessy 批处理 单元测试用例

tessy 批处理单元测试用例
Tessy是一种用于自动化测试的工具,它可以用于批处理单元测试用例。

在软件开发中,单元测试用例是用来验证程序中最小的可测试部分(通常是函数或方法)是否按预期工作的测试案例。

使用Tessy进行批处理单元测试用例可以带来许多好处。

首先,Tessy可以帮助自动化执行大量的单元测试用例。

这意味着开发人员可以节省大量时间,因为他们不需要手动逐个运行每个测试用例。

通过批处理单元测试用例,可以更快地发现和修复潜在的问题,从而提高软件质量和稳定性。

另外,Tessy还提供了丰富的测试报告和分析功能,这些功能可以帮助开发人员更好地了解测试覆盖率、失败原因以及代码质量等方面的信息。

通过这些报告,团队可以更好地追踪测试进度,及时发现问题,并及时采取行动。

此外,Tessy还支持批处理测试用例的自动化集成到持续集成/持续交付(CI/CD)流程中。

这意味着开发人员可以在每次代码提交后自动运行单元测试用例,从而及时发现和解决问题,并确保代码的稳定性和可靠性。

总的来说,使用Tessy进行批处理单元测试用例可以帮助团队提高测试效率,加快发现和修复问题的速度,提高软件质量和稳定性,以及更好地集成测试流程到开发过程中。

这样可以帮助团队更好地开发出高质量的软件产品。

西特斯i-cube 3.3 用户手册说明书

西特斯i-cube 3.3 用户手册说明书

Building a safe and secure embedded worldUnit Testing for Software QualityTest in the real environment and document the results> T ESSY and CTETESSY performs automated dynamic module/unit and integration testing of embedded software and determines the code coverage along the way. This kind of test is required for certifications according to standards such as DO-178, IEC 61508, ISO 13849, IEC 62279, or ISO 26262.Integrated with TESSY is the ClassificationTree Editor (CTE), a tool to specify test cases systematically according to the Classification Tree Method (CTM). TESSY is based on Eclipse Rich Client Platform (RCP) thus featuring the well-known Eclipse user interface with views and perspectives.TESSY automatically executes the tests, evaluates the test results, and generates the test reports. TESSY can eliminate manual testing and therefore saves the embedded development engineer a tremendous amount of time. A faster development process ensures the tool recovers its costs quickly, and what‘s more, produces better quality software and documented tests.TESSY is successfully used in large projects with dozens of users in multiple locations across the world. TESSY is used extensively in automotive, aerospace, avionics, railway, medical, military, and industrial applications. Ask for a testimonial!TESSY can be operated without user intervention which is useful for regression testing and continuous integration.The quickest route to a safe application TESSY: the invaluable test tool for safety critical applications TESSY – The invaluable test toolWhat Is Module/Unit Testing?During unit testing the test object is tested rigorously and in isolation from the rest of the application. The test object is a C-level function or a method (in C++). Often unit testing is also called module testing.Rigorous means that testing is tightly focused on the unit in question; the test cases are specific for the unit, demanding, comprehensive, using boundary values and values that are likely to reveal a problem in the unit under test.Isolated means that the test result does notdepend on the behaviour of the other units in the application. It can be achieved by directly calling the unit under test and replacing calls to other units by stub functions.Tested for the unexpected: systematic, rigorous, isolated testingModule / unit testing eliminates errors early on and prevents them from showing up inlater stages of the development process.What are the benefits? 1. Find errors earlyUnit testing can be conducted as soon as the unit to be tested compiles successfully. Therefore errors inside the unit can be detected very soon after their creation.2. Save moneyIt is generally accepted that errors detected late in a project are more expensive to correct than errors that are detected early. Hence unit testing saves money.3. Give confidenceUnit testing gives confidence. After the unit testing, the application will be made up of fully tested units. A test for the whole application will then be more likely to pass.4. Specific for the unitI nstead of trying to create test cases that test the whole set of interacting units, the test cases for unit testing are specific to the unit under test (divide-and-conquer). Test cases can easily comprise of input data that is unexpected by the unit under test, something which may be hard to achieve during system testing.5. Easy defect isolationIf the unit under test is tested in isolation from the other units, detecting the cause of a failed test case is easy. The fault must be related to the unit undertest.A tour around the testing workflow How TESSY worksUnleash it for a test run> TESSY starts off by analyzing the source module and then lets the user select the test object. This can be a function or amethod (in C++). TESSY then identifies the interface of thetest object, such as global variables, parameters, andfunctions/methods called by the test object.> TESSY determines whether a variable of the interface is input, output, or both.> TESSY can be directed to allocate memory to be used as targetfor pointers in the interface.State your caseTESSY provides several ways to specify values for the test cases:> Interactive test data input is accomplished in thetabular Test Data view> Test data import in various file formats (including Excel)> Test cases specified systematically by use of theClassification Tree Method can be imported fromthe Classification Tree Editor (CTE)> TESSY can generate test cases from value ranges> TESSY can generate random test dataMeet your test driverTESSY then generates source code for the test driver, which callsthe test object. If it calls another function/method, TESSY is ableto create a stub function as replacement. This is necessary forunit testing in its strictest sense and useful if the called function/method is not implemented yet.TESSY provides two types of stub functions:One type allowsthe user to specify expected values for the input variables of thestub function which then are compared with the actual values byTESSY. Furthermore this stub function type allows you to specifythe inputs from the stub function to the test object, e.g. the returnvalue. The other type of stub function allows the user to providesource code for the body of the stub.Go TESSY go!Using a cross compiler, TESSY compiles and links the driver sourcecode, the function under test and any stub functions, and thendownloads the resulting executable to the test system. This mightbe an in-circuit emulator in stand-alone mode or one connected toa target system, or a JTAG / BDM / OCDS debug system. This mightalso be a simulation of the target microcontroller running on thehost PC. Testing can also be performed on the host PC using thenative GNU compiler.TESSY executes each test case and then determines, if it haspassed or failed. A comprehensive test report can be created in pdf,word, html, and xml format.The interface separates thetest object from the rest of theapplicationNon-interactive testingTESSY features a command language which allows the user to automate almost all tasks in TESSY.The command language enables the integration of TESSY in Continuous Integration (CI) systems.Dream debuggingIf a test case fails, an easy and efficient debug plan is in place. TESSY is able to re-execute a test case and direct the debugger in use to stop test execution at the beginning of the test object.The debugger’s features now can be used to reveal theculprit. After the source code is changed to fix the bug, the test case in question (and all others) can easily be re-run to verify that the correction operates successfully.Regression testingRegression testing can reveal if new errors have been introduced during further development of the application, such as bug fixes in other sections, rewriting of the tested function, switching to a new compiler version or porting the software to another microcontroller architecture. TESSY’s easy-to-use regression testing ability is an extremely helpful method of checking modified software, therefore ensuring software quality.Trace your requirementsTraceability of requirements to test cases checks if allrequirements have a test case associated with them and also lets you find out which test cases may need adaptation if a requirement has changed. Requirements can be imported / exported and created in TESSY.Why TESSY eases testingSoftware quality needs TESSYRe-use test data and save timeIf any interface element of a tested function has been changed in the course of the development process, TESSY allows the user to re-use test data from the old interface, which considerably aids the regression testing process.Fault injectionTESSY features a faultinjection mechanism allowing comfortable testing of the reaction of the test object to faults from the outside, e.g. defective RAM.This mechanism can also be used to execute theoretically unreachable code parts, hence achieving 100% code coverage.Test case specififcation according to the Classification Tree Method. The CTE (Classification Tree Editor), integrated in TESSY, supports thismethodIntegration testing – check the interactionTESSY can test the interaction of cooperating units even if the units do not call each other, e.g. push() and pop() of a stack. Several units are composed to form a bigger unit, usually called a component. A test case calls the units in a certain order and sets variables of the component. Resulting calls to other components and variable values can be checked by TESSY. Integration test cases can also include simulated time(temporal component testing).The Classification Tree MethodThe Classification Tree Method supports a developer confronted with issues such as:> Finding the ”right” test cases> Minimizing a set of test cases while assuring that none are missing > Estimating the amount of testing required> Defining criteria needed to conclude testing without risking integrity of the test processTransforming requirementsThe Classification Tree Method transforms requirements systematically into a set of error-sensitive, low-redundancy test cases. This method classifies test-relevant aspects using the equivalence partitioning method and leads to test case specifications that can comprise boundary values.Intuitive and easy to learnThe Classification Tree Method is intuitive and easy to learn. It requires and encourages the developer to employ his creativity. Because thinking about the problem specification is at the very beginning, the Classification Tree Method also reveals inconsistencies or omissions in the problem specification.Testing of software variantsTESSY eases the testing of software variants. Test cases for a base software can be transferred andadapted to the software variants. If a base test case changes, the change is applied to the inherited testcases of the variants automatically.Hitex UKHitex (UK) Ltd Millburn Hill RoadUniversity of Warwick Science Park Coventry CV4 7HS United KingdomPhone: +44-24-7669-2066Fax: +44-24-7669-2131Email: info@hitex.c Engineering Testing Training ToolsSoftware Components SystemsManufacturingConsultingHitex Head Office, Germany Hitex GmbHGreschbachstraße 1276229 Karlsruhe GermanyPhone: +49-721-9628-0Fax: +49-721-9628-149Email:*************B -T E S S Y -E 04.i n d d - D EC 2018© Hitex GmbH. All Rights Reserved. This document is intended to give overview information only. Hitex makes no warranties or representations with regard to this content of any kind, whether express or implied,including without limitation, warranties or representations of merchantability, fitness for a particular purpose, title and non-infringement of any third party intellectual property right. Hitex reserves the right to make corrections, deletions, modifications, enhancements, improvements and other changes to the content and materials, its products, programs and services at any time or to move or discontinue any content, products, programs, or services without notice. Trademarks of other companies used in the text refer exclusively to the products of these companies. Hitex is a trademark of Hitex GmbH.TESSY is qualified to be used in safety-related software development according to IEC 61508, ISO 26262, EN 50128, and IEC 62304。

使用Etest完成嵌入式系统测试-2020-3(1)

使用Etest完成嵌入式系统测试-2020-3(1)

配置项测试的主要内容是确认测试, 即确认产品功能符合软件需求说明书 的要求。
它的测试类型通常包括很多种,例如 文档审查,静态分析,功能测试,接 口测试,性能测试,人机界面测试, 余量测试,安全性测试等等。
有些对测试要求比较高的行业,还可 能有更多分类。
二、配置项测试与系统测试
系统测试
• 经过集成测试之后,分散开发的模块被连接起来,构成相 对完整的体系,其中各模块间接口存在的种种问题都已基 本消除,测试开始进入到系统测试的阶段。
传感器
接口需求
模拟信号量接口:变速器油压; 模拟量输入通过AD电路进行采集,AD采
集的位数为12bit,即:Vc=5*Di/212,Di 为各路AD采集的值,Vc为电压值; 变速器油压范围:0Mpa-4.0MPa 公式:(Vc*2/3*1000-400)*150/1600/50 误差:±0.1Mpa
嵌入式计算机系统+执行装置(外围装置), 软件和硬件的综合体 ➢ 嵌入式微处理器 ➢ 存储器 ➢ 通用设备接口:A/D、D/A、RS232、 Ethernet、USB、…… ➢ 软件:系统软件+应用软件
一、嵌入式系统与非嵌入式系统
嵌入式软件与非嵌入式软件的比较
嵌入式软件
用途/目标:面向设备 层次:软件更接近底层 系统:嵌入式系统 接口类型:接口类型多种多样 协 议 大 多 为 底 层 , 直 接 面 对 信 号、二进制/十六进制数据 更专业/非专业人员很少接触 规模:一般较小
嵌入 式处理 器及其 它
输 出
串口 网口
输出

设备
口 DIO
1553B
IEEE:用于控制、监视或者辅助操作机器和 设备的装置。Devices Used to Control, Monitor or Assist the Operation of Equipment,Machinery or Plants。

【免费下载】嵌入式软件动态测试工具Tessy

【免费下载】嵌入式软件动态测试工具Tessy

嵌入式软件动态测试工具TessyTessy是一个专门针对嵌入式软件的C/C++代码进行单元、集成测试的工具,它可以自动化地执行测试、评估测试结果并生成测试报告。

Tessy的目标就是:通过自动化整个测试周期,在所有测试阶段完美支持针对C语言的单元测试,当然,Tessy也同样关注测试组织和测试管理。

Tessy软件源自戴姆勒-奔驰公司的软件技术实验室。

从1997年,Tessy就在戴姆勒-奔驰公司得到广泛的使用,之后独立成为专业的软件测试工具公司Razorcat,由德国Hitex负责全球销售及技术支持服务。

北汇信息作为Hitex/Razorcat公司的中国合作伙伴,将为中国汽车客户提供Tessy软件及优秀的软件测试服务。

Tessy的应用在以V模型为例的开发模式中,Tessy主要处理右半部分验证和确认中单元/模块测试,集成/组件测试以及系统测试的内容。

在V模型的开发模式中,单元测试是第一个测试活动。

它阻止了每一类错误,比如算法错误,在V模式的右边向上蔓延,这样可以尽可能早得发现Bug,防止直到后面的测试过程或者直到最终用户那里才被发现,单元测试有经济效益,越早发现bug越好。

另外,Tessy也可以满足各类标准(ISO26262、IEC 61508、EN 50128/50129、DO-178B、汽车SPiCE或FDA的软件验证通用原则)对测试的需求,比如ISO26262中各个测试等级中对模块测试的要求可以使用Tessy来满足,当然Tessy本身也通过了TUeV的认证,被证明是安全可靠的,可以在安全相关性的软件研发过程中被使用。

Tessy的特性自动生成测试环境:Tessy可以自动生成测试环境驱动,选择自动或者手动打桩以及自动生成测试用例模板,帮助客户提高测试用例设计效率。

多种测试用例确定方式:除了从Excel中导入测试用例,手动地设计测试用例外,Tessy里集成了CTE软件,根据分类树的方法通过Tessy自动化地关联测试用例。

tessy测试高级用法

tessy测试高级用法

tessy测试高级用法
Tessy是一种用于嵌入式软件测试的工具,提供了许多高级用法和功能。

以下是一些Tessy的高级用法:
1. Test case selection: Tessy提供了多种测试用例选择策略,包括基于覆盖率、基于模型和基于风险等。

你可以根据需要选择适合的策略来进行测试用例的选择。

2. Test data generation: Tessy能够根据测试目标和输入约束自动生成测试数据。

你可以定义输入约束条件,并使用Tessy生成符合条件的测试数据以覆盖不同的代码路径。

3. Test execution control: Tessy允许你对测试执行进行精细的控制,例如暂停、继续、跳过或重复执行特定的测试用例。

这有助于在测试过程中灵活地处理各种情况。

4. Test result analysis: Tessy提供了丰富的测试结果分析功能,包括代码覆盖率报告、错误追踪和问题定位等。

你可以使用这些功能来评估测试的有效性并找出潜在的问题。

5. Integration with other tools: Tessy可以与其他开发和测试工具集成,例如版本控制系统、连续集成工具和缺陷跟踪系统等。

这样可以
在整个软件开发和测试流程中实现无缝的集成和协作。

嵌入式软件接口测试方法

嵌入式软件接口测试方法

三、嵌入式软件接口测试方法
API接口测试 协议接口——底层:信号类 协议接口——中间层:数据类 协议接口——高层:文本类
三、嵌入式软件接口测试方法
API接口测试 API接口函数 测试接口函数的功能和性能 测试方法:
编写测试程序,调用API函数 交叉编译 可执行程序下载到嵌入式设备 运行,获取测试结果
接口的分类(二)
人与系统 硬件与硬 的接口 件的接口
软件与软 软件与硬 件的接口 件的接口
一、接口与接口测试
底层软件提供的应用编程接口 系统API 开发包API
人与计算机操作用户界面 GUI CLI
接口的分类(三)
API
总线/网
络接口
人机交互 界面
数据库 接口
部件与部件通过总线/网络相连 Ethernet、RS232、CAN、
很大比例是安全关键软件,关系到生命安全和国家安全,要求
非常严格 一般来说上比非嵌入式软件更困难一些
测试 人员
二、嵌入式软件接口测试
嵌入式软件接口测试
对嵌入式软件测试包括静态和动态,包括基于结构的白盒测试和基于 需求规约的黑盒测试
嵌入式软件接口测试:对嵌入式软件提供的接口按照接口需求进行测 试和验证 ➢ 测试嵌入式软件接口信息数据与控制逻辑的正确性 ➢ 测试正常情况和异常情况(包括数据和逻辑) ➢ 测试接口的功能性、性能、安全性和稳定性
pass data and control correctly to one another.
一、接口与接口测试
接口测试(interface testing) 军用软件测评实验室测评过程与技术能力要求 接口测试是对软件需求规格说明或设计文档中的接口需求逐项进行的 测试。接口测试一般需进行:
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

嵌入式软件动态测试工具Tessy
Tessy是一个专门针对嵌入式软件的C/C++代码进行单元、集成测试的工具,它可以自动化地执行测试、评估测试结果并生成测试报告。

Tessy的目标就是:通过自动化整个测试周期,在所有测试阶段完美支持针对C语言的单元测试,当然,Tessy也同样关注测试组织和测试管理。

Tessy软件源自戴姆勒-奔驰公司的软件技术实验室。

从1997年,Tessy就在戴姆勒-奔驰公司得到广泛的使用,之后独立成为专业的软件测试工具公司Razorcat,由德国Hitex负责全球销售及技术支持服务。

北汇信息作为Hitex/Razorcat公司的中国合作伙伴,将为中国汽车客户提供Tessy软件及优秀的软件测试服务。

Tessy的应用
在以V模型为例的开发模式中,Tessy主要处理右半部分验证和确认中单元/模块测试,集成/组件测试以及系统测试的内容。

在V模型的开发模式中,单元测试是第一个测试活动。

它阻止了每一类错误,比如算法错误,在V模式的右边向上蔓延,这样可以尽可能早得发现Bug,防止直到后面的测试过程或者直到最终用户那里才被发现,单元测试有经济效益,越早发现bug越好。

另外,Tessy也可以满足各类标准(ISO26262、IEC 61508、EN 50128/50129、DO-178B、汽车SPiCE 或FDA的软件验证通用原则)对测试的需求,比如ISO26262中各个测试等级中对模块测试的要求可以使用Tessy来满足,当然Tessy本身也通过了TUeV的认证,被证明是安全可靠的,可以在安全相关性的软
件研发过程中被使用。

Tessy的特性
自动生成测试环境:
Tessy可以自动生成测试环境驱动,选择自动或者手动打桩以及自动生成测试用例模板,帮助客户提高测试用例设计效率。

多种测试用例确定方式:
除了从Excel中导入测试用例,手动地设计测试用例外,Tessy里集成了CTE软件,根据分类树的方法通过Tessy自动化地关联测试用例。

支持动态测试的各阶段:
Tessy可以支持从单元测试到系统测试的动态测试过程各个阶段,通过单元测试检查最小单位为函数的功能,通过集成测试来测试各个子功能组合起来的模块能否达到预期要求的父功能以及相互间的接口,通过系统测试实现与目标板集成的测试环境来测试系统功能;
另外Tessy可以自动发现被测对象的改变,分析被测对象的接口,重用测试用例和测试数据,从而为重复的回归测试节约大量的工作和时间,在接口不变的情况下Tessy可以完全自动化地执行不需要用户介入的回归测试;
全自动地测试执行及评估;
Tessy检查源文件并且通过分析程序代码来确定函数以及他们的接口,这些信息将被保存在特定的数据库中供随时检索,接口信息和测试数据的分离实现了结构和数据之间的明确划分,一方面,接口的测试使首先显示变化成为可能,另一方面,如果发生变化,通常也只有要测试的函数接口的几个元素要发生变化,在Tessy中接口发生变化时的处理相当简单;
测试报告生成:
管理测试数据并将测试结果文档,Tessy提供输入参数/执行测试和评估结果和报告文档,Tessy可以生成多种格式的报告,包括XML,HTML,TXT,Word,Excel以及Windows帮助文档的格式。

显示测试覆盖度:
Tessy提供C1覆盖,即分支覆盖branch coverage或者判定覆盖decision coverage ;条件覆盖,即多条件覆盖MCC(Multiple Condition Coverage)和修正条件判定覆盖MC/DC(Modified Condition/Decision Coverage),Tessy是通过测试应用程序来获取测试覆盖信息的;
支持各种测试环境:
Tessy现在可以支持超过130种微控制器、交叉编译器和调试器的组合;这确保了Tessy能够处理交叉编译器生成的非标准C(ANSI-C)微控制器特定的代码;一旦Tessy和不同的调试器完成集成,就可以自动执行测试了。

支持ASAP2:
在Tessy中设计测试用例之前选择与ASAP2标准的集成功能,确定需要导入的ASAP2文件,使用ASAP2转换规则自动地将测试用例中设计的测试数据物理值转换为在目标板中执行测试对象的整数值,从而简化测试用例设计的理解和实现,并且可以在Tessy中显示其他ASAP2信息,例如单位,最大/最小值等。

Tessy用户列表及典型案例:
Tessy被广泛应用于汽车、国防、铁路、医疗和工业应用领域当中,众多著名的汽车整车厂、零部件供应商都在使用Tessy。

•汽车行业:Behr-Hella, Bertrandt, Beru, BMW, Bose, Brose, Continental Temic, Daimler, Delphi, Delphi Grundig, Getrag, Helbako, Hella, John Deere, Kiekert, Kostal, Lear, Magna, Marquardt, Pierburg, Preh, SAB Wabco, Siemens VDO, T akata, Tata Elxsi, Tesla, TietoEnator, TRW, Wabco, Valeo, ZF, …
安全关键性领域:Bosch Rexroth, Demag Cranes, Endress&Hauser, Festo, Hanning&Kahl, Liebherr, SEW, Siemens A&D, Testo, Wago, …
医疗行业:Allergan, Biotronik, Dräger, getemed, Leica Biosystems, Otto Bock, Sensimed, Stago, St. Jude Medical, Ypsomed, …
白色家电、国防等领域
德国戴姆勒公司大量使用Tessy,其中应用最多的部门是EP/MEI,他们在使用Freescale MPC微控制器,主要为六缸和八缸汽油机开发控制软件,也包括迈巴赫使用的12缸发动机的控制软件,也都是用Tessy 进行测试的。

在一个典型的测试项目中包含90个C语言功能函数,所有的函数都使用Tessy测试。

一个功能函数通常有平均20个接口元素(比如输入或输出变量)。

为了全面地测试一个功能,总共需要大约500个测试步骤,划分成20到30个测试用例。

戴姆勒公司EP/MEI部门的Ralf Focken感叹说,“不使用Tessy的单元测试,是我们无法想象的。


德国宝马公司正在使用Tessy测试由Matlab/Simulink模型自动生成的代码,以及集成的手写代码。

这个项目是为宝马的混合动力汽车锂电池的智能电池管理系统,安全等级为ISO26262 ASIL C级。

这个项目由40个C语言的功能函数组成。

所有的功能函数,包括硬件接口函数,都是使用Tessy测试的。

对于有些测试对象,需要多达20000个测试用例,Tessy都可以轻松处理这样大量的测试数据。

宝马公司的Andreas Schmude说“Tessy对于测试我们自动生成的代码,起了至关重要的作用。

”。

相关文档
最新文档