Критерии тестового покрытия, основанные на структуре контрактных спецификаций.

В данной статье рассказывается о критериях тестового покрытия, применяемых в технологии UniTESK и основанных на структуре контрактных спецификаций функциональных требований. Эти критерии можно использовать при тестировании с использованием контрактных спецификаций (пред- и постусловий операций), нез...

全面介紹

書目詳細資料

發表在:	Труды Института системного программирования РАН
主要作者:	В.В. Кулямин
格式:	Article
語言:	英语
出版:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2008-01-01
在線閱讀:	https://www.ispras.ru/en/proceedings/isp_2008_14_1/isp_2008_14_1_89/