【摘 要】
:
本文首先给出了形式化的UML活动图生成测试场景的覆盖准则,然后依据覆盖准则提出UML活动图转化测试场景的算法(ATOS)将活动图转化为测试场景,最后使用算法(STOT)将测试场景转化为测
【机 构】
:
山东省科学院情报研究所,山东省环境保护科学研究设计院
论文部分内容阅读
本文首先给出了形式化的UML活动图生成测试场景的覆盖准则,然后依据覆盖准则提出UML活动图转化测试场景的算法(ATOS)将活动图转化为测试场景,最后使用算法(STOT)将测试场景转化为测试用例,有效地解决了UML活动图到测试用例的自动生成,减少了编写测试用例的时间。
其他文献
近些年,我国电视综艺娱乐节目涌现出了大量种类繁多的高品质作品。许多综艺节目在拍摄、制作和节目内容层面融入了电影的元素,使节目的呈现更有电影精细、多元的特点。本文从
芬伯格在批判传统技术的工具理论和实体理论的基础上提出了技术批判理论。他认为技术的选择是待确定的。技术不与社会生活相分离,而是社会生活的一部分。技术的设计和发展过程
我国东北地区自远古以来,既是多民族生存繁衍的地方,又是多种文化交融发展之通道.东北各民族在历史发展进程中创造了丰富多样的民族文化.如今,东北少数民族在现代化、城市化
目的构建大鼠Smad6基因的慢病毒干扰载体,并在大鼠骨髓间充质干细胞(BMSC)中验证其基因沉默效率。方法针对大鼠Smad6基因设计、合成两对Smad6-shRNA干扰序列,并将其重组到pLKO.1质
目的了解肝癌介入治疗病人家属健康教育需求。方法采用自设问卷对60名肝癌介入治疗病人家属进行调查。结果肝癌病人家属对介入治疗方面的护理知识了解不够;最希望了解肝癌介入
本文综述我国珍稀和特有植物文冠果资源情况,并对1946年以来其种子、花、叶、茎枝、心材的化学成名及各部位重要活性成分研究作较详细报导。并分析了当前综合利用及研究倾向,对进一
云南省农业科学院甘蔗研究所建于1956年,为云南省唯一的省级甘蔗专业公益性科研单位,是云南省甘蔗产业技术研发中心,国家农业科研百强所。现有职工98人,其中研究员12人,副研
【目的】分析和比较不同油梨引进品种果肉有机酸组分和还原型抗坏血酸(维生素C)含量特征,为引进油梨品种的评价、筛选及新品种的选育提供参考依据。【方法】用高效液相色谱(HPLC
乳胶过敏(latex allergy)是天然橡胶胶乳(natural rubber latex,NRL)制品引起的一种过敏反应,可表现为接触性荨麻疹、皮炎、鼻炎、结膜炎、哮喘及过敏性休克.NRL来源于巴西橡胶(He
动态测试是检测程序的动态行为的一种有效手段.本文介绍了Safepro白盒软件测试工具系列中基于程序插装的动态测试技术实现,具体讨论了动态测试的模型、数据流模型和动态跟踪