首页    期刊浏览 2025年07月17日 星期四
登录注册

文章基本信息

  • 标题:Test Data Generation for Complex Data Types Using Imprecise Model Constraints and Constraint Solving Techniques
  • 其他标题:Test Data Generation for Complex Data Types Using Imprecise Model Constraints and Constraint Solving Techniques
  • 作者:Packevicius, Sarunas ; Krivickaite, Greta ; Barisas, Dominykas
  • 期刊名称:Engineering Economics
  • 印刷版ISSN:2029-5839
  • 出版年度:2013
  • 卷号:42
  • 期号:2
  • 页码:131-149
  • DOI:10.5755/j01.itc.42.2.1855
  • 语种:English
  • 出版社:Kaunas University of Technology
  • 摘要:Programinė įranga tampa vis svarbesnė ir sudėtingesnė, ji vis labiau pritaikoma. Reikia vis labiau užtikrinti šių programų kokybę. Siekiant patikrinti didelių ir sudėtingų sistemų veikimą, reikalingi testavimo automatizavimo metodai, padedantys įvertinti, ar programa veikia tinkamai ir atitinka specifikaciją. Pagrindinis tikslas sukurti efektyvų automatizuotą testinių duomenų generavimo metodą naudojant sudėtingas duomenų struktūras. Straipsnyje pateikiamas testinių duomenų generavimo metodas sudėtingoms duomenų struktūroms, atsižvelgiant į testuojamos programinės įrangos modelį, klasių ryšius ir pateiktus apribojimus, - pritaikomi apribojimų sprendimo metodai ir jais konstruojami atitinkami testinių duomenų objektai ir jų hierarchijos. Pateiktas metodas iliustruojamas paprasto ir didelio projekto, realizuojančio I++ protokolo saityną, pavyzdžiais.DOI: http://dx.doi.org/10.5755/j01.itc.42.2.1855
  • 其他摘要:Number of software applications is growing rapidly, as well as their importance and complexity. The need of quality assurance of these applications is increasing. Testing is one of the key processes to ensure the quality of software and object-oriented applications in particular. In order to test large and complex systems, test automation methods are needed, which evaluate whether the software is working properly. The main goal is to improve effectiveness of object-oriented applications testing by creating an automated test data generation method for complex data structures. This paper presents a test data generation method by adhering to software under test static model and its model constraints. The method provides an algorithm that allows generating test data for complex data structures, by analysing software under test model, its constraints and using constraint solving techniques for building corresponding test data objects and their hierarchies. The presented method is exemplified by simple case studies as well as a large I++ protocol implementing web service project.DOI: http://dx.doi.org/10.5755/j01.itc.42.2.1855
  • 关键词:software testing; test data generation; quality assurance; model based testing
Loading...
联系我们|关于我们|网站声明
国家哲学社会科学文献中心版权所有