检索结果-内蒙古大学图书馆

6th IEEE International Conference on Software Testing, Verification and Validation (ICST)

作者： Enoiu, Eduard Paul Sundmark, Daniel Pettersson, Paul Malardalen Univ Malardalen Real Time Res Ctr MRTC Vasteras Sweden

ISBN: (纸本)9780769549934;9781479913244

A method for model-based test generation of safety-critical embedded applications using Programmable Logic Controllers and implemented in a programming language such as Function Block Diagram (FBD) is described. The FBD component model is based on the IEC 1131 standard and it is used primarily for embedded systems, in which timeliness is an important property to be tested. Our method involves the transformation of FBD programs with timed annotations into timed automata models which are used to automatically generate test suites. Specifically we demonstrate how to use model transformation for formalization and model-checking of FBD programs using the UPPAAL tool. Many benefits emerge from this method, including the ability to automatically generate test suites from a formal model in order to ensure compliance to strict quality requirements including unit testing and specific coverage measurements. The approach is experimentally assessed on a train control system in terms of consumed resources.

关键词： function block diagram plc model-based testing timed automata test-suite generation structural coverage

来源：评论

学校读者我要写书评

暂无评论

Effective Test Suites for Mixed Discrete-Continuous Stateflow Controllers 2015

Effective Test Suites for Mixed Discrete-Continuous Stateflo...

引用

10th Joint Meeting of the European Software Engineering Conference (ESEC) / ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)

作者： Matinnejad, Reza Nejati, Shiva Briand, Lionel C. Bruckmann, Thomas Univ Luxembourg SnT Ctr Luxembourg Luxembourg Delphi Automot Syst Luxembourg Luxembourg

ISBN: (纸本)9781450336758

Modeling mixed discrete-continuous controllers using Stateflow is common practice and has a long tradition in the embedded software system industry. Testing Stateflow models is complicated by expensive and manual test oracles that are not amenable to full automation due to the complex continuous behaviors of such models. In this paper, we reduce the cost of manual test oracles by providing test case selection algorithms that help engineers develop small test suites with high fault revealing power for Stateflow models. We present six test selection algorithms for discrete-continuous State-flows: An adaptive random test selection algorithm that diversifies test inputs, two white-box coverage-based algorithms, a black-box algorithm that diversifies test outputs, and two search-based black-box algorithms that aim to maximize the likelihood of presence of continuous output failure patterns. We evaluate and compare our test selection algorithms, and find that our three output-based algorithms consistently outperform the coverage-and input-based algorithms in revealing faults in discrete-continuous Stateflow models. Further, we show that our output-based algorithms are complementary as the two search-based algorithms perform best in revealing specific failures with small test suites, while the output diversity algorithm is able to identify different failure types better than other algorithms when test suites are above a certain size.

关键词： Stateflow testing mixed discrete-continuous behaviors structural coverage failure-based testing output diversity

来源：评论

学校读者我要写书评

暂无评论

The state problem for test generation in Simulink 06

The state problem for test generation in <i>Simulink</i>

引用

8th Annual Genetic and Evolutionary Computation Conference

作者： Zhan, Yuan Clark, John A. Univ York Dept Comp Sci York YO10 5DD N Yorkshire England

ISBN: (纸本)9781595931863

Search based test-data generation has proved successful for codelevel testing. In this paper we investigate the application of such approaches at the higher levels of abstraction offered by Matlab-Simulink models. The presence of persistent state has been shown to be problematic at the code level and such difficulties remain when Matlab-Simulink models are to be tested. In such cases, sequences of inputs that can put the model under test into particular states are needed to enable the underlying test goals to be achieved. Simple search guidance appears to be insufficient and results in a 'flat' cost function landscape. To address this problem, we introduce a technique called tracing and deducing, which helps provide better guidance to the search, allowing our developed tools to home in on the targeted test-data.

关键词： Matlab-Simulink test-data generation automation structural coverage state problem tracing and deducing

来源：评论

学校读者我要写书评

暂无评论

Comparative Evaluation of Security Fuzzing Approaches 7th

Comparative Evaluation of Security Fuzzing Approaches

引用

SAFECOMP Conference / 7th ASSURE International Workshop / 14th DECSoS Workshop / 8th SASSUR International Workshop / 2nd STRIVE International Workshop / 2nd WAISE International Workshop

作者： Al Sardy, Loui Neubaum, Andreas Saglietti, Francesca Rudrich, Daniel Univ Erlangen Nurnberg Software Engn Informat 11 Martensstr 3 D-91058 Erlangen Germany

ISBN: (纸本)9783030262501;9783030262495

This article compares security fuzzing approaches with respect to different characteristics commenting on their pro and cons concerning both their potential for exposing vulnerabilities and the expected effort required to do so. These preliminary considerations based on abstract reasoning and engineering judgement are subsequently confronted with experimental evaluations based on the application of three different fuzzing tools characterized by diverse data generation strategies on examples known to contain exploitable buffer overflows. Finally, an example inspired by a real-world application illustrates the importance of combining different fuzzing concepts in order to generate data in case fuzzing requires the generation of a plausible sequence of meaningful messages to be sent over a network to a software-based controller as well as the exploitation of a hidden vulnerability by its execution.

关键词： Security fuzzing Software vulnerability Buffer overflow Integer constraint analysis Random testing structural coverage

来源：评论

学校读者我要写书评

暂无评论

Automated Test Suite Generation for Time-continuous Simulink Models 16

Automated Test Suite Generation for Time-continuous Simulink...

引用

38th IEEE/ACM International Conference on Software Engineering (ICSE)

作者： Matinnejad, Reza Nejati, Shiva Briand, Lionel C. Bruckmann, Thomas Univ Luxembourg SnT Ctr Luxembourg Luxembourg Delphi Automot Syst Kaerjeng Luxembourg

ISBN: (纸本)9781450339001

All engineering disciplines are founded and rely on models, although they may differ on purposes and usages of modeling. Interdisciplinary domains such as Cyber Physical Systems (CPSs) seek approaches that incorporate different modeling needs and usages. Specifically, the Simulink modeling platform greatly appeals to CPS engineers due to its seamless support for simulation and code generation. In this paper, we propose a test generation approach that is applicable to Simulink models built for both purposes of simulation and code generation. We define test inputs and outputs as signals that capture evolution of values over time. Our test generation approach is implemented as a meta-heuristic search algorithm and is guided to produce test outputs with diverse shapes according to our proposed notion of diversity. Our evaluation, performed on industrial and public domain models, demonstrates that: (1) In contrast to the existing tools for testing Simulink models that are only applicable to a subset of code generation models, our approach is applicable to both code generation and simulation Simulink models. (2) Our new notion of diversity for output signals outperforms random baseline testing and an existing notion of signal diversity in revealing faults in Simulink models. (3) The fault revealing ability of our test generation approach outperforms that of the Simulink Design Verifier, the only testing toolbox for Simulink.

关键词： Simulink models Software testing Time-continuous behaviors Search-based software testing Output diversity Signal features structural coverage Simulink Design Verifier (SLDV)

来源：评论

学校读者我要写书评

暂无评论

Ordered t -way Combinations for Testing State -based Systems 16

Ordered t -way Combinations for Testing State -based Systems

引用

16th IEEE International Conference on Software Testing, Verification and Validation (ICST)

作者： Kuhn, D. Richard Raunak, M. S. Kacker, Raghu N. Natl Inst Stand & Technol Gaithersburg MD 20899 USA

ISBN: (纸本)9798350333350

Fault detection often depends on the specific order of inputs that establish states which eventually lead to a failure. However, beyond basic structural coverage metrics, it is often difficult to determine if the code has been exercised sufficiently to ensure confidence in its functions. Measures are needed to ensure that relevant combinations of input values have been tested with adequate diversity of ordering to ensure correct operation. Combinatorial testing and combinatorial coverage measures have been applied to many types of applications but have some deficiencies for verifying and testing state-based systems where the response depends on both input values and the current system state. In such systems, internal states change as input values are processed. Examples include network protocols, which may be in listening, partial connection, full connection, disconnected, and other states depending on the values of packet fields and the order of packets received. This paper discusses definitions for ordered t-way combination arrays and proves results regarding the construction of adequate blocks of test inputs, including consecutive ordering of combinations and with interleaving allowed. The application of the results to verify and test state- based systems is also illustrated.

关键词： combinatorial coverage combinatorial testing software testing structural coverage test coverage

来源：评论

学校读者我要写书评

暂无评论

RAPID: Fast and accurate sequence-based prediction of intrinsic disorder content on proteomic scale

引用

BIOCHIMICA ET BIOPHYSICA ACTA-PROTEINS AND PROTEOMICS 2013年第8期1834卷 1671-1680页

作者： Yan, Jing Mizianty, Marcin J. Filipow, Paul L. Uversky, Vladimir N. Kurgan, Lukasz Univ Alberta Dept Elect & Comp Engn Edmonton AB Canada Univ S Florida Dept Mol Med Byrd Alzheimers Res Inst Morsani Coll Med Tampa FL 33612 USA Russian Acad Sci Inst Biol Instrumentat Pushchino 142290 Moscow Region Russia

Recent research in the protein intrinsic disorder was stimulated by the availability of accurate computational predictors. However, most of these methods are relatively slow, especially considering proteome-scale applications, and were shown to produce relatively large errors when estimating disorder at the protein- (in contrast to residue-) level, which is defined by the fraction/content of disordered residues. To this end, we propose a novel support vector Regression-based Accurate Predictor of Intrinsic Disorder (RAPID). Key advantages of RAPID are speed (prediction of an average-size eukaryotic proteome takes <1 h on a modem desktop computer);sophisticated design (multiple, complementary information sources that are aggregated over an input chain are combined using feature selection);and high-quality and robust predictive performance. Empirical tests on two diverse benchmark datasets reveal that RAPID's predictive performance compares favorably to a comprehensive set of state-of-the-art disorder and disorder content predictors. Drawing on high speed and good predictive quality, RAPID was used to perform large-scale characterization of disorder in 200 + fully sequenced eukaryotic proteomes. Our analysis reveals interesting relations of disorder with structural coverage and chain length, and unusual distribution of fully disordered chains. We also performed a comprehensive (using 56000+ annotated chains, which doubles the scope of previous studies) investigation of cellular functions and localizations that are enriched in the disorder in the human proteome. RAPID, which allows for batch (proteome-wide) predictions, is available as a web server at http://***/RAPID/. (C) 2013 Elsevier B.V. All rights reserved.

关键词： Intrinsic disorder Disorder content Disorder prediction Eukaryotes structural coverage

来源：评论

学校读者我要写书评

暂无评论

Model-Based Test Suite Generation for Function Block Diagrams using the UPPAAL Model Checker

Model-Based Test Suite Generation for Function Block Diagram...

引用

IEEE International Conference on Software Testing, Verification and Validation Workshops

作者： Eduard Paul Enoiu Daniel Sundmark Paul Pettersson Malardalen Real-Time Research Centre (MRTC) Malardalen University

ISBN: (纸本)9781479913244

关键词： Function block diagram Plc Model-based testing Timed automata Test-suite generation structural coverage

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：