凌辉
- 作品数:9 被引量:18H指数:3
- 供职机构:南京大学更多>>
- 发文基金:国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术经济管理更多>>
- EASTT——一种嵌入式应用软件测试系统
- 目前软件的质量问题正越来越引起人们的重视,测试技术则是保障高质量软件的重要手段之一,这方面的研究可以溯源到20世纪70年代.然而随着嵌入式系统应用领域的不断扩大以及面向对象技术的成熟,一些新的特点使得传统的测试方法已经不...
- 李茜计算机软件新技术国家重点实验室(南京)梅琳凌辉徐永森
- 关键词:面向对象嵌入式
- 文献传递
- 嵌入式应用软件测试技术与理论
- 宋方敏徐永森朱明远胥光辉谭耀铭陈鑫杜晓晨邵培南王锦东凌辉许晓春李茜梅琳孟波波
- 嵌入式应用软件分析测试工具EASTT的主要功能包括结构分析、质量分析、动态测试分析、嵌入式操作系统平台上应用软件的测试分析和文档生成,可应用于软件的开发、测试、审核、维护/再工程、文档编制、嵌入式应用软件测试等工作。它具...
- 关键词:
- 关键词:嵌入式系统软件测试面向对象软件
- 考虑交易税的高频交易市场投资者均衡决策研究
- 高频交易的迅猛发展引发投资者对交易不公平、市场震荡加剧、社会资源浪费等多方面的担忧,部分国家建议采用证券交易税作为调控市场交易的手段。然而历史研究的结果表明,证券交易税的市场质量影响模糊复杂,难以确保政策达到设立的初衷。...
- 凌辉
- 关键词:证券交易税高频交易证券交易所得税
- 文献传递
- 一组基于三级度量模型的面向对象度量准则被引量:6
- 2001年
- 1 引言
软件是信息技术的核心,软件的质量则是人们最关心的因素.软件度量作为刻画、评估和预示软件质量的一个必要和重要的方面,在70年代就开始被研究作者所关注.从传统的结构化设计到面向对象理论的产生,一方面不断出现新的软件度量指标,如著名的C&k度量体系,MOOD度量体系;另一方面,对度量指标本身的评价也提出了相应的理论,包括应满足的性质、形式化评估软件度量性质的准则等.随着面向对象技术的广泛应用,传统的度量不再适用于面向对象的某些概念,如类、继承、封装和消息传递,需要有新的度量方法学、度量指标,以更好地刻画、评估和预示面向对象系统的质量.
- 李茜凌辉许晓春徐永森徐家福
- 关键词:面向对象软件工程软件开发
- 从用例模型到基于使用测试模型的转化被引量:3
- 2001年
- 1 引言
需求分析和系统测试是软件开发过程中非常重要的两个方面.系统测试包括功能测试和非功能测试,功能测试的主要目的是通过测试判断系统是否正确实现了功能需求,非功能测试中最主要的是可靠性测试即该系统的使用是否可靠.系统测试需要使用需求分析得到的相关信息,两者关系比较紧密.如何将两者集成起来是本文主要讨论的问题.
- 凌辉李茜许晓春徐永森徐家福
- 关键词:用例模型软件开发软件需求分析
- EASTT源码解析系列之三——动态测试host/host及host/target方式
- 2002年
- 凌辉李茜等
- 关键词:源代码软件质量
- EASTT:一种嵌入式应用软件测试系统被引量:10
- 2002年
- 本文介绍了我们对嵌入式软件进行分析测试以及质量评价方面的研究成果———EASTT系统。这是一套针对C/C + +语言的测试工具集 ,可用于对嵌入式应用软件的静态结构分析、动态测试和运行情况跟踪 。
- 李茜梅琳凌辉徐永森
- 关键词:嵌入式应用软件测试系统软件开发面向对象
- 面向对象软件测试方法与工具研究
- 软件质量问题由来已久,由于在许多关键领域运行的软件质量问题而引发重大损失甚至灾难并不少见.计算机科学家普试图用完全形式化的方法来证明程序同功能规约的一致性,保证程序的正确性.但是多年的研究表明完全形式化的方法实用性不足....
- 凌辉
- 文献传递
- 嵌入式应用软件测试技术
- 宋方敏徐永森杜晓晨凌辉许晓春李茜梅琳孟波波
- EASTT适用于运行在WINDOWS98之上一切C++和C程序(包括嵌入式应用程序)的静/动态分析、测试、质量评价和文档生成。今后将进一步发展我国自己的嵌入式操作系统之上用Java等语言写的嵌入式应用软件分析测试工具包。
- 关键词:
- 关键词:嵌入式软件测试