受到硬件测试中BIST(内建自测试)技术和可测试性设计的启发，在国家自然科学基金项目“软件内建自测试”中提出了软件内建自测试的思想。给出了模板的程序流程中有效语句的定义、流程的存储格式以及独立路径的计算，此外还对程序变量跟踪链表进行了研究。