杰林斯基-莫兰达（Jelinski-Moranda）模型是最早的软件可靠性模型之一。该模型基于一个核心假设：软件中的错误总数是有限的，且（）。
每个错误被发现的概率随测试时间增加而增加
任何时刻，软件中剩余的每个错误被发现的概率是相等的常数
错误的修复时间忽略不计，且修复过程会引入新的错误
软件失效率随时间呈指数增长
Jelinski-Moranda模型假设软件中初始错误数N是固定的，且每个错误被发现的概率是相等的。每发现并修复一个错误，软件的失效率就下降一个固定的台阶（De-eutrophication，去富营养化）。