【摘 要】
：
当前，随着普适计算时代的到来，从小到儿童玩具大到国家安全，计算机系统已经渗透到社会生活的各个角落。人们的日常生活也越来越依赖于计算机系统，如家庭电脑，娱乐设施，交通运输，通信
论文部分内容阅读
当前，随着普适计算时代的到来，从小到儿童玩具大到国家安全，计算机系统已经渗透到社会生活的各个角落。人们的日常生活也越来越依赖于计算机系统，如家庭电脑，娱乐设施，交通运输，通信网络，工业控制，金融保险服务，医疗，艺术创作和文化活动，商业活动，农业管理，政府管理等等。然而，我们却也似乎很容易忽视这样一种事实。
在当今的信息化社会时代中，计算机系统的可信性显得尤为重要的。一旦计算机系统发生失效，有可能造成大量无辜生命的丧失，引发一场经济灾难，更严重点甚至爆发一场战争。这就使我们不得不对它们提供服务的可信性提出质疑，如何确保软件的高可靠性是我们面临的一个紧迫任务。
本文首先回顾了可信性的起源，介绍了可信性属性和影响可信性的因素，讨论了提高可信性的主要措施。其次，重点介绍了可信性的主要属性之一，即软件可靠性，对传统软件可靠性模型的不足进行了详细地分析，并提出了一种软件综合可靠性模型。该综合模型不仅可以反映出软件的复杂性，而且也考虑到软件测试的测试有效性。本文采用变异测试原理来评估软件测试的测试有效性。
接着本文对变异测试进行了详细介绍，指出变异测试的主要瓶颈极其解决方法。本文在第四章和第五章中采用基于约束的测试技术来生成测试数据和进行等价变异体的检测，提出一种能够杀死多个同位变异体的方法。最后，对研究工作进行了总结，对未来的研究方向进行了展望。
其他文献
随着计算机和网络技术的迅猛发展和广泛普及,企业经营活动的各种业务系统都立足于Internet/Intranet环境中。然而,企业网络环境的复杂性和多变性,以及信息系统的脆弱性,决定
随着因特网的快速发展,海量的Web数据资源已经成为人们获取知识与信息的重要来源。而随着Web信息的日益增长,人们不得不花费大量的时间去搜索浏览自己需要的信息。目前,在现
随着计算机技术的不断发展,嵌入式系统已经成为计算机领域的一个重要组成部分。作为嵌入式系统中的重要产品——PDA也随着嵌入式系统的发展而不断提高。随着嵌入式技术的迅速
安全协议,是指在通信协议中应用密码学的手段隐藏或获取信息,达到认证以及消息正确发送的目的的协议。而随着互联网的迅猛发展,安全协议的安全性成为网络安全的关键。虽然安
随着信息安全技术的发展,基于角色的访问控制技术近年来成为访问控制领域的主要研究内容之一,并且在很多企业级系统安全需求方面显示了极大的优势。研究人员已经提出了若干基
科学技术和电子计算机的飞速发展使得现阶段软件规模日益增大、软件应用领域日益扩大、客户需求日益复杂多变。例如,Windows XP操作系统的代码大约有4000万行,这使得错误更可
随着人类社会对软件系统的依赖与日俱增，以及软件系统自身复杂度的不断提升，软件的可靠性和健壮性问题也变得尤为突出。虽然国内外此方面的研究已取得很多成果，但到底如何构建高
在互联网提供的海量、庞杂的信息中,不良信息以不同的表现形式,从不同的角度对不同人群造成毒害或干扰。因此,对网络访问进行必要的、有效的内容过滤是营造健康、安全网络环
随着企业信息化建设的不断进步,很多企业在不同阶段开发出了多个Web应用系统,这些系统有着独立的安全验证机制,用户在访问不同的应用服务时,需要重新进行身份认证,这样既增加
随着嵌入式技术在华人用户中的广泛应用，嵌入式系统所采用的汉字输入法也变得日益重要。本文在嵌入式系统中以数字小键盘为基础，对汉字拼音输入法进行了研究与设计。
本文