Все вопросы: [correctness]

14 вопросов

6
голосов
9ответов
2280 просмотров

Checking Python code correctness

In C++ I have compiler that tell me if something wrong with my code after refactoring. How to make sure that Python code is at least correct after changes? There may be some stupid error like wrong function name etc. that pretty easy to find in compile time. Thanks

1
голосов
1ответов
1368 просмотров

Is there an easy way to verify replication articles are correct?

On a Publication (secondarily, a Subscription), is there a script or command I can run that verifies that the articles currently in place match what is expected and/or correct? If changes were manually made to a replication database (i.e. a table's "MSMerge_ins_..." trigger is modified or delete...

5
голосов
4ответов
463 просмотров

is my Enumeration correct?

All over our project, we have this kind of enums. They works just fine, but we are not sure about them. Specially with the getDocumentType(String) method. Is there a way to avoid the iteration over all the Enums field ? public enum DocumentType { UNKNOWN("Unknown"), ANY("Any"), ...

10
голосов
10ответов
10898 просмотров

Counting trailing zeros of numbers resulted from factorial

I'm trying to count trailing zeros of numbers that are resulted from factorials (meaning that the numbers get quite large). Following code takes a number, compute the factorial of the number, and count the trailing zeros. However, when the number is about as large as 25!, numZeros don't work. pu...

2
голосов
2ответов
1879 просмотров

How to build without using locally installed artifacts

Is there any way to force Maven to use remote artifacts and not those installed on your machine? since I worry about runtime errors and not compilation errors build server is not valid option. P.S. I know I could delete or rename the .m2 folder, but I bet there is some more clever way of doing t...

5
голосов
6ответов
1627 просмотров

Утвердить несколько условий в одном тесте или разбить на несколько тестов?

Если вы тестировали функцию подсчета, подобную приведенной ниже, считается ли «правильным» или «неправильным» тестировать несколько элементов для функции в одной функции или иметь тестовую функцию для каждого из тестов? function testGetKeywordCount() { $tester = $this -> getDatabaseTes...

1
голосов
1ответов
370 просмотров

Проверка корректности приложения для моделирования процессов

Наша группа создает приложение для моделирования процессов, которое имитирует производственный процесс. Конечным результатом этого процесса является набор чисел, представляющих химический состав и скорость потока. Это приложение основано на очень старом программном обеспечении, в котором для ...

3
голосов
4ответов
414 просмотров

Есть ли какие-либо программные гарантии в критических системах?

Существуют ли системы или программное обеспечение, которое разработано с подтверждением правильности для их резервного копирования? Или все критические системы разрабатываются просто с помощью агрессивного цикла проверки кода и тестирования?

0
голосов
3ответов
684 просмотров

Лучший дизайн для использования RadioButtonList

У меня возникла проблема, и я хотел бы узнать, как ее решить. У меня есть объект данных class LinkHolder { public string Text; public string Link; } Я хотел бы представить пользователю список RadioButton, в котором значение LinkHolder.Text используется в качестве описательного ...

2
голосов
3ответов
452 просмотров

Генератор случайных чисел: уровень класса или уровень метода?

При использовании генератора случайных чисел, который лучше всего использовать для большей случайности нового значения: Есть метод, который каждый раз создает новый экземпляр ГСЧ и затем возвращает значение? Есть экземпляр ГСЧ на уровне класса, который создается один раз в Конструкторе,...

6
голосов
13ответов
4339 просмотров

Условия завершения цикла

Эти for-петли являются одними из первых основных примеров формального доказательства корректности алгоритмов. У них разные, но эквивалентные условия расторжения: 1 for ( int i = 0; i != N; ++i ) 2 for ( int i = 0; i < N; ++i ) Разница становится очевидной в постусловиях: Перв...

12
голосов
6ответов
1935 просмотров

Доказательство корректности многопоточных алгоритмов

Многопоточные алгоритмы особенно сложно разработать / отладить / проверить. Алгоритм Деккера является ярким примером того, насколько сложно создать правильный синхронизированный алгоритм. В разделе «Современные операционные системы Таненбаума» множество примеров. У кого-нибудь есть хороший справ...

1
голосов
7ответов
1966 просмотров

Правильно ли этот алгоритм минимального связующего дерева?

Задача минимального остовного дерева состоит в том, чтобы взять связный взвешенный граф и найти подмножество его ребер с наименьшим общим весом, сохраняя при этом граф связным (и, как следствие, получая ациклический граф). Рассматриваемый мной алгоритм: Найдите все циклы. удалите самый ...

6
голосов
5ответов
1729 просмотров

Какой у вас опыт проверки моделей программного обеспечения?

Для каких типов приложений вы использовали проверку моделей ? Какой инструмент проверки модели вы использовали? Как бы вы суммировали свой опыт работы с этой методикой, особенно при оценке ее эффективности в предоставлении более качественного программного обеспечения? Во время учебы мн...