Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
Download PDF

Abstract

Model checking is a technique for the verification of temporal logic specifications in state-transition systems. It can be applied to software, at design stages as well as at source code level. The latter in particular is constricted by the large space requirements of model checking. However, model checking is a promising technique for the improvement of software quality. We examined the applicability of existing model checking methods and tools to software in general and with a focus on e-commerce software systems developed at Intershop. Although model checking is currently not applicable to all domains, it is useful for certain restricted fields of application. One of these domains are Intershop's e-commerce systems, consisting of so called pipelines. This work shows the source code related verification concept for these pipelines and is part of an overall concept for the verification and quality assurance of Intershop's products.
Like what you’re reading?
Already a member?Sign In
Member Price
$11
Non-Member Price
$21
Add to CartSign In
Get this article FREE with a new membership!

Related Articles