【摘 要】
：
测试用例自动生成技术是软件测试的一个重要研究领域,而如何从待测试程序中选取适当的测试序列集合是其中的一个关键问题.文章提出一种构造结构性测试序列集合的方法,此方法
【基金项目】
：
国家高技术研究发展计划(863计划)
论文部分内容阅读
测试用例自动生成技术是软件测试的一个重要研究领域,而如何从待测试程序中选取适当的测试序列集合是其中的一个关键问题.文章提出一种构造结构性测试序列集合的方法,此方法首先对待测试程序进行静态分析,然后根据程序的语句间关系生成程序图,最后基于数据流测试准则,根据程序图以及变量的定义和使用信息构造结构性测试序列集合.在Linux平台上使用这种方法对若干条程序进行分析处理,得到的测试序列集合可以使待测试程序得到充分测试.本文提出的方法具有比较高的测试覆盖,同时,在计算过程中避免了无用路径的生成,节省了算法空间和执行
其他文献
UML2．0与XYZ／ADL在软件体系结构描述方面具有很强的互补性，如果将两者结合起来描述软件体系结构．不仅便于开发人员之间的理解和交流，也可以对体系结构进行下一步的分析和验证。文
目前对路由器缓存容量的分析，忽略了网络元素间的相互作用。从网络层的角度．全面引入TCP链路上各路由器的作用，为TCP链路建立一种新模型。采用隔离方法对核心路由器部分进行分析
远程教学网格是网格计算技术在远程教育中的应用。文章从需求分析、体系结构、功能、用户界面、开发工具的选用等多个方面，阐述了远程教学网格门户的设计思想。
针对传统Linux操作系统的本地登录方式和网络远程访问的安全性不足，利用Linux操作系统的PAM机制，开发了C／S架构的双因素身份认证系统；将双因素认证嵌入系统的login、telnet、rlog
SMDSP是针对航天应用开发的32位浮点数字信号处理器，其CPU内有独立的ALU、乘法器、数据地址产生器和4条内部数据总线，实现了乘加运算并行，算术运算与地址运算并行，加快了数据处理
为了更好地度量和监测Web服务的服务质量，在充分考虑服务提供商、服务使用者个体及服务潜在消费者三方需要的基础上，建立一种基于测量目的的QoS度量体系。在此基础上分析现有的
提出一种新的整流电源控制策略,可以使整流电源工作时,从电网输入的电流近似为正弦波,功率因数为1.该控制系统采用8098单片机为主体,适用于象GTR这样具有较高开关速度的大功