உள்ளீட்டு மூலம் குறியீடு, சோதனை வரையறை, விவரக்குறிப்புகள் அல்லது தரவு கட்டமைப்பு வரையறைகள்; ஏற்றுக்கொள்ளும் ஒரு மென்பொருள் கருவி இந்த உணர்வுகளை பயன்படுத்தும் சோதனை உள்ளீட்டு தரவு; உருவாக்கு மற்றும் சில நேரங்களில், எதிர்பார்த்த பலன்கள் நிச்சயம் determines.