Keywords: تست مبتنی بر مشخصات; Test case generation; Formal specification; Specification-based testing; Object orientation; Object-Z
مقالات ISI تست مبتنی بر مشخصات (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Fault-based test suite prioritization for specification-based testing
Keywords: تست مبتنی بر مشخصات; Fault-based prioritization; Fault-based testing; Fault class hierarchy; Software testing; Specification-based testing; Test suite prioritization
An experimental assessment of module documentation-based testing
Keywords: تست مبتنی بر مشخصات; Specification-based testing; Grey-box testing; Automated module testing; Mutation-testing
A relation-based method combining functional and structural testing for test case generation
Keywords: تست مبتنی بر مشخصات; Software testing; Specification-based testing; Relationship-based testing
Automated generation of test suites from formal specifications of real-time reactive systems
Keywords: تست مبتنی بر مشخصات; Specification-based testing; Fault models; Real-time reactive systems; Test adequacy; Metric-based test selection; Optimal test selection
Testing Planning Domains (without Model Checkers)
Keywords: تست مبتنی بر مشخصات; Specification-based Testing; Planning; Coverage criteria;
Automatic generation of test cases from Boolean specifications using the MUMCUT strategy
Keywords: تست مبتنی بر مشخصات; Black-box testing; Boolean specification; Fault-based testing; Specification-based testing; Test case generation
Lightweight Specification-based Testing of Memory Cards: A Case Study
Keywords: تست مبتنی بر مشخصات; MultiMedia Cards; Specification-based Testing; Esterel; Seamless;
Testing from Structured Algebraic Specifications: The Veritas Case Study
Keywords: تست مبتنی بر مشخصات; Specification-based testing; structured specification; algebraic specification; oracle problem; test harness;