检索结果-南通市图书馆

Review of model-based testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Software Engineering and Applications 2015年第9期8卷 499-519页

作者： Susanne Rosch Sebastian Ulewicz Julien Provost Birgit Vogel-Heuser Institute of Automation and Information Systems Technische Universitat MünchenMünchenGermany Assistant Professorship for Safe Embedded Systems Technische Universitat MünchenMünchenGermany

As production automation systems have been and are becoming more and more complex, the task of quality assurance is increasingly challenging. model-based testing is a research field addressing this challenge and many approaches have been suggested for different applications. The goal of this paper is to review these approaches regarding their suitability for the domain of production automation in order to identify current trends and research gaps. The different approaches are classified and clustered according to their main focus which is either testing and test case generation from some form of model automatons, test case generation from models used within the development process of production automation systems, test case generation from fault models or test case selection and regression testing.

关键词： model-based testing Automated Production Systems Conformance testing Regression testing Fault Injection Survey

model-based robustness testing for avionics-embedded software

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Aeronautics 2013年第3期26卷 730-740页

作者： Yang Shunkun Liu Bin Wang Shihai Lu Minyan School of Reliability and Systems Engineering Beihang University Science & Technology on Reliability & Environmental Engineering Laboratory

Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems. It is a system-level black-box testing approach in which the fault behaviors of embedded software is triggered with the aid of modelbased fault injection by the support of an executable model-driven hardware-in-loop （HIL） testing environment. The prototype implementation of the robustness testing environment based on the proposed approach is experimentally discussed and illustrated by industrial case studies based on several avionics-embedded software systems. The results show that our proposed and implemented robustness testing method and environment are effective to find more bugs, and reduce burdens of testing engineers to enhance efficiency of testing tasks, especially for testing complex embedded systems.

关键词： Embedded software Hardware-in-loop model-based testing Robustness testing testing environment

model-based automated testing of JavaScript Web applications via longer test sequences

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2022年第3期16卷 53-66页

作者： Pengfei GAO Yongjie XU Fu SONG Taolue CHEN School of Information Science and Technology ShanghaiTech UniversityShanghai 201210China Department of Computer Science University of SurreyGuildford GU27XHUK

JavaScript has become one of the most widely used languages for Web *** dynamic and event-driven features make it challenging to ensure the correctness of Web applications written in JavaScript.A variety of dynamic analysis techniques have been proposed which are,however,limited in either coverage or *** this paper,we propose a simple,yet effective,model-based automated testing approach to achieve a high code-coverage within the time budget via testing with longer event *** implement our approach as an open-source tool LJS,and perform extensive experiments on 21 publicly available *** average,LJS is able to achieve 86.5%line coverage in 10 *** with JSDEP,a state-of-the-art breadth-first search based automated testing tool enriched with partial order reduction,the coverage of LJS is 11%-19%higher than that of JSDEP on real-world large Web *** empirical findings support that proper longer test sequences can achieve a higher code coverage in JavaScript Web application testing.

关键词： model-based testing automated testing JavaScript Web applications

testing agile requirements models

在线全文

学校读者我要写书评

暂无评论

Journal of Zhejiang University Science 2004年第5期5卷 587-593页

作者： BOTASCHANJANJewgenij PISTERMarkus RUMPEBernhard Software＆SystemsEngineering TechnischeUniversitaetMiinchenBoltzmannstr.3D-84758Garching／MunichGermany SoftwareSystemsEngineering TechnischeUniversitaetBraunschweigMiihlenpfordtstr.23D-38023BraunschweigGermany

This paper discusses a model-based approach to validate software requirements in agile development processes by simulation and in particular automated testing. The use of models as central development artifact needs to be added to the portfolio of software engineering techniques, to further increase efficiency and flexibility of the development beginning already early in the requirements definition phase. testing requirements are some of the most important techniques to give feedback and to increase the quality of the result. Therefore testing of artifacts should be introduced as early as possible, even in the requirements definition phase.

关键词： Requirements UML model-based testing Requirements evolution

Generating test case specifications of web service composition using model checking

在线全文

学校读者我要写书评

暂无评论

Journal of Shanghai University(English Edition) 2011年第5期15卷 409-414页

作者：钱铃莉陈怡海 School of Computer Engineering and Science Shanghai University State Key Laboratory of Software Engineering Wuhan University

model checking techniques have been widely used in verifying web service compositions to ensure the trustworthi- ness. However, little research has focused on testing web services. based on the research of model checking techniques~ we propose a model checking based approach for testing web service composition which is described by using the web services choreography description language （WS-CDL）. According to worldwide web consortium （W3C） candidate recommendation, the WS-CDL specification provides a language for characterizing interactions between distinct web services using XML. Since the behaviors of web service composition are asynchronous, distributed, low-coupled and platform independent, we employ the guarded automata （GA） model for specifying the composition described in WS-CDL and using the simple promela interpreter （SPIN） model checker for detecting the collaborations of web services. Test cases can be transformed from counterexamples generated by SPIN using adequacy criteria. In this paper we apply the transition coverage criterion for generating counterex- amples. To illustrate our approach, we set ＂E-commerce service system＂ as an example for demonstrating how test cases can be generated using SPIN for compositions specified in WS-CDL.

关键词： model-based testing web services choregraphy description language (WS-CDL) model checking simple promela interpreter (SPIN) test cases

Deployment of Effective testing Methodology in Automotive Software Development

在线全文

学校读者我要写书评

暂无评论

Circuits and Systems 2016年第9期7卷 2568-2577页

作者： P. Sivakumar B. Vinod R. S. Sandhya Devi R. Divya Department of Electrical and Electronics Engineering PSG College of Technology Coimbatore India Department of Electrical and Electronics Engineering Kumaraguru College of Technology Coimbatore India

Software development in automotive industry has bestowed greater comforts and conveniences to mankind. A remarkable progress in this field often faces a setback due to minor defects in the software. So there is recurring need for standardization and implementation of testing strategies. But the process of creation of test scripts to check if the software created complies with its specifications and requirements is both time- and resource-consuming. Generating a short but effective test suite usually requires a lot of manual work and expert knowledge. Patronizing research work in this field is the need of the hour. This paper solves the problem by using model-based testing where test harness and evaluation are performed economically through automation. Simulink Design Verifier and Reactis are the tools used to carry out this purpose in Adaptive Front Light System. The resulting outputs obtained from Simulink Design Verifier and Reactis using model-based testing prove that short test suites can be generated for the model where full model coverage can be achieved easily through automation. The outputs of these test cases when compared with the expected outputs confirm that the model developed is working as per the requirements.

关键词： model Advisor model-based testing Reactis Simulink Design Verifier