149,696 Hits in 13.4 sec

Automatic generation of random self-checking test cases

D. L. Bird, C. U. Munoz
1983 IBM Systems Journal  
Automatic generation of random self-checking test cases A technique of automatically generating random software test cases is described.  ...  The remaining two duties are harder to attain but provide the two key advantages of our method of test case generation: guaranteed executability and automatic self-checking.  ... 
doi:10.1147/sj.223.0229 fatcat:3tvrzxtambhy3f2r5xcbxf7j6m

Ristretto: Random Test Generator for Multicore Microprocessor Cache Coherence Verification

A.V. Smirnov, P.A. Chibisov
2019 Problems of advanced micro- and nanoelectronic systems development  
In this paper, we also give a detailed description of the random test generator itself and the capabilities of generated test cases.  ...  Moreover, the presented test generator can be very effective in generating test scenarios for FPGAprototypes of SoC being designed.  ...  Random automatic test generation is one of the critical parts in the traditional verification flow.  ... 
doi:10.31114/2078-7707-2019-2-25-31 fatcat:ccgndgrsyragnfsnxygygig7bi

Pedagogical design of a digital teaching assistant in massive professional training for the digital economy

E. G. Andrianova, L. A. Demidova, P. N. Sovetov
2022 Российский технологический журнал  
A diagram of the programming task generator was provided along with a description of the procedure for automatically checking the solutions of the tasks using a set of program tests generated by the task  ...  The solutions were checked using automated testing methods.Results. The developed structure of the proposed DTA system was presented.  ...  Automatic check of tasks The correctness of the obtained solution was checked using a set of program tests, which is formed by a task generator.  ... 
doi:10.32362/2500-316x-2022-10-3-7-23 fatcat:33recqq5xreurcbf3xluwmisnm

A Little Language for Testing [chapter]

Alex Groce, Jervis Pinto
2015 Lecture Notes in Computer Science  
The difficulty of writing test harnesses is a major obstacle to the adoption of automated testing and model checking.  ...  This makes harness generation a natural fit for the use of an unusual kind of domain-specific language (DSL).  ...  Even in the absence of userdefined guards, some guards are automatically generated.  ... 
doi:10.1007/978-3-319-17524-9_15 fatcat:obhahl4mmbhlhd4ajg4astmo34

New evolutionary techniques for test-program generation for complex microprocessor cores

E. Sanchez, M. Schillaci, M. Sonza Reorda, G. Squillero, L. Sterpone, M. Violante
2005 Proceedings of the 2005 conference on Genetic and evolutionary computation - GECCO '05  
add content to a qualifying test campaign by automatically generating assembly programs.  ...  Checking if microprocessor cores are fully functional at the end of the productive process has become a major issue.  ...  Methods for automatically generating test programs may be classified either as "with feedback" or "without feedback".  ... 
doi:10.1145/1068009.1068370 dblp:conf/gecco/SanchezSRSSV05 fatcat:nytyo46mafbqpnaqpzrzfvwztm

Automatically checking an implementation against its formal specification

S. Antoy, D. Hamlet
2000 IEEE Transactions on Software Engineering  
During unit testing, the specification serves as a test oracle. Any variance between computed and specified values is automatically detected.  ...  We propose to check the execution of an abstract data type's imperative implementation against its algebraic specification.  ...  The Direct Implementation In the self-checking approach proposed in section 3, the direct implementation can be generated automatically.  ... 
doi:10.1109/32.825766 fatcat:qibvgj35ifdwnd2tywgeyuuidi

An Efficient Implementation of Built in Self Diagnosis for Low Power Test Pattern Generator

N. Nithya
2015 International Journal of Students Research in Technology & Management  
Due to some reasons, the existing method Built-In Self-Test is less often applied to random logic than to embedded memories.  ...  The generation of deterministic test patterns can become prohibitively high due to hardware overhead.  ...  In this case: 1. Modified LFSR will be generate exactly same as normal (unmodified) LFSR. Order of generated test pattern by modified LFSR will be different. 2.  ... 
doi:10.18510/ijsrtm.2015.326 fatcat:ahrapsezqrhlje63mbadxyyqzu

Page 9 of Hewlett-Packard Journal Vol. 36, Issue 1 [page]

1985 Hewlett-Packard Journal  
Self-Test A built-in self-test permits an automatic functional check of the HP 8150A assemblies.  ...  One is random access to any function (one key, one function).  ... 

On the Effectiveness of Manual and Automatic Unit Test Generation

Alberto Bacchelli, Paolo Ciancarini, Davide Rossi
2008 2008 The Third International Conference on Software Engineering Advances  
This paper tries to deal with the issue of choosing the best approach. We will describe how different generation techniques (both manual and automatic) have been applied to a real case study.  ...  The software engineer must then decide whether using tools which automatically generate unit tests (test suites necessary foundations) and how.  ...  Acknowledgements We thank the support of the Italian Ministry of University and Research, under project contract FIRB2005-TOCAI.  ... 
doi:10.1109/icsea.2008.66 dblp:conf/icsea/BacchelliCR08 fatcat:w7vda2vo2bec5ffbotv4cnqmnm

Towards Self-Testing in Autonomic Computing Systems

Tariq M. King, Djuradj Babich, Jonatan Alava, Peter J. Clarke, Ronald Stevens
2007 Eighth International Symposium on Autonomous Decentralized Systems (ISADS'07)  
We validate our framework by creating a prototype of an autonomic container that incorporates the ability to self-test.  ...  Our framework extends the current structure of autonomic computing systems to include self-testing as an implicit characteristic.  ...  The authors would like to thank the participants of the FIU REU Summer 2006 program and Dr. Masoud Sadjadi for their contributions to this work.  ... 
doi:10.1109/isads.2007.75 dblp:conf/isads/KingBACS07 fatcat:qjsqvzvdpjhzxi4xwfva3zttxq

Verification-Purpose Operating System for Microprocessor System-Level Functions

Lingkan Gong, Jingfen Lu
2010 IEEE Design & Test of Computers  
(b) (a) Software simulation Self-checking tests CCB generator Test case main (in .code section) Reference ISS Table 2 . 2 Debug efforts using VPOS and Linux.  ...  Debugging the failed tests The tests are self-checking. Thus, it's up to each individual test to check whether it passes or fails and to record its ID.  ... 
doi:10.1109/mdt.2010.28 fatcat:kdu3eb2pbfd7pedr3npqwwshpe

Reconciling Manual and Automated Testing: The AutoTest Experience

Andreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mark Howard
2007 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07)  
AutoTest is a testing tool that provides a "best of both worlds" strategy: it integrates developers' test cases into an automated process of systematic contract-driven testing.  ...  Software can be tested either manually or automatically.  ...  A tool very similar in concept to AutoTest is Jartege [25] (Java Random Test Generator), which performs automatic testing of Java programs equipped with JML [6] contracts.  ... 
doi:10.1109/hicss.2007.462 dblp:conf/hicss/LeitnerCMH07 fatcat:ud63c4j3fba57af44l5wdof32u

System Testing of Timing Requirements Based on Use Cases and Timed Automata

Chunhui Wang, Fabrizio Pastore, Lionel Briand
2017 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)  
In the context of use-case centric development and requirements-driven testing, this paper addresses the problem of automatically deriving system test cases to verify timing requirements.  ...  We automate the generation of executable test cases using a test strategy based on maximizing test suite diversity and building over the UPPAAL model checker.  ...  To be fair, we configured the random approach to generate timeliness scenarios with the same number of events in the test cases generated by TAUC.  ... 
doi:10.1109/icst.2017.34 dblp:conf/icst/WangPB17 fatcat:dugcfkd5xravxivaq6orvzrity

Novel Approach for Whole Test Suite Generation using Metamorphic Relations

Ramya Bandaru, J. Albert Mayan
2016 Indian Journal of Science and Technology  
Methodology: To get out from these problems we propose a unique approach, in this approach we are generating the test cases automatically and developed an integrated method for program correctness, testing  ...  The software or an individual program will not get crash by the minute bugs in the code and always manual method for testing the code was not feasible, most of the cases the tester will adds the test oracles  ...  random testing and the random testing are two different types of testing both selects the test case in random with main goal of higher code coverage 20 .  ... 
doi:10.17485/ijst/2016/v9i10/88983 fatcat:b2x2upoo6jattproh4bvpy2s6q

Design and Implementation of FSM Based MBIST using March Algorithm

P Aishwarya , Dr. K Deepti
2020 International journal of modern trends in science and technology  
Built in self test provides a best solution replacing the external Automatic test equipment.  ...  Built in Self Test is a technique of designing additional hardware and software feature into Integrated circuits to allow them to perform testing.  ...  cases.  ... 
doi:10.46501/ijmtst060804 fatcat:og3k3sudcvh77ck2jvuayx7zeq
« Previous Showing results 1 — 15 out of 149,696 results