Automated test generation and error localisation for Simulink/Stateflow modelled systems using extended automata
نویسندگان
چکیده
منابع مشابه
Integrated Automated Test Case Generation and Static Analysis – Extended Abstract
In the general literature discussing software quality assurance, there is a common understanding that the software verification process should be supported by both tests and static analyses [Lig02], the latter ranging from informal inspections to rigorous application of formal methods [CCF06]. This understanding is also reflected by the applicable standards for – potentially safety-related – so...
متن کاملAutomated Generation of Test Suites for Error Analysis of Concept Recognition Systems
We present an architecture and implementation of a system that builds structured test suites for concept recognition systems. The system applies provided test case definitions to a target concept vocabulary, to generate test cases organised according to those definitions. Test case definitions capture particular characteristics, or produce regular transformations, of concept terms. The test sui...
متن کاملAutomated Hypothesis Generation Using Extended Inductive Resolution
We report on a method of automated hypothesis generation, called f-resolution, which is derived from deductive resolution techniques. The method is inductive in character, in the sense that given input statement E, it generates hypotheses H, such that E is a deductive consequence of E. The method is extended by a generalized unification algorithm which introduces appropriate identity assumption...
متن کاملSoftware Test Case Automated Generation Algorithm with Extended EDPN Model
To improve the sufficiency for software testing and the performance of testing algorithms, an improved event-driven Petri network model using combination method is proposed, abbreviated as OEDPN model. Then it is applied to OATS method to extend the implementation of OATS. On the basis of OEDPN model, the marked associate recursive method of state combination on category is presented to solve p...
متن کاملAutomated Localisation Testing in Industry with Test ^* ∗
Test∗ is a testing tool that automatically and dynamically generates, executes and verifies test sequences based on a tree model that is derived from the software User Interface through assistive technologies. Test∗ is an academic prototype that we continuously try to transfer to companies to get feedback about its applicability. In this paper we report on one of these short experiences of usin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IET Cyber-Physical Systems: Theory & Applications
سال: 2016
ISSN: 2398-3396,2398-3396
DOI: 10.1049/iet-cps.2016.0024