Proceedings Article10.1109/ICRMS.2016.8050100
A model-driven testing framework based on requirement for embedded software
Haishen Lei,Yichen Wang +1 more
- 01 Oct 2016
pp 1-6
7
TL;DR: A model based on the needs of embedded software driver initial framework is proposed to analyze and identify theneeds of embedded systems hardware and software object creation object interaction model, then the model analysis and testing constraints are identified and on the basis of test scenarios, and the use of intelligent algorithms are used.
read more
Abstract: Based on hardware and software integration testing and model driven testing binding requirements, we propose a model based on the needs of embedded software driver initial framework to analyze and identify the needs of embedded systems hardware and software object creation object interaction model, then the model analysis and testing constraints and on the basis of test scenarios, and then establish MARTE model test requirements, test cases accordingly converted into XML model, obtain the initial set of test cases through model transformation algorithm and model checking, and finally the use of intelligent algorithms to obtain objective test set. Expectations for increasing demand for embedded software in line with the degree of automation of the verification process, the verification and running on the target machine's software to achieve high-level functions and needs consistency.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Testing embedded software: A survey of the literature
TL;DR: A systematic literature review in the form of a systematic literature mapping (SLM) in this area, aimed at serving as an “index” to the vast body of knowledge in this important area of embedded software testing.
88
KhronoSim: A Platform for Complex Systems Simulation and Testing
Alcidney Chaves,Ricardo Maia,Carlos Belchio,Rui Araújo,Goncalo Gouveia +4 more
- 01 Sep 2018
TL;DR: The KhronoSim platform is presented, demonstrating that it is a robust platform that is useful for testing and simulation of complex systems, yet allowing the use of physical and virtual systems alike.
5
Wiki support for automated definition of software test cases
Leandro Antonelli,Mariángeles Hozikian,Guy Camilleri,Alejandro Fernández,Julián Grigera,Diego F. Torres,Pascale Zaraté +6 more
TL;DR: The study aims to propose taking advantage of existing requirement artifacts, like scenarios that describe the dynamic of the domain in a very early stage of software development, to obtain tests from them to complement the scenarios that are textually described with a glossary, the language extended lexicon.
Automated Testing of Multi-UDP Interface Equipment Software based on Scenario and Data Driven
Jinkun Zhang,Hongqing Yang,Zhe Sun,Chi Hu,Chunlei Li +4 more
- 18 Jun 2021
TL;DR: In this paper, the authors proposed an automated testing method of multi-UDP interface equipment software based on scenario and data driven, which can quickly establish a testing environment, automatically inject data incentives, reduce test cost, improve test efficiency, and facilitate regression testing.
2
User acceptance test for software development in the agricultural domain using natural language processing
TL;DR: In this paper , the authors propose an approach to make the testing step easier, designing User Acceptance Tests (UATs) from requirements captured through scenarios, from where the design of test cases is extracted using the Task/Method model, a tool from the Artificial Intelligence.
1
References
Model-driven engineering
TL;DR: A survey on MDE is presented based on a unified conceptual model that clearly identifies and relates these essential concepts, namely the concepts of system, model, metamodel, modeling language, transformations, software platform, and software product.
419
•Journal Article
A Kind of Renewed Simulated Annealing Algorithm
TL;DR: The improved simulated annealing algorithm is increased memory function to remember the current best state so that it becomes an intelligent algorithm and used to solve a no-linear problem that is searching optimization combination.
16
Modeling Embedded Software Test Requirement Based on MARTE
Wang Yichen,Lan Xinsheng,Wang Yikun +2 more
- 18 Jun 2013
TL;DR: This work will combine test configuration, test scenarios and corresponding test constraints to create a well-formed embedded software test requirements model.
9
•Journal Article
Survey on automatic test case generation algorithms for software testing
TL;DR: Based on the different techniques for the automatic test case generations, there were four categories, including random test algorithms, genetic algorithms,ant colony optimization algorithms, and particle swarm optimized algorithms, which were introduced and discussed.
5
•Journal Article
Simulated Annealing Algorithm based on Improving Production of New Solutions and Temperature Function
TL;DR: A new type of simulated annealing algorithm based on improving production of new solutions and temperature function is put forward, including four improved algorithms which are named Multi- objectives Optimization Simulated Annealing Algorithm,Combined Temperature SimulatedAnnealing Al algorithm, combined Multi- objective OptimizationSimulated Anneality Algorithm with Heating Process and multi- objectives optimization Simulating AnnealingAlgorithm with heating Process respectively.
2