کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
550694 872678 2012 14 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Validation of SDL-based architectural design models using communication-based coverage criteria
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر تعامل انسان و کامپیوتر
پیش نمایش صفحه اول مقاله
Validation of SDL-based architectural design models using communication-based coverage criteria
چکیده انگلیسی

ContextAs the capability to automatically generate code from different models becomes more sophisticated, it is critical that these models be adequately tested for quality assurance prior to code generation.ObjectiveAlthough simulation-based black-box testing strategies exist for these models, it is important that we also employ white-box testing strategies similar to those used to test implementation code to further validate the quality of these models.MethodWe apply coverage testing to architectural design models represented by SDL, a Specification and Description Language. Our previous study defined a methodology for automatic test generation with respect to two structural-based criteria, all-node and all-edge, for each individual SDL process. In this paper, we present new coverage criteria such as n-step-message-transfer and sender–receiver-round-trip, aiming at the communication between different SDL processes.ResultsA test generator using innovative backward tracking and forward validation has been implemented to support these criteria, guiding test generation to detect bugs which could not be revealed by test cases generated only with respect to the all-node and all-edge criteria.ConclusionsThe results of our case study support the feasibility of using our test generator to create test cases satisfying the proposed communication-based criteria.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Software Technology - Volume 54, Issue 12, December 2012, Pages 1418–1431
نویسندگان
, ,