通信协议软件一般要求实时高效、稳定可靠，即能持续地提供可靠的通信服务。对这类软件产品而言，可靠性是一个非常重要的指标，而如何提高其可靠性是当前一个非常重要且急需解决的问题。本文通过研究可靠性保障的相关理论与技术和对通信协议软件的可靠性设计开发与验证的工程实践，提出了解决该问题的一些思路。本文首先分析了CDMA2000 1X的空中接口协议IS-2000，介绍了常用的可靠性理论和技术；然后针对协议软件的高可靠性要求，利用上述可靠性理论和技术来对IS-2000协议软件原型进行设计实现，尽力保证其可靠性；最后对协议软件原型进行了可靠性测评。IS-2000协议软件原型的可靠性保障主要由三个方面确保：协议软件的可靠性体系结构、设计开发方法以及测试验证技术。正如主体结构对建筑设计成功与否至关重要，软件体系结构也是软件设计的基础和关键，对软件产品具有重大影响。本文针对协议软件的可靠性要求和课题实际需求，提出了一个高可靠性的协议软件体系结构，从软件体系结构的角度来增强协议软件的可靠性。软件设计开发的方法与过程对软件可靠性有重要影响。本文对协议软件进行了软件故障树分析，分析预测可能出现的错误，并在设计中采用多种可靠性理论和技术来尽力避免和消除这类错误；在编码阶段严格遵循编程规范，尽力减少人为因素引入的错误；在测试阶段通过加强软件测试来减少错误。另外，软件工程对软件产品的质量具有决定性影响，采用合理的软件工程方法能极大地提高软件的可靠性。净室软件工程法是一种开发高可靠性软件的软件工程技术。本文采用它从软件工程的角度来保证协议软件的可靠性。软件可靠性测试验证对软件可靠性来说也是必不可少的。本文提出一种基于马尔可夫链的自动测试方案来对协议软件作可靠性测试验证。最后，本文利用上述技术，设计并实现一个可靠的IS-2000协议软件原型，通过对测试数据的分析验证了所提出技术的可行性。