首页> 外文OA文献 >Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems

【2h】

Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems

机译：面向方面系统安全验证和测试的分解算法

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Cheng Li; Zhe Dang;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Meta-heuristic algorithm to generate optimised test cases for aspect-oriented software systems [J] . Abhishek Singhal, Abhay Bansal, Avadhesh Kumar International journal of advanced intelligence paradigms . 2021,第2期

机译：元启发式算法为面向方面的软件系统生成优化的测试用例
2. ANSI/ASSE Z9.14 "Testing and Performance Verification Methodologies for Ventilation Systems for Biological Safety Level 3 (BSL-3) and Animal Biological Safety Level 3 (ABSL-3) Laboratories" Leads Standard Development for High-Containment Laboratory Performance [J] . Farhad Memarzadeh, Louis DiBerardinis Applied biosafety: Journal of the American Biological Safety Association. . 2013,第2期

机译：ANSI / ASSE Z9.14“生物安全等级3（BSL-3）和动物生物安全等级3（ABSL-3）实验室通风系统的测试和性能验证方法”引领了高安全性实验室性能的标准制定
3. Standard ANSI Z9.14: Testing and performance verification methodologies for ventilation systems for Biological Safety Level 3 (BSL-3) and animal Biological Safety Level 3 (ABSL-3) facilities [J] . Far had Memarzadeh, Lou DiBerardinis Journal of chemical health & safety . 2012,第2期

机译：标准ANSI Z9.14：生物安全等级3（BSL-3）和动物生物安全等级3（ABSL-3）设施的通风系统的测试和性能验证方法
4. Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems [C] . Cheng Li, Zhe Dang Formal Approaches to Software Testing and Runtime Verification; Lecture Notes in Computer Science; 4262 . 2006

机译：面向方面系统的安全验证和测试的分解算法
5. Modeling and Testing of Aspect-Oriented Systems [D] . Jiang, Wenhuan 2011

机译：面向方面的系统的建模和测试
6. Testing Electronic Algorithms to Create Disease Registries in a Safety Net System [O] . Rebecca Hanratty, Raymond O. Estacio, L. Miriam Dickinson, -1

机译：测试电子算法以在安全网系统中创建疾病注册表
7. A Genetic Algorithm for Computing Class Integration Test Orders for Aspect-Oriented Systems [O] . Romain Delamare, Nicholas A. Kraft 2015

机译：面向方面系统计算类集成测试阶的遗传算法
8. Hybrid Decompositional Verification for Discovering Failures in Adaptive Flight Control Systems [R] . Thompson, S., Davies, M. D., Gundy-Burlet, K. 2010

机译：用于发现自适应飞行控制系统故障的混合分解验证

Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems

著录项

引文网络

相似文献

相关主题

期刊订阅