A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Integrating Verification and Testing of Object-Oriented Software
[chapter]
Tests and Proofs
Preserved Fulltext
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]
1994
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
2010 IEEE 34th Annual Computer Software and Applications Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2001
Proceedings of the 14th international symposium on Systems synthesis - ISSS '01
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2001
Proceedings of the 38th conference on Design automation - DAC '01
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
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
2001
Proceedings of the 14th international symposium on Systems synthesis - ISSS '01
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1991
Conference proceedings on Object-oriented programming systems, languages, and applications - OOPSLA '91
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2012
Infotech@Aerospace 2012
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2005
EUROCON 2005 - The International Conference on "Computer as a Tool"
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1997
Proceedings of the 29th conference on Winter simulation - WSC '97
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
International Journal of Advanced Computer Science and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2012
Journal of systems architecture
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2011
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
2009
2009 IEEE International Advance Computing Conference
unpublished
doi:10.1109/iadcc.2009.4809259 fatcat:vhfo47nyjbes3oh5cq4vaqmysu
doi:10.1109/iadcc.2009.4809259 fatcat:vhfo47nyjbes3oh5cq4vaqmysu
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