首页> 美国政府科技报告 >Automatic Determination of Recommended Test Combinations for Ada Compilers.

【24h】

Automatic Determination of Recommended Test Combinations for Ada Compilers.

机译：自动确定ada编译器的推荐测试组合。

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Ada compilers are validated using the Ada Compiler Validation Capability (ACVC) test suit, containing over 4000 individual test programs. Each test program focuses, to the extent possible, on a single language feature. Despite the advantages of this atomic testing methodology, it is often the unexpected interactions between language features that result in compilation problems. This research investigated techniques to automatically identify recommended combinations of Ada language features for compiler testing. A prototype program was developed to analyze the Ada language grammar specification and generate a list of recommended of features to be tested. The output from this program will be used within the Ada Features Identification System (AFIS), a configuration management tool for the ACVC test suite. AFIS is being developed by the ACVC Maintenance Organization (AMO). The prototype uses annotated Ada language grammar to drive a test case generator. The generated combinations of Ada features are analyzed to select the combinations to be tested. While the skill and intuition of the compiler tester are essential to the annotation of the Ada grammar, the prototype demonstrated that automated support tools can be used to identify recommended combinations for Ada compiler testing.

著录项

作者
Marr, J. S.;
展开▼
作者单位

展开▼
年度 1990
页码 1-220
总页数 220
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Ada programming language; Compilers; Test and evaluation; Automatic; Automation; Configuration management; Determination; Generators; Grammars; Identification systems; Maintenance; Organizations; Prototypes; Specifications; Test equipment; Validation; Theses;

机译：ada编程语言;编译器;测试和评估;自动;自动化;配置管理;确定;发生器;语法;识别系统;维护;组织;原型;规范;测试设备;验证;论文;

相似文献

外文文献
中文文献
专利

1. LEAN APPROACH TO AUTOMATION AT AAM: A systems integrator optimizes production and testing with a combination of automatic and semi-automatic processes [J] . Robert E. Brooks Forging . 2013,第MayaJuna期

机译：AAM实现自动化的最佳方法：系统集成商结合自动和半自动流程来优化生产和测试
2. Development and application of a novel, dual-mode gradient, stability-indicating HPLC-DAD method for the simultaneous determination and purity assessment of mebeverine hydrochloride, diloxanide furoate and their corresponding major degradation products in combination with some gastrointestinal drugs in the form of oral doses [J] . MabroukM., El-FatatryH., HewalaI., Journal of Pharmaceutical and Biomedical Analysis: An International Journal on All Drug-Related Topics in Pharmaceutical, Biomedical and Clinical Analysis . 2013,第Null期

机译：新型，双模式梯度，指示稳定性的HPLC-DAD方法与口服药物形式的一些胃肠道药物联合测定盐酸美贝维林，糠酸双氧杂酸及其相应主要降解产物的同时测定和纯度评估的开发和应用
3. Development and application of a novel, dual-mode gradient, stability-indicating HPLC-DAD method for the simultaneous determination and purity assessment of mebeverine hydrochloride, diloxanide furoate and their corresponding major degradation products in combination with some gastrointestinal drugs in the form of oral doses [J] . MabroukM., El-FatatryH., HewalaI., Journal of Pharmaceutical and Biomedical Analysis: An International Journal on All Drug-Related Topics in Pharmaceutical, Biomedical and Clinical Analysis . 2013,第Null期

机译：一种新型，双模梯度，稳定性指示HPLC-DAD方法的开发和应用，用于同时测定和纯度评估Mebeverine盐酸盐，二苯甲酸呋喃及其相应的主要降解产物，与一些口腔剂量形式的一些胃肠药物组合
4. Automatic determination of recommended test combinations for Ada compilers [C] . James S. Marr, Patricia K. Lawlis Proceedings of the Eighth annual Washington Ada symposium amp; summer SIGAda meeting on Ada . 1991

机译：自动确定Ada编译器推荐的测试组合
5. Maritime automatic target recognition using high range resolution radar range profiles and classifier combination. [D] . Pilcher, Christopher Michael. 2009

机译：使用高分辨雷达测距和分类器组合的海上自动目标识别。
6. Combination of automatic HPLC‐RIA method for determination of estrone and estradiol in serum [O] . Toshiyuki Yasui, Masayo Yamada, Hiromi Kinoshita, 1999

机译：全自动HPLC-RIA法联合测定血清中的雌酮和雌二醇
7. The thermodynamic changes that occur upon mixing five models of formamide and three models of water, including the miscibility of these model combinations itself, is studied by performing Monte Carlo computer simulations using an appropriately chosen thermodynamic cycle and the method of thermodynamic integration. The results show that the mixing of these two components is close to the ideal mixing, as both the energy and entropy of mixing turn out to be rather close to the ideal term in the entire composition range. Concerning the energy of mixing, the OPLS/AA-mod model of formamide behaves in a qualitatively different way than the other models considered. Thus, this model results in negative, while the other ones in positive energy of mixing values in combination with all three water models considered. Experimental data supports this latter behavior. Although the Helmholtz free energy of mixing always turns out to be negative in the entire composition range, the majority of the model combinations tested either show limited miscibility, or, at least, approach the miscibility limit very closely in certain compositions. Concerning both the miscibility and the energy of mixing of these model combinations, we recommend the use of the combination of the CHARMM formamide and TIP4P water models in simulations of water-formamide mixtures. [O] . Kiss, Bálint, Fábián, Balázs, Idrissi, Abdenacer, 2017

机译：通过使用适当选择的热力学循环和热力学积分方法进行蒙特卡罗计算机模拟，研究了将五种甲酰胺模型和三种水模型混合在一起时发生的热力学变化，包括这些模型组合本身的可混溶性。结果表明这两种组分的混合接近于理想的混合，因为混合的能量和熵在整个组成范围内都非常接近理想的项。关于混合的能量，甲酰胺的OPLS / AA-mod模型与其他模型相比，在质量上有不同的表现。因此，该模型得出的结果是负的，而其他模型则综合考虑了所有三个水模型的结果的正能量。实验数据支持后一种行为。尽管混合的亥姆霍兹自由能在整个组成范围内始终为负，但大多数测试模型组合显示出有限的混溶性，或至少非常接近某些组合物的混溶性极限。关于这些模型组合的可混溶性和混合能量，我们建议在水-甲酰胺混合物的模拟中使用CHARMM甲酰胺和TIP4P水模型的组合。

Automatic Determination of Recommended Test Combinations for Ada Compilers.

摘要

著录项

相似文献

相关主题

期刊订阅