databaserのブログ -19ページ目

databaserのブログ

ブログの説明を入力します。

Mercury exploration project in Fortran code section was written comma dots, affecting the accuracy of the calculation, resulting in more distant space probe unable to reach orbit. Chance of such a thing be? Design a programming language to what extent will affect Air Max 2012 Black Red White the correctness of the program and lead to a similar incident? Recently published in the fourth 'International Workshop on Evaluation and Usability of Programming Languages ​​and Tools' on paper, I show some studies have found: through to the various languages ​​of similar procedures in the manufacture of some of the random interference information, see the compiler or runtime system can find the error caused by such disturbances, or the output of the program eventually led to incorrect results. In this study, by me and my colleague Vassilios Karakoidas, Panagiotis Louridas 2015 Nike Free 5.0 common guidance, we first selected 10 popular programming languages, and use them to write a batch program. We chose these languages ​​based on the data condition is an IEEE Spectrum article provided (by the software research firm TIOBE establish an index directory), the number of titles in Powell's Books in Nike Free 3.0 the emergence of online discussions in IRC reference number, as well as Craigslist the number of job positions. In such a large collection of popular languages, because of some operational reasons, some languages ​​are excluded. According popularity index, this collection would be able to cover 71% to 86% of all languages. Then we look for in our study this written in 10 languages ​​to perform the same tasks from various sources in Rosetta Code wiki. Rosetta Code with founder of this site's own words, the purpose of this site is to collect a variety of languages ​​with no need to accomplish the same task code, showing their similarities and differences, to help those people understand the basic work of research issues another kinds of solutions. Our next step Nike Air Jordan 4 Women is to create a Code Nike Zoom KD V jammer: a capable system to New Nike Tr Fit Shoes Blue code introduced various random chaos of random tools. Jammers can replace the flag, put some numbers plus one randomly change the character or the replacement string into something similar or random strings. Finally, we put into our jammers collected code, which has been modified to New Nike Free 5.0 V4 Shoes Black Red check whether the code wrong Nike Air Max compiler or runtime environment that can be detected, or whether it resulted in incorrect output. In theory, these errors are artificially introduced our real-life simulation of many specific performance. Misspelling - 'fat-finger' - is a very common example. Accidental slip additional scenarios include careless, autoreconstitution errors (especially such as C and C ++ in these languages, it is difficult to correct autoreconstitution implemented), complex command causes the editor, or search - replace caused by wrong operation, even including cats consequences of stepping on the keyboard. We tested a total of a total of 136 tasks to achieve, try a 20,008 one thousand kinds of interference, where the success has 261,667 (93%) a. Program is interference in 90,166 (32%) a Air Max 2012 Green Orange Black compiler or no abnormalities were found on grammar. 60,126 (67%, or a total amount of disturbed 23%) of a normal end of the run. 18,256 outputs the results completely no different, indicating that the interference did not have any impact on the program. The rest, 41,870 programs (70% able to run 16% of the total) to compile and run no problem, but the output is the result of an error. The figure shows the statistical results of a variety of languages, is based on failure statistics: compiling or executing successful, does not catch errors in the program, resulting in the output of a wrong result. Figure verify some of our very intuitive view. Strongly statically typed languages ​​(Java, Haskell, C ++) can catch more errors in the compiler or weaker than those dynamically typed language (Ruby, Python, Perl, PHP, and JavaScript). Somewhat surprisingly, C language appeared in the middle position, verify a lot of people believe is the view: C language type system is not 646701-104 Nike Kobe 9 EM Low White Black Mens Basketball Shoes as strong as its many followers (including me) thought. However, C language runtime throws a lot of mistakes, but, in the end it leads Air Max 2012 Blue Silver White to an incorrect output ratios similar to those with a strongly typed language. Authentic Mens Basketball Shoes All Red Nike KD 7 Factory Outlet There are a pair of similar charts, statistics is the performance of a variety of languages ​​at runtime. Also, compared to a strongly typed language, weakly typed languages ​​tend to still be no exception (crash or throw exceptions) operation. According to these two tables can be seen in a weakly Air Max 2012 Blue Silver White typed language will have higher output error rate. Compared to C ++ or C #, PHP's error rate is 36%, while C ++ is 8%, C # is 10 percent, with Air Jordan Outlet like the PHP this syntax is not very strict language written application, although full advantage of these weakly typed language bring convenience, but inadvertently misspelled New Nike Free 5.0 V4 Shoes Black Blue will be very easy to slip into the product code. Overall, the dynamic scripting language with strong statically typed languages ​​compared to a big gap. This may be our only test those at a high level scripting language features related. We did a further analysis of these data, found the following things. These disturbances in the static and dynamic languages ​​are important test comparison results statistically. This verifies the static language than dynamic languages ​​easier to detect errors. C # performance like C and C ++, rather than Java, even though the latter is more like it looks now. Haskell's performance with Java is very similar. Statistics show that between statically typed languages ​​is significantly different manifestations of interference, such as between the C and C ++, C ++ and Java, Haskell and Java and so on. However, between the dynamic language but not a comparable model. Borrowing Tolstoy's words, they each have their own distinct look. However, I think the most important outcome of our study is that by interfering with comparable language test, provides a programming language designed to evaluate the data.programming language and fat finger