کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
423573 685257 2008 13 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
j-POST: a Java Toolchain for Property-Oriented Software Testing
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
j-POST: a Java Toolchain for Property-Oriented Software Testing
چکیده انگلیسی

j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test generation is based on an original approach which consists of deriving a set of communicating test processes obtained both from a requirement formula (expressed in a trace-based logic) and a behavioral specification of some specific parts of the software under test. The test execution engine is then able to coordinate the execution of these test processes against a distributed Java program. j-POST was applied to check the correct deployment of a security policy for a travel management application.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 220, Issue 1, 10 December 2008, Pages 29-41