نتایج جستجو برای: automatic test software

تعداد نتایج: 1312183  

2004
L. Lavagno M. Rebaudengo M. Sonza Reorda M. Lajolo

In current design practice synthesis tools play a key role, letting designers to concentrate on the specification of the system being designed by carrying out repetitive tasks such as architecture synthesis and technology mapping. However, in the new design flow, validation still remains a challenge: while new technologies based on formal verification are only marginally accepted for large desi...

2009
Pragyan Nanda Baikuntha Narayan Biswal Durga Prassad Mohapatra

Testing is an important part of quality assurance in the software development life cycle. As the complexity and size of software grow, more and more time and man power are required for testing the software. Manual testing is very much labor-intensive and error-prone. So there is a pressing need to develop the automatic testing strategy. Test case generation is the most important part of the tes...

2013
Hind Benfenatki Hamza Saouli Aïcha-Nabila Benharkat Parisa Ghodous Okba Kazar Youssef Amghar

Software Engineering must face the new challenges imposed by the Cloud Computing paradigm. New methodologies for software development must be proposed. For this purpose, this paper presents a specific methodology for collaborative software development in the Cloud, and then describes the architecture of Automatic Software Development as a Service (ASDaaS). The goal of ASDaaS is to popularize so...

2005
Alexander Helleboogh Tom Holvoet Yolande Berbers

Automatic Guided Vehicles (AGVs) are unmanned vehicles that can transport loads in a warehouse. AGVs are instructed by on-board AGV control software. As multiple AGVs operate in a decentralized manner in the warehouse environment, conflicts may arise. Consequently, it is crucial to test thoroughly whether the AGV control software actually handles the potential conflicts in the appropriate way. ...

Journal: :International Journal of Security and Its Applications 2017

2009
JOHN HATCLIFF GARY T. LEAVENS RUSTAN M. LEINO MATTHEW PARKINSON

Behavioral interface speci cation languages allow programmers to express the intended behavior of programs such as functional behavior and resource consumption. Formal speci cations of program behavior is useful for precise documentation, for the generation of test cases and test oracles, for debugging, and for formal program veri cation. In this paper, we survey behavioral interface speci cati...

Journal: :International Journal of Advanced Corporate Learning (iJAC) 2017

Journal: :Intell. Data Anal. 2015
Pattaraporn Warintarawej Marianne Huchard Mathieu Lafourcade Anne Laurent Pierre Pompidor

Identifier names (e.g., packages, classes, methods, variables) are one of most important software comprehension sources. Identifier names need to be analyzed in order to support collaborative software engineering and to reuse source codes. Indeed, they convey domain concept of softwares. For instance, “getMinimumSupport” would be associated with association rule concept in data mining softwares...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید