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

model based testing of a Network-on-Chip Component

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2009年第2期253卷 101-116页

作者： Tsiopoulos, Leonidas Satpathy, Manoranjan Abo Akad Univ Dept Informat Technol Joukahaisenkatu 3-5 FIN-20520 Turku Finland GM India Sci Lab Bangalore Karnataka India

We discuss the problem of model based test case generation and that of automatic testing of a component of an asynchronous Network-on-Chip (NoC). We start with a model of the component in B Action System, which is a state based formalism based on Action Systems and the B Method. We construct a finite state space graph by executing the model, and next, generate a test driver from the abstract test cases. This test driver can be used to test a matching implementation automatically. The important contribution of our work is that we consider hierarchical models for test case generation and automatic testing, whereas the previous approaches considered flat models. In addition, we also highlight the issue due to non-determinism in hierarchical models.

关键词： model based testing Network-on-Chip B Method Action Systems

来源：评论

学校读者我要写书评

暂无评论

model based testing for Horizontal and Vertical Collaboration in Embedded Systems Development

引用

6th International Conference on Cooperative Design, Visualization and Engineering

作者： Tamisier, Thomas Bouzite, Hind Louis, Christophe Gaffinet, Yves Feltz, Fernand Ctr Rech Publ Gabriel Lippmann L-4422 Belvaux Luxembourg

ISBN: (纸本)9783642042645

While model based development is common practice in software industry, model based testing is only at an emerging stage, though very promising in terms of production flexibility, collaboration support, and output quality. We present a new approach for automating the validation of critical and complex embedded systems, based on a dedicated language, TBSL (for Test Bench Scripting Language), used to derive test sequences from the modeling of the system under test and the properties to check. TBSL allows both updating easily tests sequences according to the evolution of the system and its use requirements, and solving operational issues related to the different level of abstraction between textual specifications and effective test routines. It is integrated in a collaborative programming framework and has been proofed in validating high-class sensor prototypes for the automotive industry.

关键词： model based testing Collaborative test Embedded systems

来源：评论

学校读者我要写书评

暂无评论

model based testing of an Interactive Music System 15

Model Based Testing of an Interactive Music System

引用

30th ACM Symposium on Applied Computing (SAC)

作者： Poncelet, Clement Jacquemard, Florent DGA INRIA Rocquencourt France Ircam UMR SMTS CNRS UPMC Paris France INRIA Rocquencourt France

ISBN: (纸本)9781450331968

The role of an interactive music system (IMS) is to accompany musicians during live performances, like a real musician. It reacts in realtime to audio signals from musicians, according to a timed specification called mixed score, written in a domain specific language. Such goals imply strong requirements of temporal reliability and robustness to unforeseen errors in input, yet not so much studied in the computer music community. We present the application of model-based testing techniques and tools to a state-of-the-art IMS, including the following tasks: generation of relevant input data for testing (including timing values) following coverage criteria, computation of the corresponding expected output, according to the semantics of a given mixed score, black-box execution of the test data and verdict. Our method is based on formal models compiled directly from mixed scores, and passed, after conversion to timed automata, to the model-checker Uppaal. This fully automatic approach has been applied to real mixed scores used in concerts and the results obtained have permitted to identify bugs in the target IMS.

关键词： model based testing timed automata interactive music systems computer music domain specific languages realtime systems

来源：评论

学校读者我要写书评

暂无评论

model based testing of Data Constraints testing the Business Logic of a Mnesia Application with Quvig Quick Check

Model Based Testing of Data Constraints Testing the Business...

引用

8th ACM SIGPLAN Erlang Workshop

作者： Paladi, Nicolae Arts, Thomas IT Univ Gothenburg Gothenburg Sweden

ISBN: (纸本)9781605585079

Correct implementation of data constraints, such as referential integrity constraints and business rules is an essential precondition for data consistency. Though most modern commercial DBMSs support data constraints, the latter are often implemented in the business logic of the applications. This is especially true for non relational DBMS like Mnesia, which do not provide constraints enforcement mechanisms. This case study examines a database application which uses Mnesia as data storage in order to determine, express and test data constraints with Quviq Quick Check, adopting a model-based testing approach. Some of the important stages of the study described in the article are: reverse engineering of the database, analysis of the obtained database structure diagrams and extraction of data constraint, validation of constraints, formulating the test specifications and finally running the generated test suits. As a result of running the test suits randomly generated by Quick Check, we have detected several violations of the identified and validated business rules. We have found that the applied methodology is suitable for applications using non relational, unnormalized databases. It is important to note the methodology applied within the case study is not bound to a specific application or DBMS, and can be applied to other database applications.

关键词： Business rules model based testing formal specifications Erlang Mnesia Quick Check.

来源：评论

学校读者我要写书评

暂无评论

model based testing of Cyber-Physical Systems 20th

Model Based Testing of Cyber-Physical Systems

引用

20th International Conference on Formal Engineering Methods (ICFEM)

作者： Khoo, Teck Ping Singapore Univ Technol & Design Singapore Singapore

ISBN: (纸本)9783030024505;9783030024499

testing, inspection, and certification (TIC) are essential activities on consumer and industrial systems. The conformance to system specifications and standards can then provide assurances on system safety, security, reliability, and interoperability. TIC needs to evolve in tandem with growing system size and complexity. Common modern systems such as autonomous vehicles and smart health-care systems take the form of Cyber Physical Systems (CPSs). model based testing (MBT) is one promising approach to test CPSs. An MBT framework for testing CPSs will be useful to systems testers and can raise the standard of systems testing as a whole.

关键词： model based testing Cyber-Physical Systems testing framework

来源：评论

学校读者我要写书评

暂无评论

Integrating model checking and model based testing for industrial software development

引用

COMPUTERS IN INDUSTRY 2019年 104卷 88-102页

作者： Villani, Emilia Pontes, Rodrigo Pastl Coracini, Guilherme Kisselofl Ambrosio, Ana Maria Aeronaut Inst Technol ITA BR-12228900 Sao Paulo Brazil Fraunhofer Inst Prod Machines & Design Technol IP Pascalstr 8-9 D-10587 Berlin Germany Natl Inst Space Res INPE BR-12227010 Sao Paulo Brazil

With the purpose of making the use of model based techniques in industrial software development more efficient, this work proposes the combined application of two verification techniques: model checking with UPPAAL and CoFI (Conformance and Fault Injection) model based testing with ConData. This combination is supported by ConTEA, a software tool for automatically connecting UPPAAL to ConData, and, therefore, explore both techniques simultaneously. We present the tool and discuss the use of ConTEA in two different development processes. The first process investigates how CoFI can contribute to identify gaps in the specification and implicit assumptions made by engineers when applying model checking. The second process focuses on how model checking can improve the development and verification of the models that are used for model based testing. The proposed processes were applied to three case studies. based on them, we compare the proposed processes to the traditional CoFI and UPPAAL stand-alone processes. The results indicate that the combined use of the two verification technique contributes to the identification of a large range of diversified errors and problems early in the development cycle. (C) 2018 Elsevier B.V. All rights reserved.

关键词： model checking model based testing Verification techniques model based design

来源：评论

学校读者我要写书评

暂无评论

Empirical studies omit reporting necessary details: A systematic literature review of reporting quality in model based testing

引用

COMPUTER STANDARDS & INTERFACES 2018年 55卷 156-170页

作者： Khan, Muhammad Uzair Iftikhar, Sidra Iqbal, Muhammad Zohaib Sherin, Salman Natl Univ Comp & Emerging Sci Software Qual Engn & Testing QUEST Lab Islamabad Pakistan

Context: Empirical studies are essential in evaluating the effectiveness of model-based testing (MBT) research and should be reported properly to ensure their replication and to highlight the strengths and limitations of the MBT techniques being evaluated. Researchers have proposed guidelines detailing what information should be reported when presenting empirical studies and what should be the structure of such primary studies. There is a need to evaluate the reporting quality of the empirical studies in MET literature. Objective: To evaluate the reporting quality of empirical studies in the model based testing domain;identifying where the reported studies fail to follow the proposed guidelines and finding frequently omitted details. As an auxiliary goal we aim to quantify the percentage of empirical studies conducted in industrial context. Method: We evaluate the reporting quality and the execution contexts of MBT empirical studies reported in literature. For our study we consider the MBT papers published in top ten software engineering journals over the last eighteen years. We evaluate the published primary studies using the empirical study reporting guidelines. Results: We found 87 empirical in MBT that met our selection criteria. Initial results showed that the existing guidelines were not only too strict (for example they demand presence of specific sections rather than simply having the details present in the paper), they also did not adequately cover MBT specific details. Therefore, we propose modified the guidelines for reporting empirical studies in MBT and re-evaluated the selected studies. Results show that while only a few empirical studies follow the exact structure proposed by the guidelines, approximately half the papers contain at least 50% of the required details. Most of the papers omit details related to process and analysis leading to presented results. We found a positive trend of improving reporting quality of empirical studies in MBT over the

关键词： Empirical study Reporting quality Reporting guidelines model based testing

来源：评论

学校读者我要写书评

暂无评论

The complexity of asynchronous model based testing

引用

THEORETICAL COMPUTER SCIENCE 2012年 451卷 70-82页

作者： Hierons, Robert M. Brunel Univ Sch Informat Syst Comp & Math Uxbridge UB8 3PH Middx England

In model based testing (MBT), testing is based on a model M that typically is expressed using a state-based language such as an input output transition system (IOTS). Most approaches to MBT assume that communications between the system under test (SUT) and its environment are synchronous. However, many systems interact with their environment through asynchronous channels and the presence of such channels changes the nature of testing. In this paper we investigate the situation in which the SUT interacts with its environment through asynchronous channels and the problems of producing test cases to reach a state, execute a transition, or to distinguish two states. In addition, we investigate the Oracle Problem. All four problems are explored for both FIFO and non-FIFO channels. It is known that the Oracle Problem can be solved in polynomial time for FIFO channels but we also show that the three test case generation problems can also be solved in polynomial time in the case where the IOTS is observable but the general test generation problems are EXPTIME-hard. For non-FIFO channels we prove that all of the test case generation problems are EXPTIME-hard and the Oracle Problem in NP-hard, even if we restrict attention to deterministic IOTSs. (C) 2012 Elsevier B.V. All rights reserved.

关键词： Software testing Asynchronous channels model based testing Input output transition system

来源：评论

学校读者我要写书评

暂无评论

Input-Output Conformance Simulation (iocos) for model based testing

Input-Output Conformance Simulation (iocos) for Model Based ...

引用

Joint IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems (33rd FMOODS/15th FORTE) Held as Part of the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec)

作者： Gregorio-Rodriguez, Carlos Llana, Luis Martinez-Torres, Rafael Univ Complutense Madrid Dept Sistemas Informat & Comp Madrid Spain

ISBN: (纸本)9783642385926

A new model based testing theory built on simulation semantics is presented. At the core of this theory there is an input-output conformance simulation relation (iocos). As a branching semantics iocos can naturally distinguish the context of local choices. We show iocos to be a finer relation than the classic ioco conformance relation. It turns out that iocos is a transitive relation and therefore it can be used both as a conformance relation and a refinement preorder. An alternative characterisation of iocos is provided in terms of testing semantics. Finally we present an algorithm that produces a test suite for any specification. The resulting test suite is sound and exhaustive for the given specification with respect to iocos.

关键词： model based testing Input Output Conformance Simulation Formal Methods

来源：评论

学校读者我要写书评

暂无评论

A model based testing Approach For Mobile Device

A Model Based Testing Approach For Mobile Device

引用

International Conference on Industrial Control and Electronics Engineering (ICICEE)

作者： Wu, Yumei Liu, Zhifang Beihang Univ Sch Reliabil & Syst Engn Beijing 100191 Peoples R China Aeronaut Sci & Technol Res Inst COMAC Beijing Peoples R China

ISBN: (纸本)9780769547923

Lots of research work has been done to achieve automated Graphical User Interface (GUI) testing. model-based testing as the most popular way supports automated test case generation and execution. But building such a model usually costs lots of resource in the entire testing process. And the methods of automated model deriving are closely related to the programming language or specific OS. In this paper, we proposed a new approach of software GUI modeling for mobile device using Optical Character Recognition (OCR), which is responsible for image processing to extract character information. Case study shows that our approach is capable of analyzing most of the GUI windows, and generating the corresponding model with less work and less constraint.

关键词： GUI model based testing OCR Mobile Device

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：