作者：
Karam, GeraldTRIO
Telecommunications Software Methods Project Real-time and Distributed Systems Group Department of Systems and Computer Engineering Carleton University 1125 Colonel By Drive Ottawa Ontario CANADA K1S 5B6
A timeline is a linear, graphical visualization of events over time. For example, in concurrent application, events would represent state changes for some system object (such as a task or variable). A timeline display...
详细信息
ISBN:
(纸本)9780897916837
A timeline is a linear, graphical visualization of events over time. For example, in concurrent application, events would represent state changes for some system object (such as a task or variable). A timeline display generator creates the graphical visualization from some record of events. This paper reports on a model for timeline display generators based on a formal model of event history and the objectives of timeline visualization. In this model, any timeline display generator is completely described through the definition of a set of mathematical functions. The exact characteristics and flexibility of a particular implementation of a timeline display generator, depends on the way in which these functions have been implemented. The current prototype, xtg, (Timeline Display Generator for X-windows) serves as an example implementation of these ideas. Characteristics of xtg are presented, and its use in the analysis of a real-world client-server application is discussed. Xtg has been applied to several other applications to-date and is being applied by several telecommunications companies to areas ranging from software process analysis to call trace data analysis.
A corner is modelled as the intersection of two lines. A corner point is that point on an input digital arc whose a posteriori probability of being a corner is the maximum among all the points on the arc. The performa...
详细信息
A corner is modelled as the intersection of two lines. A corner point is that point on an input digital arc whose a posteriori probability of being a corner is the maximum among all the points on the arc. The performance of the corner detector is characterized by its false alarm rate, misdetection rate, and the corner location error all as a function of the noise variance, the included corner angle, and the arc length. Theoretical expressions for the quantities compare well with experimental results.< >
Domain based testing (DBT) is a test generation method based on two concepts from software reuse, domain analysis and domain modeling. We applied DBT to command-based systems where the domain model represents the synt...
详细信息
Domain based testing (DBT) is a test generation method based on two concepts from software reuse, domain analysis and domain modeling. We applied DBT to command-based systems where the domain model represents the syntax and semantics of the command language. The domain model drives the generation of test cases. The test generation process consists of three stages: scripting; command template generation; and parameter value selection. Because it is based on ideas from software reuse, DBT also provides a good structure for test case reuse. Production use of the DBT tool Sleuth to generate system tests for an automated robot tape library confirms that DBT provides a wide variety of test case reuse scenarios.< >
This paper describes the software Technology Risk Advisor (STRA), a knowledge-based softwareengineering tool that provides assistance in identifying and managing software technology risks. The STRA contains a knowled...
详细信息
This paper describes the software Technology Risk Advisor (STRA), a knowledge-based softwareengineering tool that provides assistance in identifying and managing software technology risks. The STRA contains a knowledge base of software product and process needs, satisfying capabilities and capability maturity factors. After a user ranks the importance of relevant needs to his or her project, the STRA automatically infers risk areas by evaluating disparities between project needs and technology maturities. Identified risks are quantitatively prioritized and the user is given risk reduction advice and rationale for each conclusion. This paper presents methods used in the STRA, along with discussions of knowledge acquisition experimental results, current status, and related work.< >
Size and code coverage are two important attributes that characterize a set of tests. When a program P is executed on elements of a test set T, we can observe the fault-detecting capacity of T for P. We can also obser...
详细信息
Size and code coverage are two important attributes that characterize a set of tests. When a program P is executed on elements of a test set T, we can observe the fault-detecting capacity of T for P. We can also observe the degree to which T induces code coverage on P according to some coverage criterion. We would like to know whether it is the size of T or the coverage of T on P which determines the fault detection effectiveness (FDE) of T for P. We found that there is little or no reduction in the FDE of a test set when its size is reduced while the all-uses coverage is kept constant. These data suggest, indirectly, that coverage is more correlated than the size with the FDE. To further investigate this suggestion, we report an empirical study to compare the statistical correlation between (1) FDE and coverage, and (2) FDE and the size. Results from our experiments indicate that the correlation between FDE and block coverage is higher than that between FDE and size.< >
The concept of a simulation environment combines different aspects of the simulation process into one complete powerful tool. The environment should provide the necessary state-of-the-art advances and concepts that a ...
详细信息
ISBN:
(纸本)9780780321090
The concept of a simulation environment combines different aspects of the simulation process into one complete powerful tool. The environment should provide the necessary state-of-the-art advances and concepts that a modeler may require during the simulation development and execution process. The "environment" requirements must address the end user needs while minimizing the necessity of learning a new language. The requirements must specify the useful features, independent of different platforms and implementation languages. Hence the opportunity exists for standardization of environments. The paper opens a discussion on challenges and rewards awaiting the simulation community with the advent of a standard environment.
When analysing hard real-time systems for their performance properties, most scheduling models either ignore the timing characteristics of the underlying run-time support kernel entirely or have a very simple model of...
详细信息
A model-based formal specification directed software testing approach is presented. It provides a test oracle and introduces a new coverage criterion for the functional (black-box) testing based on formal specificatio...
详细信息
A model-based formal specification directed software testing approach is presented. It provides a test oracle and introduces a new coverage criterion for the functional (black-box) testing based on formal specifications. Given the source code of an implementation, its formal specification, and the retrieve functions, a test driver can be generated to conduct, evaluate, and measure the functional test. Although the complete specification conformance of an implementation cannot be established by testing alone, our approach provides a strong necessary condition of complete specification conformance.< >
In a federated database environment, different constituents of the federation may use different temporal models or physical representations for temporal information. This paper introduces a new concept, called a tempo...
ISBN:
(纸本)9780897915922
In a federated database environment, different constituents of the federation may use different temporal models or physical representations for temporal information. This paper introduces a new concept, called a temporal module, to resolve these differences, or mismatches, among the constituents. Intuitively, a temporal module hides the implementation details of a temporal relation by exposing its information only through two windowing functions: The first function associates each time point with a set of tuples and the second function links each tuple to a set of time points. A calculus-style language is given to form queries on temporal *** modules are then extended to resolve another type of mismatch among the constituents of a federation, namely, the mismatch involving different time units (e.g., month, week and day) used to record temporal information. Our solution relies on “information conversions” provided by each constituent. Specifically, each temporal module is extended to provide several “windows” to its information, each in terms of a different time unit. The first step to process a query addressed to the federation is to select suitable windows to the underlying temporal modules. In order to facilitate such a process, time units are formally defined and studied. A federated temporal database model and its query language are proposed. The query language is an extension of the above calculus-style language.
暂无评论