Filters








348,221 Hits in 4.8 sec

Firmware development methodologies for synthetic test instrumentation

Michael Fluet, Joseph Manzi
2014 2014 IEEE AUTOTEST  
When building a general purpose test system using traditional test equipment, it is common to include a separate piece of test equipment for each supported protocol or bus type.  ...  Methods include development tools and applications, graphical programming environments, integration with third party development tools, firmware template applications, and example source code.  ...  Vivado Design Suite Xilinx makes an ADE for their FPGA devices called Vivado Design Suite (Figure 3) .  ... 
doi:10.1109/autest.2014.6935137 fatcat:6ewgk7l53vhp7gjsod7ztekvjy

MDAbench

Liming Zhu, Yan Liu, Ian Gorton, Ngoc Bao Bui
2005 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '05  
Executing the generated deployable code will collect the performance testing data automatically. The tool implementation is based on a widely used open source MDA framework AndroMDA.  ...  We extended it by providing a cartridge for a performance testing tailored version of the UML 2.0 Testing Profile.  ...  The aim of this tool is to automate the generation of complete benchmark suites from a design description.  ... 
doi:10.1145/1094855.1094919 dblp:conf/oopsla/ZhuLGB05 fatcat:yvuhc3i2mfe23nwajegocltsry

Test Suite Design Methodology Using Combinatorial Approach for Internet of Things Operating Systems

Abhinandan H. Patil, Neena Goveas, Krishnan Rangarajan
2015 Journal of Software Engineering and Applications  
The test design generated by using Advanced Combinatorial Testing for Software is analyzed for Contiki operating system.  ...  We elaborate the code coverage gathering technique for Contiki simulator which happens to be in Java. We explain the usage of Combinatorial Coverage Measurement tool.  ...  We analyze the Advanced Combinatorial Testing for Software (ACTS) generated test suite design and explain how the traditional effective metrics, code coverage can be gathered in addition to more relevant  ... 
doi:10.4236/jsea.2015.87031 fatcat:f5mkwnpxdjfztdgpn6xsr6ggia

Benchmark Generation Using Domain Specific Modeling

Ngoc Bao Bui, Liming Zhu, Ian Gorton, Yan Liu
2007 Australian Software Engineering Conference : Proceedings  
DSLBench and its associated code generation facilities allow the design and generation of a completely deployable benchmark application for performance testing from a high level model.  ...  It is integrated with the Visual Studio 2005 Team Suite as a plug-in to provide extra modeling capabilities for performance testing. We illustrate the approach using a case study based on .Net and C#.  ...  This environment includes two main parts: a performance modeling language named DSLBench and a code generator that produces C# code for load test suite executed in Visual Studio 2005 Team Suite.  ... 
doi:10.1109/aswec.2007.13 dblp:conf/aswec/BuiZGL07 fatcat:5ysdi4awazhqzevrmfurp7uviu

Revel8or: Model Driven Capacity Planning Tool Suite

Liming Zhu, Yan Liu, Ngoc Bao Bui, Ian Gorton
2007 Proceedings / International Conference of Software Engineering  
To this end, we have developed a capacity planning tool suite for component-based applications, called Revel8tor.  ...  DSLBench integrates with Visual Studio and reuses its load testing infrastructure. Together, the tool suite can assist capacity planning across platforms in an automated fashion.  ...  The benchmark UML design model is then annotated with UML profiles for code generation, and a load testing suite is modeled using the UML 2.0 Testing Profile.  ... 
doi:10.1109/icse.2007.73 dblp:conf/icse/ZhuLBG07 fatcat:2vmystufsrcf5e3wcfik6m5uce

Developer-Centric Test Amplification The Interplay Between Automatic Generation and Human Exploration [article]

Carolin Brandt, Andy Zaidman
2021 arXiv   pre-print
Automatically generating test cases for software has been an active research topic for many years.  ...  While current tools can generate powerful regression or crash-reproducing test cases, these are often kept separately from the maintained test suite.  ...  Acknowledgements We would like to thank the participants of our study for the valuable feedback on our work.  ... 
arXiv:2108.12249v1 fatcat:auze7xrwjjhazpkm4foro2t5ey

Test-Driven Modeling for Model-Driven Development

Yuefeng Zhang
2004 IEEE Software  
His research interests include model-driven development, agile software development process, and modeling tools and their applications to automatic code generation. He received his PhD in  ...  I also thank the reviewers for their constructive comments and Motorola managers for approving this article's publication.  ...  Acknowledgments I thank Associate Editor-in-Chief Stan Rifkin for his recommendation, careful review, and proofreading.  ... 
doi:10.1109/ms.2004.1331307 fatcat:l2cppmgk7jhvfdqt6gcheecqiy

Empirically Evaluating the Quality of Automatically Generated and Manually Written Test Suites

Jeshua S. Kracht, Jacob Z. Petrovic, Kristen R. Walcott-Justice
2014 2014 14th International Conference on Quality Software  
high quality test suites while reducing the cost and effort needed for testing.  ...  This paper compares the complexity and quality of test suites created by sophisticated automated test generation tools to that of developer-written test suites.  ...  ACKNOWLEDGEMENTS We thank René Just for his comments on earlier versions of this paper and for his support with the MAJOR system.  ... 
doi:10.1109/qsic.2014.33 dblp:conf/qsic/KrachtPW14 fatcat:nkvlcw574jaxhkosdtqzpsmhle

Test Case Generation and Minimization using UML Activity Diagram in Model Driven Environment
English

Ms. Hetal J. Thanki, Prof. S.M Shinde
2014 International Journal of Computer & Organization Trends  
Test driven design (TDD) and design driven testing (DDT) are used for test case generation. TDD generates so many duplicated test cases at the end of the project.  ...  Black-box testing supports ability to test from higher level design and requirement. Test optimal is a tool to generate test cases based on model driven environment using UML activity diagrams.  ...  If some changes in model design occurs than whole or part of test suite for some project or functionality can be change.  ... 
doi:10.14445/22492593/ijcot-v9p309 fatcat:cqjblwftw5hoheo7ut3yxmiqzi

Improving time-to-market using SDL tools and techniques

Nikolai N. Mansurov, Robert L. Probert
2001 Computer Networks  
The Test Generation Process Using the Tau Tool • Step 1: Run Tau "validator" tool which generates the state space for the SDL model. • Step 2: Choose a path through the state space, using a graphical navigator  ...  Our tutorial presents a methodology for obtaining high-yield test suites.  ... 
doi:10.1016/s1389-1286(00)00200-0 fatcat:64xlcxsb6jcxtisswznq5rtozq

The anatomy of an FAA-qualifiable Ada subset compiler

V. Santhanam
2002 Proceedings of the 2002 annual ACM SIGAda international conference on Ada The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies - SIGAda '02  
Tools meeting those criteria can be qualified as code development tools, and their output can be used without additional verification.  ...  The FAA has adapted the criteria set forth in the document RTCA DO-178B for the design, development, and verification of tools used in the construction of safety-critical software.  ...  This paper describes a tool suite that is designed to meet the FAA criteria for qualification as a level A code development tool.  ... 
doi:10.1145/589451.589460 dblp:conf/sigada/Santhanam02 fatcat:6b7yjphrtnarji6ppv2y727ml4

The anatomy of an FAA-qualifiable Ada subset compiler

V. Santhanam
2003 ACM SIGAda Ada Letters  
Tools meeting those criteria can be qualified as code development tools, and their output can be used without additional verification.  ...  The FAA has adapted the criteria set forth in the document RTCA DO-178B for the design, development, and verification of tools used in the construction of safety-critical software.  ...  This paper describes a tool suite that is designed to meet the FAA criteria for qualification as a level A code development tool.  ... 
doi:10.1145/1066404.589460 fatcat:3s3s3cbcfjhrbb3q6hfl5ga7rm

An Automated Framework for Testing Source Code Static Analysis Tools

Damir Maratovich Gimatdinov, Alexander Yurievich Gerasimov, Petr Alekseevich Privalov, Veronika Nikolaevna Butkevich, Natalya Andreevna Chernova, Anna Antonovna Gorelova
2021 Proceedings of the Institute for System Programming of RAS  
In this paper, we present an approach and implementation details of automated testing framework suitable for acceptance testing of static source code analysis tools.  ...  The presented framework is used for continuous testing of static source code analyzers for C, C++ and Python programs.  ...  The work [9] attempts to solve the problem of creating automated test suite to evaluate static analysis tools by designing test cases as small code snippets, which automatically in-lined into template  ... 
doi:10.15514/ispras-2021-33(3)-3 fatcat:5m5nptgc5nf4rktz3fhyhpnlxe

EGREGION

Robert Bernecky
1999 ACM SIGAPL APL Quote Quad  
The tool comprises a pair of APL functions that report detailed and summary function-level information about code coverage of test suites.  ...  The tool comprises a pair of APL functions that report detailed and summary function-level information about code coverage of test suites.  ...  Test Suite Design Designing test suites is a fairly straightforward activity.  ... 
doi:10.1145/327600.327603 fatcat:3gl72ckuand5nnsuzq7npmq5wu

Enhanced modified condition/decision coverage using exclusive-nor code transformer

S. Godboley, G. S. Prashanth, D. P. Mohapatra, B. Majhi
2013 2013 International Mutli-Conference on Automation, Computing, Communication, Control and Compressed Sensing (iMac4s)  
This transformed program is inserted into the CREST TOOL. It drives CREST TOOL to generate test suite and increase the MC/DC coverage.  ...  In this paper, we propose an automated technique to generate a test suite that helps in achieving an increase in MC/DC coverage of a program under test.  ...  [4] have proposed a tool AutoGen that reduces the cost and effort for test data preparation by automatically generating test data for C code.  ... 
doi:10.1109/imac4s.2013.6526469 fatcat:v7m7jbyjyfaxpi54qulm7xcew4
« Previous Showing results 1 — 15 out of 348,221 results