Papers 2010
Cleared Direct To Target - Approaching the Target System at a Touch via Simulation
Date | 2 Nov 2010 - 4 Nov 2010 |
---|---|
Event | AirTec 2010 |
Location | Frankfurt am Main, Germany |
This paper describes an improved process for
development of software for critical systems fully
bridging the gap between a specification and an
executable target version by an automaton. The
process covers the broad class of distributed
and/or fault-tolerant and/or real-time systems, and
meets the needs of critical systems. It has its roots
in the space domain.
Permalink
Files
Generic and Extensible Automatic Test Data Generation for Safety Critical Software with CHR
Date | 20 Jul 2010 |
---|---|
Event | CHR 2010 |
Location | Edinburgh, Scotland |
We present a new method for automatic test data generation
(ATDG) applying to semantically annotated control-flow graphs (CFGs),
covering both ATDG based on source code and assembly or virtual machine
code. The method supports a generic set of test coverage criteria, including
all structural coverage criteria currently in use in industrial software test for
safety critical software.
Several known and new strategies are supported for avoiding infeasible paths,
that is paths in the CFG for which no input exists leading to their execution.
We describe the implementation of the method in CHRv and discuss
difficulties and advantages of CHR in this context.
Permalink
Files
Tool-Guided, Domain-Specific, Systematic Requirements Management
Date | 1 Jun 2010 - 4 Jun 2010 |
---|---|
Event | DASIA 2010 |
Location | Budapest, Hungary |
The importance of the quality of requirements for
successful execution and completion of a project from a
technical and contractual point of view is being
recognized more and more. Many methods are targeted
to improve the support for collecting requirements
while still focusing on natural language. However, the
ambiguities in the semantics of natural language are the
biggest obstacles towards success. The approach
presented in this paper focuses on the elements of a
domain while keeping the expressiveness of natural
names and terms and introducing clear semantics. This
brings the advantage that immediate verification of the
human-provided inputs is possible, immediate
contributions to validation are available and
inconsistencies can be detected by a tool immediately.
This leads to guidance of an engineer by a tool towards
consistent, complete and correct requirements -
requirements of high quality - and eases maintenance
for the same reasons. As most of the complexity is
handled by the tool due to its good knowledge on the
domain, the approach is scalable towards large
specifications. Several examples of application domains
are described which illustrate the universality and
feasibility of the approach across domain boundaries.
Permalink