352,503 Hits in 5.4 sec

Cooperative Test-Case Generation with Verifiers

Dirk Beyer, Marie-Christine Jakobs
2020 Software Engineering  
It iteratively executes a sequence of verifiers that may exchange analysis information between each other and output a test case whenever they reach a test goal.  ...  We propose the hybrid test-generation approach CoVeriTest. CoVeriTest is flexible, cooperative, and based on verification technology.  ...  In each iteration, veriĄer i is run for t i time units and adds its generated test cases to the global test suite.  ... 
doi:10.18420/se2020_31 dblp:conf/se/0001J20 fatcat:nwzbdq4qlvabpcqcosjibgnk2i

Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework [chapter]

Dirk Beyer, Heike Wehrheim
2020 Lecture Notes in Computer Science  
In particular, cooperative verifiers provide exchangeable information (verification artifacts) to other verifiers or consume such information from other verifiers with the goal of increasing the overall  ...  The goal of cooperative verification is to combine verification approaches in such a way that they work together to verify a system model.  ...  Syntax: XML-based test-case format 8 that is supported by all test-case generators that participate in Test-Comp. Condition ψ.  ... 
doi:10.1007/978-3-030-61362-4_8 fatcat:32t7iq7e6fbbhchr4hveo3beja

A Testing Framework of Adaptive Web Application Based on Multi-agent Collaboration

Yakun Huang, Wang Yang, Mingxing Wang, Jiajing Wu
2016 DEStech Transactions on Engineering and Technology Research  
With the increase of the Web applications, efficient and reliable test has become a practical necessary to improve the reliability of Web applications.  ...  A user management system is used to verify the practicality and intelligence of ATFBMAC.  ...  The testing methods include testing tools, using case generations, and the researches of specific verification method.  ... 
doi:10.12783/dtetr/iect2016/3752 fatcat:sqpdzia3gjdfvk6a5eoiutcob4

CoVeriTest: interleaving value and predicate analysis for test-case generation

Marie-Christine Jakobs
2020 International Journal on Software Tools for Technology Transfer (STTT)  
Verification techniques are well-suited for automatic test-case generation. They basically need to check the reachability of every test goal and generate test cases for all reachable goals.  ...  For Test-Comp'19, we support the set of all __VERIFIER_error() calls as well as the set of all branches. Thus, we can deal with the two test specifications considered in Test-Comp'19.  ...  Co-operative, verifier-based testing iteratively combines different verification techniques for test-case generation.  ... 
doi:10.1007/s10009-020-00572-1 fatcat:g3w2echfkvbwdcdd5dnu6375iq

Reconfiguration Testing for Cooperating Autonomous Agents [chapter]

Francesca Saglietti, Stefan Winzinger, Raimar Lill
2015 Lecture Notes in Computer Science  
model-based testing and illustrates its application to cooperating mobile robots.  ...  In order to verify reconfiguration of interacting autonomous agents to be exclusively beneficial and never hazardous to cyber-physical systems, this article suggests a systematic approach based on incremental  ...  to be successively fulfilled by automatic test case generation.  ... 
doi:10.1007/978-3-319-24249-1_13 fatcat:3b4ldhiaanekto66p2bxiie6r4

A methodology for improving reliability of complex systems

Atsushi KATOH, Masataka URAGO, Yoshiaki OHKAMI
2010 Synthesiology English edition  
This paper describes a methodology for decomposing a system specification into component specifications and interface specifications whose cooperative behavior is consistent with each component.  ...  Test method is a verification method for verifying behavior of actual products against the test cases.  ...  Test method: a verification method for verifying behavior of actual products against the test cases.  ... 
doi:10.5571/syntheng.3.197 fatcat:hupgxyfuqnhhlbgqz6ewax2a4a

CoVeriTest: Cooperative Verifier-Based Testing [chapter]

Dirk Beyer, Marie-Christine Jakobs
2019 Lecture Notes in Computer Science  
We study cooperative combinations of verification approaches for test generation, with high-level information exchange.  ...  We present CoVeriTest, a hybrid approach for test-case generation, which iteratively applies different conditional model checkers.  ...  Testing with Verifiers The basic idea behind testing with verifiers is to derive test cases from counterexamples [5, 61] .  ... 
doi:10.1007/978-3-030-16722-6_23 fatcat:ehifxhlfffda3pvqmqhqak3r2m

Analysis of OBE-related SCMS Security Requirements and Evaluation Procedures in V2X Environment

Hak-Jun Kim, Cheong-Min Ji, Man-Pyo Hong
2020 Zenodo  
Vehicles registered through SCMS can authenticate and verify communication messages with valid certificates.  ...  Keywords-Security, Cooperative driving, C-ITS, SCMS, Security Requirement  ...  with the RA Identification Certificate Provisioning Re-Enrollment Bootstrapping Verify OBE shall store the Policy Generator certificate Bootstrapping Verify OBE shall store the CRL Generator  ... 
doi:10.5281/zenodo.4250525 fatcat:t52tysivqfgn5mwlzpnzdc3u2e

A Testing Pattern for Automatic Control Software Addressing Different Degrees of Process Autonomy and Cooperation

Francesca Saglietti, Raimar Lill
2014 IFAC Proceedings Volumes  
test data generation with respect to the specific targets of the application considered and of the testing phase involved.  ...  The article reports on successful case studies carried out in different real-world environments.  ...  , candidates for test case generator  ... 
doi:10.3182/20140824-6-za-1003.01997 fatcat:3a3nalv7znbdfppnrvxfaojvo4

Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review

Hugo Araujo, Mohammad Reza Mousavi, Mahsa Varshosaz
2022 ACM Transactions on Software Engineering and Methodology  
Among those that provide a measure of efficiency, effectiveness, or adequacy the majority use domain-agnostic generic measures such as number of failures, size of state-space or verification time were  ...  We perform a systematic literature review on testing, validation, and verification of robotic and autonomous systems (RAS).  ...  The former generate test cases from BDI models whilst the latter focuses on coverage to generate test cases from Petri nets.  ... 
doi:10.1145/3542945 fatcat:b6hshtzmrfep3ba7t6brl6kfbu

Implementation of quality improvements and innovations in agricultural enterprises

Dagmar Škodová Parmová, Jana Novotná
2022 Agricultural Economics (AGRICECON)  
These two key aspects are: cooperation with the LAG and the use of consultants for processing project applications.  ...  with Local Action Groups (LAGs) as another source of support.  ...  Here, too, in the case of 'cooperation with the LAG' ('yes'), the 'relationship to innovations' is greater than in the case of non-cooperation ('no').  ... 
doi:10.17221/410/2021-agricecon fatcat:35ykrmql4rb3lcd6wjqn34lwj4

Revisiting the challenges in aligning RE and V&V: Experiences from the public sector

Jacob Larsson, Markus Borg
2014 2014 IEEE 1st International Workshop on Requirements Engineering and Testing (RET)  
S uccessful coordination of Requirements Engineering and Testing (RET) is crucial in large-scale software engineering.  ...  Previous work has identified sixteen challenges in aligning RET in a case study of six companies.  ...  Also, automating the testing of the decision tables is in general prioritized, as verifying them manually is tedious and time-consuming activity.  ... 
doi:10.1109/ret.2014.6908671 dblp:conf/re/LarssonB14 fatcat:if3tgrxapzbc7kn2xsa6dwlllq

Cooperative Voltage Control of Distributed Generation and Grid Connected Converter in DC Microgrid

Jong-chan Choi, Ho-young Jeong, Dong-jun Won, Seon-ju Ahn, Seung-il Moon
2013 The Renewable Energies and Power Quality Journal (RE&PQJ)  
This paper analyses a voltage drop problem in a radial DC microgrid and proposes a cooperative voltage control scheme with a distributed generation (DG) and a grid connected converter (GCC).  ...  And finally, the proposed methods are verified by simulation using PSCAD/EMTDC.  ...  Case Studies A. Verification of Algorithm for Optimal Positioning Distributed Generation The proposed algorithm is verified in the test system shown as Fig. 4 .  ... 
doi:10.24084/repqj11.505 fatcat:gpnaxlwfdfefjb3ym5kpeezgpq

Cognitive Radio Spectrum Sensing Technique Using M-ary QAM for Different Fading Environments

Jai Sukh Paul Singh, Mritunjay Kumar Rai, Gulshan Kumar, Hye-jin Kim
2017 International Journal of Multimedia and Ubiquitous Engineering  
The proposed technique is tested over different fading channels with varying Signal to Noise Ratio.  ...  To test and verify the proposed technique, Receiver Operating Characteristics (ROC) curves for analysing Probability of Detection (Pd) and Complimentary ROC curves for Probability of Missed Detection (  ...  Three different set-up has been taken to test and verify the proposed system. M-ary QAM modulation technique is used over different fading channels.  ... 
doi:10.14257/ijmue.2017.12.4.05 fatcat:mobygfm7gfdbbfny6v56c67zma

Page 354 of American Journal of Education Vol. 46, Issue 5 [page]

1938 American Journal of Education  
On the other hand, in all cases involving Cooperative Test scores, the actual raw scores of physics and chemistry pupils have been compared with the adjusted scores of their paired physical-science mates  ...  354 THE SCHOOL REVIEW [May inal scores made by pupils in physical science verified this presump- tion and demonstrated further that, in general, each pupil possessed at the start approximately an equal  ... 
« Previous Showing results 1 — 15 out of 352,503 results