Filters








78,941 Hits in 5.6 sec

Integrating Verification and Testing of Object-Oriented Software [chapter]

Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer
Tests and Proofs  
A symbiosis of software testing and verification techniques is a highly desired goal, but at the current state of the art most available tools are dedicated to just one of the two tasks: verification or  ...  Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice.  ...  What KeY Is KeY is an approach and a system for the deductive verification of object-oriented software.  ... 
doi:10.1007/978-3-540-79124-9_13 dblp:conf/tap/EngelGKR08 fatcat:v6rqfaxfyvgdjhw3zjnxiucupu

Testing of object-oriented programming systems (OOPS): A fault-based approach [chapter]

Jane Huffman Hayes
1994 Lecture Notes in Computer Science  
Conventional system testing, object-oriented system testing, and the application of conventional testing methods to object-oriented software will be examined, followed by a look at the differences between  ...  testing of conventional (procedural) software and the testing of objectoriented software.  ...  David Rine and Dr. Bo Sanden of George Mason University for their helpful comments and suggestions about this paper.  ... 
doi:10.1007/bfb0014026 fatcat:7c5lsxplofftphzm5dza3q64be

Challenges and Future Directions of Software Technology: Secure Software Development

Bhavani Thuraisingham, Kevin W. Hamlen
2010 2010 IEEE 34th Annual Computer Software and Applications Conference  
Developing large scale software systems has major security challenges.  ...  This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sytems and secure services modeling.  ...  In addition, unit testing and integrated testing are also carried out.  ... 
doi:10.1109/compsac.2010.88 dblp:conf/compsac/ThuraisinghamH10 fatcat:ncpdfknfivdidn4pzijt4v67gm

Object oriented hardware synthesis and verification

T. Kuhn, T. Oppold, C. Schulz-Key, M. Winterholer, W. Rosenstiel, M. Edwards, Y. Kashai
2001 Proceedings of the 14th international symposium on Systems synthesis - ISSS '01  
We describe an automated design flow for the synthesis of object oriented descriptions that tightly integrates simulation based verification.  ...  The synthesis of hardware from object oriented specifications is presented. Our approach utilizes the e language that has been proven to be highly efficient for the verification of hardware.  ...  Verification is tightly integrated in the design flow and all the design tasks can be carried out using the object oriented language e.  ... 
doi:10.1145/500001.500043 fatcat:d5ufe5iw4bexbkffldfipulxdi

A framework for object oriented hardware specification, verification, and synthesis

T. Kuhn, T. Oppold, M. Winterholer, W. Rosenstiel, Marc Edwards, Yaron Kashai
2001 Proceedings of the 38th conference on Design automation - DAC '01  
First, we present a uniform framework for object oriented specification and verification of hardware.  ...  Second, we present an object oriented synthesis that enhances 'e' and its dedicated run-time environment into a framework for specification, verification, and synthesis.  ...  The object oriented and constraint driven definition of a system provides a valuable resource for the verification of a system under test.  ... 
doi:10.1145/378239.378537 dblp:conf/dac/KuhnOWREK01 fatcat:oakezfydjzdv5eafkzfp4apjly

Object oriented hardware synthesis and verification

T. Kuhn, T. Oppold, C. Schulz-Key, M. Winterholer, W. Rosenstiel, M. Edwards, Y. Kashai
2001 Proceedings of the 14th international symposium on Systems synthesis - ISSS '01  
We describe an automated design flow for the synthesis of object oriented descriptions that tightly integrates simulation based verification.  ...  The synthesis of hardware from object oriented specifications is presented. Our approach utilizes the e language that has been proven to be highly efficient for the verification of hardware.  ...  Verification is tightly integrated in the design flow and all the design tasks can be carried out using the object oriented language e.  ... 
doi:10.1145/500037.500043 fatcat:zfao6vl6xnhcjcyajsuptng73a

Formal techniques for OO software development

Pierre America, Derek Coleman, Roger Duke, Doug Lea, Gary Leavens
1991 Conference proceedings on Object-oriented programming systems, languages, and applications - OOPSLA '91  
Issues like reusability, inheritance and subtyping that are integral to object orientation encourage the sound formal design of systems, and it can be argued that it is precisely because of this that object  ...  Yourdon's test' is a measure of the problem that faces the new paradigm. One of the responses is the upsurge in interest in object-oriented analysis and design and CASE tools.  ... 
doi:10.1145/117954.117967 dblp:conf/oopsla/ChampeauxACDLLH91 fatcat:qmkuqtonhbajxoczqtd27wvrqe

Certification of Safety-Critical Software Under DO-178C and DO-278A

Stephen Jacklin
2012 Infotech@Aerospace 2012  
model-based software design, object oriented programming, and formal methods.  ...  The objective of this paper is to first explain the relationship of DO-178C to the former DO-178B in order to give those familiar with DO-178B an indication of what has been changed and what has not been  ...  Acknowledgments The new DO-178C, DO-278A, and companion documents are the work of RTCA Special Committee 205 .  ... 
doi:10.2514/6.2012-2473 dblp:conf/itaero/Jacklin12 fatcat:uvibots3qvcvblvy4g6kno4xoi

Integrating Theories and Techniques for Program Modelling, Design and Verification [chapter]

Bernard K. Aichernig, He Jifeng, Zhiming Liu, Mike Reed
2008 Lecture Notes in Computer Science  
This submission presents our understanding of the Grand Challenge and propose an agenda on how we will position our research to contribute to this world-wide collaborative research project.  ...  This proposal is made on behalf of all members of the academic staff at UNU-IIST. We would like to thank our colleagues, Chris George, Dang Van Hung and Tomasz Janowski for the discussions.  ...  Therefore, The combination of verification, testing and design needs further exploration. Integrating Component-Based and Object-Oriented Techniques.  ... 
doi:10.1007/978-3-540-69149-5_31 fatcat:6wvzxhedpfdmxbzrzjumjov75m

New Aspects in HDL's Performance Evaluation

B. Andelkovic, V. Litovski, V. Zerbe
2005 EUROCON 2005 - The International Conference on "Computer as a Tool"  
Features of mainstream HDLs and verification languages VHDL-AMS, Java, SystemC, AleC++, MLDesigner, OpenVera, the e language, PSL and SystemVerilog are compared in the context of these aspects.  ...  New aspects in Hardware Description Language's (HDL) performance evaluation such as objectorientation, system-level modeling, analog and mixed-signal modeling, software description and verification capabilities  ...  Java Java is an object-oriented, general-purpose, concurrent, platform-independent programming language. It can be used for both software and the description of hardware [2] .  ... 
doi:10.1109/eurcon.2005.1629974 fatcat:urttnk375ze5fj5aooznv5aam4

Verification validation and accreditation of simulation models

Osman Balci
1997 Proceedings of the 29th conference on Winter simulation - WSC '97  
Another taxonomy of 38 V&V techniques is presented for object-oriented simulation models.  ...  This paper presents guidelines for conducting verification, validation and accreditation (VV&A) of simulation models.  ...  ACKNOWLEDGMENTS This research was sponsored in part by the Defense Modeling and Simulation Office (DMSO) under contract N60921-89-D-A239-052 through the Systems Research Center at Virginia Tech.  ... 
doi:10.1145/268437.268462 fatcat:bmdhddftyzbmtpgiigyhxmdnmq

Eiffel as a Framework for Verification [chapter]

Bertrand Meyer
2008 Lecture Notes in Computer Science  
The Eiffel method and language integrate a number of ideas originating from work on program verification.  ...  This position paper describes the goals of the Eiffel approach, presents current Eiffel-based verification techniques using contracts for run-time checks for testing and debugging, and outlines ongoing  ...  Application areas Advances in programming languages, especially object-oriented principles and techniques, have profoundly influenced the production of software.  ... 
doi:10.1007/978-3-540-69149-5_32 fatcat:fbneu5r3grfa5fjqlnvuw23gou

Multi-Agent System Testing: A Survey

Zina Houhamdi
2011 International Journal of Advanced Computer Science and Applications  
The agent-oriented paradigm can be considered a natural extension to the object-oriented (OO) paradigm.  ...  Although there is a well-defined OO testing technique, agent-oriented development has neither a standard development process nor a standard testing technique.  ...  While some work considered specification-based formal verification [11, 14] , others borrow object-oriented testing techniques, taking advantage of a projection of agent-oriented abstractions into object-oriented  ... 
doi:10.14569/ijacsa.2011.020620 fatcat:b6ziijmm4rbdri7dkrizhhz2de

An aspect-oriented, model-driven approach to functional hardware verification

Eamonn Linehan, Siobhán Clarke
2012 Journal of systems architecture  
Performing functional verification of a hardware design requires software-based simulators and verification testbenches.  ...  This paper presents an aspect-oriented domainspecific modelling language for the e hardware verification language that can be used as part of a model-based software engineering process.  ...  over the object-oriented paradigm.  ... 
doi:10.1016/j.sysarc.2011.02.001 fatcat:xmuzsptqkvad7j6bjsco4vqht4

BRIDGE: A Model for Modern Software Development Process to Cater the Present Software Crisis [article]

Ardhendu Mandal
2011 arXiv   pre-print
Developing such software has become extremely challenging. Not only the complexity, but also the developing of such software within the time constraints and budget has become the real challenge.  ...  None of the existing models are helpful to cater the modern software crisis. Hence, a better modern software development process model to handle with the present software crisis is badly needed.  ...  Service oriented software development. v. Multi-Tired Software Design. vi. Object Oriented Software Development. vii. Standards practices.viii. Use of CASE tools. . xii. Maintainability. xiii.  ... 
arXiv:1109.1648v1 fatcat:zchepsu7tjgf5b5gob5jui2atq
« Previous Showing results 1 — 15 out of 78,941 results