Syslog play an increasingly important role as a technological means of security audit in the monitoring equipment and resources. From the actual needs,the project design and realize audit logging . Compare the differe...
详细信息
Over the past two decades, the emergence of highly effective software testing frameworks has greatly simplified the development and use of unit tests and has led to new software development paradigms such as test driv...
详细信息
Over the past two decades, the emergence of highly effective software testing frameworks has greatly simplified the development and use of unit tests and has led to new software development paradigms such as test driven development (TDD). However, scientific computing introduces a number of unique testing challenges, including numerical algorithms, distributed parallelism, and exascale environments. This presentation will begin with a brief introduction to unit testing, testing frameworks, and some simple examples using pFUnit, a unit testing framework for Fortran + MPI. I will then take a closer look at several of the obstacles one faces when testing technical software and suggest methodologies that can mitigate these difficulties.
This position paper discusses the issues in design and development of a transaction support for Ada 95. Transactions and other fault tolerance mechanisms are reviewed, and their applicability in a concurrent programmi...
详细信息
ISBN:
(纸本)9781581131772
This position paper discusses the issues in design and development of a transaction support for Ada 95. Transactions and other fault tolerance mechanisms are reviewed, and their applicability in a concurrent programming language is analyzed. Possible ways of integration are presented, and implementation problems are discussed.
In the object-oriented (OO) paradigm, new features (such as encapsulation, aggregation, inheritance, polymorphism and dynamic binding) introduce new problems in software testing and maintenance. One of them is the dif...
详细信息
In the object-oriented (OO) paradigm, new features (such as encapsulation, aggregation, inheritance, polymorphism and dynamic binding) introduce new problems in software testing and maintenance. One of them is the difficulty of identifying the affected components (such as classes) when changes are made in object-oriented class libraries or programs. This paper discusses the types of code changes in an object-oriented class library, and provides an automated solution to identify different kinds of code changes and their impact. In addition, an OO software maintenance environment that implements the research result is described. Our experience with the environment prototype shows promising results.< >
Design of distributed multimedia systems (DMMS)poses a number of challenges and yet it has beenapproached with traditional software engineeringmethodologies. On the other hand, Semantic analysisand representation of d...
详细信息
ISBN:
(纸本)0780379411
Design of distributed multimedia systems (DMMS)poses a number of challenges and yet it has beenapproached with traditional software engineeringmethodologies. On the other hand, Semantic analysisand representation of dynamic behavior attract theattention of the software design community. Thispaper reported the attempt of applying a newapproach to the design of DMMS, with emphasis inthe sharing and managing of design knowledgecollaboratively. A semantic model of DMMS and itsknowledge were represented with a semanticdatabase. Various design scenarios were used todescribe the use of the model. How the knowledge inthe semantic database could be used forcollaborative design was also examined.
Generalized nets (GN) are created as a tool for modeling and controlling real processes. The mathematical tools which GNs have make them an effective and convenient instrument for software modeling. Models of software...
详细信息
ISBN:
(纸本)9781467322768
Generalized nets (GN) are created as a tool for modeling and controlling real processes. The mathematical tools which GNs have make them an effective and convenient instrument for software modeling. Models of software systems can be created by means of GN;specifications of properties, connections between software modules, relations between classes and member functions of classes can be defined;properties of software systems can be proven. The paper describes an application of the GN for building models of programs, for defining specifications, describing properties and relationships between program units, for verification of object-oriented programs (OOP). An approach for verification of OOP is presented from methodological point of view. The approach is intended for research and educational purposes.
Increasingly complex design tasks and globallydistributed designers require a design environment tobe intelligent and collaboration-supported. However,as today's CAD tools are becoming more powerful inhelping desi...
详细信息
ISBN:
(纸本)0780379411
Increasingly complex design tasks and globallydistributed designers require a design environment tobe intelligent and collaboration-supported. However,as today's CAD tools are becoming more powerful inhelping designers draw geometric graphs, they havelittle intelligence and weak capability in supportingdesign collaboration. In such a context, distributedagent technology poses to be a promising way to welladdress these problems. In this paper, we present adistributed agent environment based on the CORBAparadigm. We construct an agent community to helpdesigners work collaboratively across computernetworks. To make it autonomous, reactive and pro-active, we construct an agent with a component-based framework. The case study section of thispaper demonstrates that the software systemimplemented according to the proposed architecturecan provide designers with both intelligent assistanceand collaboration support.
Despite enduring criticisms spanning several decades, jump statements such as goto, break, continue, and return remain prevalent in imperative programming languages, including but not limited to C++, Java, and Python....
详细信息
ISBN:
(纸本)9798400708688
Despite enduring criticisms spanning several decades, jump statements such as goto, break, continue, and return remain prevalent in imperative programming languages, including but not limited to C++, Java, and Python. The academic community has yet to reach a consensus regarding whether the refactoring of source code in these languages to eliminate such statements can indeed enhance code readability. Nevertheless, it is evident that automated program analysis would derive substantial benefits from this refactoring, given that structured code analysis is more straightforward than analyzing code that exhibits capricious alterations in its control flow. While algorithms tailored for this refactoring process have been proposed for certain imperative languages, we introduce a congruent algorithm, specifically designed for a dataflow programming language. It’s important to note that although dataflow languages lack jump statements, they might incorporate jump-objects (in object-oriented contexts) or jump-functions (within functional paradigms). Our algorithm has been instantiated as a command-line tool tailored for refactoring EO, an object-oriented dataflow language. Preliminary tests with several EO programs have validated the tool’s efficacy. Leveraging φ -calculas, we provide a formal proof underscoring the validity of every transformation encompassed within our algorithm.
Wikis are often implemented using string-based approaches to parse and generate their pages. While such approaches work well for simple wikis, they hamper the customization and adaptability of wikis to the variety of ...
详细信息
ISBN:
(纸本)9781595931115
Wikis are often implemented using string-based approaches to parse and generate their pages. While such approaches work well for simple wikis, they hamper the customization and adaptability of wikis to the variety of end-users when more sophisticated needs are required (i.e., different output formats, user-interfaces, wiki management, security policies,...). In this paper we present SmallWiki, the second version of a fully object-oriented implementation of a wiki. SmallWiki is implemented with objects from the top to the bottom and it can be customized easily to accommodate new needs. In addition, SmallWiki is based on a powerful meta-description called Magritte that allows one to create user-interface elements declaratively.
Describes a powerful environment for the development and execution of object-oriented parallel applications on a multicomputer or a cluster of workstations. The XENOOPS environment (eXecution ENvironments for object O...
详细信息
Describes a powerful environment for the development and execution of object-oriented parallel applications on a multicomputer or a cluster of workstations. The XENOOPS environment (eXecution ENvironments for objectoriented Parallel Software) implements a global object space and offers support for dynamic load balancing and fault tolerance. Workload redistribution at run-time is realised by applying object migration and granularity control. Fault tolerance is realised by object replication. An advanced debugging tool is presented. This tool adds support for the observation of interacting objects in a transparent, dynamic and selective way by extending the object invocation subsystem of the execution environment. A meta-object can be created for every object to intercept the invocations on that particular object and to observe the state changes. Results from an advanced parallel application in the area of partial differential equations illustrate the applicability of our observation software.< >
暂无评论