首页 | 官方网站   微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   81篇
  免费   18篇
  国内免费   20篇
工业技术   119篇
  2013年   1篇
  2011年   1篇
  2010年   2篇
  2009年   7篇
  2008年   13篇
  2007年   19篇
  2006年   19篇
  2005年   7篇
  2004年   4篇
  2003年   5篇
  2002年   8篇
  2001年   12篇
  2000年   3篇
  1999年   2篇
  1997年   5篇
  1996年   5篇
  1995年   2篇
  1993年   1篇
  1990年   1篇
  1989年   1篇
  1984年   1篇
排序方式: 共有119条查询结果,搜索用时 0 毫秒
51.
基础软件平台质量评估   总被引:4,自引:0,他引:4  
兰雨晴  赵同  高静  接卉  金茂忠 《软件学报》2009,20(3):567-582
关于软件质量模型和软件质量评估模型的研究,一直是软件质量保障和评估领域的研究热点,国内外在这两方面进行了大量的研究,并取得了一定的研究成果.近年来,以操作系统为核心的基础软件呈平台化、体系化的发展趋势,基础软件平台的质量评估成为亟待解决的问题.在总结、分析软件质量模型、软件质量评估模型研究发展现状的基础上,重点归纳和描绘了基础软件平台的质量评估发展历程,并简要探讨了基础软件平台质量评估研究的发展方向,力求为展开基础软件平台的质量评估建立良好的基础.  相似文献   
52.
计算机应用生成系统的研究与实现   总被引:4,自引:0,他引:4  
徐红  金茂忠 《软件学报》1997,8(A00):576-586
集成化的过程工程环境IPEE应能支持从需求到应用软件的自动生成,以适应办公自动化OA,企事业过程工程再次工程BPR或以过程为纽带的商业PCM需求不断变化的客观现实,本文介绍了计算机应用生成系统CAGS,它正是这样的一个环境,支持从需求分析、系统设计系结构优化直至分布式Java应用系统生成的全过程。  相似文献   
53.
软件过程度量技术的研究   总被引:8,自引:2,他引:8  
软件度量是软件项目管理的关键技术。文章在介绍度量基本概念的基础上,重点分析对软件过程的度量,包括分析不同过程成熟度层次对度量的需求。研究系统化的问题驱动的度量过程ISPM(Issue-driven Software Process Measurement),包括“剪裁”、“应用”、“实现”三个子过程。分析针对软件过程的三大类度量内容和它们子类及子类之间的结构关系,并结合软件过程的层次特性细化度量子类在各个层次的具体表现。最后探讨度量过程随着软件过程成熟度的提高而随之改善的方法。  相似文献   
54.
并发Java程序动态分析及重演技术研究   总被引:2,自引:0,他引:2  
Java语言在并发程序方面的广泛应用对软件测试提出了新的挑战。众所周知,由于并发程序的不确定性,使得并发程序的设计、开发、调试和测试都非常困难。文章介绍了Safepro/Java中的多线程测试技术,通过对Java源程序进行适当的修改并且保持语义不变,跟踪并发Java程序的运行过程,收集有关数据并对数据进行分析,最终控制并发Java程序的重演。  相似文献   
55.
本文给出了一种基于仿真器的嵌入式软件测试方法,首先通过对源程序编译生成的目标文件进行分析和链接,得到符号表、内存映像和行号信息;然后将内存映像加载到仿真器上运行,结合符号表和行号信息实现嵌入式软件动态测试.该方法具有结果准确、支持单元测试等优点.文中着重介绍了链接目标文件、生成和加载内存映像的过程,并简要介绍了使用该方法开发的AD2106X DSP处理器嵌入式软件仿真测试工具Sim2106xTest的主要功能.  相似文献   
56.
基于通道的螺旋型布图算法研究与实现   总被引:2,自引:0,他引:2  
1 引言类图是反映面向对象程序结构的重要视图,它由类及类与类之间的关系(包括继承、关联和聚集)构成。在面向对象程序理解与测试中,通过对源程序进行静态分析可以获取类以及类之间的关系。而将类与类的关系可视化的过程就必须研究类图的布图算法。通常用树状层次化结构可以清楚地表示类间的继承关系,而聚集和关联关系是一种网状结构,并且随着软件规模的增加,结构就愈加复杂。采用基于继承关系的层次型布图算法,不能很好地满足聚集与关联关系布图要求。目前,关于有向图的布图算法研究较多,但对类图中的聚集和关联关系的布图表示还不存在较好的解决方案。北航软件工程研究所开发的SafePro系列测试工具中,采用一种以方法连接度(扇入扇出系数和)为特征的广义张量平衡算法绘  相似文献   
57.
一个基于XML的自动化类测试框架   总被引:1,自引:0,他引:1  
针对当前自动化类测试工具/框架存在的问题,提出了一个基于XML的类测试框架。框架采用基于XML的自动化测试过程数据流模型,用XML语言来描述和组织测试用例,自动生成测试驱动程序,自动执行测试并生成测试结果。框架可用于不同语言应用程序的自动化类测试,框架实现测试设计、测试实现和测试执行的分离,利于测试脚本的维护,并保证测试脚本与测试用例的一致性。  相似文献   
58.
提出了一种软件度量过程评价框架,指出对软件度量过程主要从过程依从性、过程性能和过程能力等三个方面进行评价,并分别给出了适合它们各自特点的评价方法。同时,总结了一个软件度量过程评价报告的模板,并深入讨论了软件度量过程评价的时间间隔。此框架简明实用,灵活性强,易于软件组织实施和推广。  相似文献   
59.
基于UML活动图模型生成测试场景的设计   总被引:12,自引:0,他引:12  
文章旨在研究运用可视化面向对象建模技术UML中的活动图生成测试场景方法和依据场景进行测试用例自动生成的方法。这种方法不仅适合于软件系统的测试,同时也适用于软件设计阶段的对软件需求和设计模型的测试和验证。文中首先确定一系列覆盖准则,根据准则制定活动图的一般处理思路,然后针对活动图中并发结构、对象流、信号流提出相应处理方法,最后反推出作图的一些假定条件,以及在场景基础上生成测试用例的一些设计构想。  相似文献   
60.
提出一种嵌入式软件动态测试框架,该框架以模拟器为运行核心,准确模拟嵌入式硬件的运行状态,给出语句覆盖率、分支覆盖率、函数及模块的执行频度、程序执行时间等测试信息,有效地支持了嵌入式软件的动态测试和单元测试。实验证明了该方法的有 效性。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号