کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
551523 | 872862 | 2007 | 21 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Testing UML designs
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
تعامل انسان و کامپیوتر
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
Early detection and correction of faults in the software design phase can reduce total cost and time to market of a software product. In this paper we describe an approach for testing UML design models to uncover inconsistencies. Our approach uses behavioral views such as Sequence Diagrams to simulate state change in an aggregate model. The aggregate model is the artifact of merging information from behavioral and structural UML views. OCL pre-conditions, post-conditions and invariants are used as a test oracle.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Software Technology - Volume 49, Issue 8, August 2007, Pages 892–912
Journal: Information and Software Technology - Volume 49, Issue 8, August 2007, Pages 892–912
نویسندگان
Orest Pilskalns, Anneliese Andrews, Andrew Knight, Sudipto Ghosh, Robert France,