刘超
- 作品数：250 被引量：1,964H指数：15
- 供职机构：北京航空航天大学仪器科学与光电工程学院更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家社会科学基金更多>>
- 相关领域：自动化与计算机技术文化科学经济管理历史地理更多>>
- 软件测试过程的基本模型POCERM被引量：45
- 1997年
- 软件测试过程包含着测试计划的制定（Ｐｌａｎ）、测试大纲（Ｏｕｔｌｉｎｅｓ）的编制、测试用例的生成（ＴｅｓｔＣａｓｅＧｅｎｅｒａｔｉｏｎ）、测试的实施（Ｅｘｅｃｕｔｉｏｎ）、测试结果与问题的分析和报告（Ｒｅｐｏｒｔｓ）、以及软件测试的管理（Ｍａｎａｇｅｍｅｎｔ）等项工作．本文在多年从事软件测试研究与实践的基础上，提出一个面向软件测试基本活动的简明实用的软件测试过程模型ＰＯＣＥＲＭ。
- 刘超金茂忠
- 关键词：软件质量软件工程
- Web应用测试模型研究被引量：1
- 2005年
- 本文基于模型驱动测试的思想，提出一种Web应用测试模型WANM（Web Application Navigation Model），用于支持测试用例的设计与自动执行．基于WANM设计的测试用例的描述参照U2TP（UML2．0 Testing Profile）标准，使得测试建模、测试用例生成以及测试执行既紧密联系又相互独立，有助于提高测试的充分性与效室．
- 李诺吴际金茂忠刘超
- 关键词：WEB应用MDT测试用例
- 基于拉力算法的面向对象程序结构可视化技术研究
- 面向对象程序整体结构及其特性的逆向分析和可视化在软件维护、软件重用等过程中起着重要作用.现有的逆向工程工具尽管可以通过对程序代码的静态分析自动获取类模型，但是在自动布图方面仍存在一些明显的问题，特别是难以直观展现类之间的...
- 李宁刘超原子
- 关键词：面向对象程序程序结构类图耦合性可视化
- 文献传递
- 冯友兰与胡适——同行不同道的政学人生被引量：1
- 2012年
- 冯友兰与胡适是现代中国哲坛一对相映成趣的人物。冯原是胡的弟子,但成为同行之后,二者逐步交恶。抗战前,二者在中哲史研究中已形成了明显的对峙。就思想史上的意义言,胡远胜于冯;但在具体的哲学问题的阐释上,冯则更胜一筹。抗战爆发后,二人政治倾向的差异日渐公开化,并分别选择了不同的人生道路。总体而言,冯是相对专业的经院派学人,胡是富有社会关怀的公共知识分子。冯有着传统儒生的"为帝王师"的传习;胡虽与国民党决策层深有渊源,但始终未改其追求民主自由的现代意识,这或许更吻合于现代国际的发展潮流。冯的知识结构颇有现代质素,但信仰和价值取向则较为传统,而胡是一个新派的知识分子,是思想界一个温和的"革命者"。情势变迁,二人都经历了不同的人生轨迹,但其文化人格的转型非常困难。尽管他们在知识界都是深有根基的大佬,然对于强势的政治权威而言,他们都是弱势者,在具体的现实环境中也都面临各自的困难。在某种意义上说,他们所代表的价值取向,在现代民国知识界具有普遍性;他们中晚年的人生际遇,在上世纪中国,也不无典型性。
- 刘超刘红
- 关键词：冯友兰学术理念政治选择文化人格
- 基于稀疏主成分的房地产市场发展分析——以北京为例被引量：7
- 2012年
- 采用稀疏主成分分析,对房地产市场发展的综合评价进行了探讨,并且以北京市房地产发展为例进行了分析。研究结果表明:(1)相比于主成分分析,稀疏主成分分析法更适合进行房地产市场综合评价。(2)基于该方法得到的结果基本符合市场的实际情况,更利于宏观调控,以保证房地产市场的健康有序发展。
- 刘超吴丹丹齐嘉悦
- 关键词：房地产市场综合评价
- 软件体系结构分析及场景技术在其中的应用被引量：1
- 2000年
- 计算机应用系统的日益复杂和庞大,使得软件体系结构的研究成为当前的研究热点。软件体系结构设计已经成为软件生命周期中的一个重要环节。但是,如果无法对一个软件体系结构进行客观的、可行的定量和定性分析和评价,那么这种软件体系结构是不可靠的。现代软件的需求不断变化、业务规则和新的软件技术变化不停。
- 孙昌爱刘超金茂忠
- 关键词：软件体系结构面向对象软件工程
- 试论“绿色大学”建设的理念与实践——以清华大学为中心的考察被引量：34
- 2015年
- 为贯彻落实科教兴国和可持续发展战略,清华大学提出了建设"绿色大学"的构想,强调面向国家和社会需求,围绕绿色人才培养和绿色科技研发,将可持续发展和环境保护的理念落实到大学的各项活动中、融入到大学教育的全过程。十余年来,在国家和地方的大力支持下,在社会各界的热心帮助下,清华大学不断探索和践行绿色大学理念,丰富和发展绿色大学的内涵,在开展"绿色教育"、实施"绿色科技"和建设"绿色校园"方面取得了良好成效,发挥了示范带动作用,努力促进国家生态文明建设和可持续发展事业。
- 梁立军刘超
- 关键词：可持续发展生态文明建设绿色教育
- 自动Java代码缺陷检测技术被引量：2
- 2010年
- 代码审查是一种高效的程序缺陷检测方法,因为它能够在软件开发的过程中找出程序的错误,这很大程度上降低了改正错误的成本.但是传统的代码审查是一种"劳动力密集型"的方法,为了提高代码审查的效率,一系列的自动化代码缺陷检测技术和工具已经被提出并得到了广泛的应用.本文介绍了支持代码审查的自动化代码缺陷检测技术的相关内容.结合Java语言的特点对自动代码缺陷检测体系结构和工作的原理做了论述,并引入了缺陷模式树来提高检测的速度;最后通过具体的实验来分析了自动化代码缺陷检测的有效性和高效性.
- 薛頔金茂忠刘超
- 关键词：代码审查
- 一种面向审查的过程内数据流异常自动检测方法被引量：2
- 2010年
- 审查是预防代码缺陷的重要手段,但审查耗时,浪费人力,需要自动化工具对其进行辅助.数据流异常是审查中着重检查的缺陷之一,本文提出了一种基于有穷自动机的过程内数据流异常的检测方法.此方法首先对被测过程进行静态分析,得到被测过程的逻辑路径;而后基于有穷自动机和已获得的逻辑路径,通过每个数据项的状态迁移来判断数据流是否存在异常.本文介绍的方法面向审查,并不局限于某种特定的语言,并且一定程度上提高了数据流异常检测和审查的效率.
- 卞磊刘超金茂忠
- 关键词：审查有穷自动机
- 中文文档与源代码间关联关系提取方法的研究被引量：5
- 2010年
- 文章提出了一种提取中文软件文档与源代码问的关联关系的方法，根据中文软件文档和源代码的一些特征，在潜在语义索引模型的基础上使用了3种策略：引入项目数据词典辅助中文分词和中英文的翻译、将文档按类型分层以实现反馈、调整代码中的特征项的权值。实验结果表明，同时使用3种策略可以在提取阀值C相同的情况下，提高查全率4％～28％，在查全率不变的情况下，提高查准率8％～30％。
- 韩晓东王晓博刘超
- 关键词：信息检索逆向工程
