论文部分内容阅读
本文介绍了我们对嵌入式软件进行分析测试以及质量评价方面的研究成果———EASTT系统。这是一套针对C/C + +语言的测试工具集 ,可用于对嵌入式应用软件的静态结构分析、动态测试和运行情况跟踪 ,并提供了一个层次化模型来对应用软件的质量进行综合评价
EASTT：一种嵌入式应用软件测试系统
【摘 要】
：
本文介绍了我们对嵌入式软件进行分析测试以及质量评价方面的研究成果———EASTT系统。这是一套针对C/C + +语言的测试工具集 ,可用于对嵌入式应用软件的静态结构分析、动态测试和运行情况跟踪 ,并提供了一个层次化模型来对应用软件的质量进行综合评价
【机 构】
：
南京大学计算机科学与技术系计算机软件新技术国家重点实验室
【出 处】
：
计算机工程与科学
【发表日期】
：
2002年02期
【基金项目】
：
国家高技术研究发展计划(863计划)
其他文献
核桃属是极容易产生伤流的树种之一。核桃伤流不仅是重要的生物学现象,也影响到修剪、嫁接等一些农艺措施的效果和成败。核桃属有别于多数其他树种,除了春季伤流外还存在秋季
在开发交互式创作工具过程中，常常会遇到这样的 难题：如何表示和建立用户模型及操作的对象，并向用户提供可直接操作的交互方式；如何 有效地表示和管理对象之间的关系。为此，我们设
零拷贝（ｚｅｒｏ－ｃｏｐｙ）是实现主机或路由器等设备高速接口的主要技术。零拷贝技术通过减少或消除关键通信路径影响速度的操作，降低数据传输的操作系统开销和协议处理开销，从而有效提高通信性能
任何形式的教育都应是教育者与受教育者生命的相互沟通、人格的相互对话。两者的关系必须建立在平等、理解、尊重的基础之上。德育尤其如此。然而综观当前学校德育，对教育对象
"目前运营商在私有云领域的建设进度,走得比较靠前,毕竟这部分并不牵涉对外用户的计费、开通、运营等环节,所以实现起来相对容易些。"云计算在电信行业中的应用,早已从理想化
期刊
评估软件质量涉及到定性和定量两个方面.在定量的度量方面,要考虑两个问题,一是度量什么,二是如何度量.面向对象技术的新特点给软件度量提出了新的要求.本文提出了一种针对面
ＡＴＭ的提出对现有编码技术产生了重大影响，传统的编码方法已难适应ＡＴＭ技术发展要求。本文针对ＡＴＭ网络的特点，结合小波变换的优势，讨论了小波变换怎样用于分层以及怎样对分层数据进行可变比
传统德育模式已无法适应现实的需要，学校德育必须寻找新出路。自2001年秋季始，我们进行了“开放·体验”的德育模式探索，已初见成效。
用户访问模式的数据挖掘，研究如何从用户与Web服务器的交互数据中发现隐含的规律性。西文根据交互数据的特点，提出一种基于Bayes概率的用户访问模式表示法，并给出基于这种模型的