Automatic Component Protocol Generation and Verification of Components

Both, Andreas; Richter, Dirk

doi:10.1109/seaa.2010.30

Cited by 2 publications

(4 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Additionally we are considering other areas of research to apply the computation of exact values and exact gaps. For example the computation of exact value ranges can be used for verification of components [2].…”

Section: Discussionmentioning

confidence: 99%

“…The basic block inter-procedural control flow graph BBICFG P = (blocks(P), edges(P)) (see Fig. 1) consists of the basic blocks blocks(P) as nodes and edges edges(P) ⊆ blocks(P) 2 , where (b 1 , b 2 ) ∈ edges(P) iff there is an execution path of length 1 from the end of block b 1 to the entry of block b 2 (execution of the last statement of block b 1 ). The decision coverage metric γ P d (t) := |edges(t)|/|edges(P)| is the ratio of executed edges edges(t) of the control flow graph BBICFG P for t, to all edges edges(P) in P.…”

Section: Code Coverage Metrics γmentioning

confidence: 99%

See 1 more Smart Citation

Exact Gap Computation for Code Coverage Metrics in ISO-C

Richter

Berg

2012

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

Test generation and test data selection are difficult tasks for model based testing. Tests for a program can be meld to a test suite. A lot of research is done to quantify the quality and improve a test suite. Code coverage metrics estimate the quality of a test suite. This quality is fine, if the code coverage value is high or 100%. Unfortunately it might be impossible to achieve 100% code coverage because of dead code for example. There is a gap between the feasible and theoretical maximal possible code coverage value. Our review of the research indicates, none of current research is concerned with exact gap computation. This paper presents a framework to compute such gaps exactly in an ISO-C compatible semantic and similar languages. We describe an efficient approximation of the gap in all the other cases. Thus, a tester can decide if more tests might be able or necessary to achieve better coverage

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Code Coverage Metrics γmentioning

confidence: 99%

Exact Gap Computation for Code Coverage Metrics in ISO-C

Richter

Berg

2012

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

show abstract

“…As we are looking to automate the matching process, we need to find a way to generate the protocols for the existing components (or contracts, or publications). We provide some of the key references to this topic on protocol generation: [31], [32], [33], [34], [35], [36], [37], [38], [39], [40], and [41]with a brief review.…”

Section: Protocol and Matchingmentioning

confidence: 99%

“…In [37] Both and Richter presents a tool based automatic generation of the component protocol to ensure safe behavior of component interactions, based on earlier work, [36], [35]. This process is done in five steps that involves the conversion of code to reachability models using symbolic pushdown systems, solving the using the tool HalVRE (Halle's exact Value Range Extractor), and finally constructing the component protocol automaton.…”

Section: Protocol and Matchingmentioning

confidence: 99%

Linking Business and Application Architectures

Kamath

2013

Aligning Enterprise, System, and Software Architectures

View full text Add to dashboard Cite

The development of an IT strategy and ensuring that it is the best possible one for business is a key problem many organizations face. This problem is that of linking business architecture to IT architecture in general and application architecture specifically. Without this linkage it is difficult to manage the changes needed by the business and maximize the benefits from the information technology (IT) investments. Linking the two domains requires defining the two architectures using a “common language.” While the application architecture domain has developed tools and processes to define and represent the architecture, the business architecture domain, however, lacks such processes and tools to be useful for linking of the two. The chapter addresses several questions dealing with the linking of the business and the application architectures. The author proposes to use category theory related constructs and notions to represent the business and information architecture and the linkages.

show abstract

Automatic Component Protocol Generation and Verification of Components

Cited by 2 publications

References 16 publications

Exact Gap Computation for Code Coverage Metrics in ISO-C

Exact Gap Computation for Code Coverage Metrics in ISO-C

Linking Business and Application Architectures

Contact Info

Product

Resources

About