ஒரு மென்பொருள் பியர் ஆய்வு, மென்பொருள் உறுப்பு மதிப்பிட வேண்டும் மென்பொருள் கேம்பிரிட்ஜைச் விரிவடைய சாத்தியங்கள் உண்டு நடத்தப்படும். குறியீட்டை தேர்வு வழக்கமாக தொடர்புள்ள இயலாது என்றாலும் இந்த உள்ளது, மென்பொருள் தேவைகள் மற்றும் மென்பொருள் வடிவமை பொருந்தும். ஒரு specification மற்றும் ஏனைய பொருட்கள் (உதாரணம் அரசின், தேவையற்ற சேர்ப்புகளை மற்றும் contradictions) பயன்படுத்தாமலே கண்டுபிடிக்க மற்றும் பரிசீலனை மாற்று செயல்பாட்டை, செயல்திறனை நோக்கங்களை அல்லது இவ்விடுதிகளை அமைக்க, walkthrough , முக்கிய குறிக்கோளாகக் வருகின்றன. Walkthroughs ஆகியவை வெற்றிக்குக் செய்ய பிரபல விஞ்ஞானி டாக்டர் Gerald Weinberg பெயரால். Egoless மறு ஆய்வு தியரம் மனைகளில். ஒரு egoless மறு ஆய்வு (இப்பொழுது அழைக்கப்படும் ஒரு walkthrough) மூலம் உபயோகிக்கும் உருவாக்கியவரை விரிவடைய சாத்தியங்கள் உண்டு மறுபரிசீலனை செய்ய உள்ளது.